(fun x -> x) myself
@smdsousa.bsky.social
Doing stuff, learning things, explaining them.
Reposted by (fun x -> x) myself
Apropos the annoying habit mathematicians have of naming mathematical objects after people, a little anecdote:
I once attended a talk during which the speaker mentioned the “Serre group”. en.wikipedia.org/wiki/Serre_g...
An elderly man in the front row raised his hand and asked: …
I once attended a talk during which the speaker mentioned the “Serre group”. en.wikipedia.org/wiki/Serre_g...
An elderly man in the front row raised his hand and asked: …
Serre group - Wikipedia
en.wikipedia.org
January 15, 2026 at 3:21 PM
Apropos the annoying habit mathematicians have of naming mathematical objects after people, a little anecdote:
I once attended a talk during which the speaker mentioned the “Serre group”. en.wikipedia.org/wiki/Serre_g...
An elderly man in the front row raised his hand and asked: …
I once attended a talk during which the speaker mentioned the “Serre group”. en.wikipedia.org/wiki/Serre_g...
An elderly man in the front row raised his hand and asked: …
Reposted by (fun x -> x) myself
PLP 9-9.2: Control Abstractions and Calling Sequences - youtu.be/KQ-if8ClF_E
Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids
And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)
Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids
And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)
PLP 9-9.2: Control Abstractions and Calling Sequences
YouTube video by Jonathan Aldrich
youtu.be
December 8, 2025 at 1:43 PM
PLP 9-9.2: Control Abstractions and Calling Sequences - youtu.be/KQ-if8ClF_E
Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids
And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)
Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids
And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)
Reposted by (fun x -> x) myself
If you're someone who has "experience teaching CS topics in a university setting" and wants to jump ship to industry training, Jane Street is hiring for an educator to teach their new OxCaml set of OCaml language extensions. Pay is... well, a lot more than I make at a university.
OxCaml Educator :: Jane Street
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
www.janestreet.com
October 22, 2025 at 6:17 AM
If you're someone who has "experience teaching CS topics in a university setting" and wants to jump ship to industry training, Jane Street is hiring for an educator to teach their new OxCaml set of OCaml language extensions. Pay is... well, a lot more than I make at a university.
Reposted by (fun x -> x) myself
🚀 New Remote Job Alert!
💼 Software Engineer – OCaml & GraphQL API
🏢 Twine
🌍 UK
📁 Technical Support
💰 £60,000 - £90,000
#RemoteJobs #RemoteWork #WorkFromHome #Hiring #JobOpportunity
Apply now: https://customerremotejobs.com/job/twine-software-engineer-ocaml-graphql-api
💼 Software Engineer – OCaml & GraphQL API
🏢 Twine
🌍 UK
📁 Technical Support
💰 £60,000 - £90,000
#RemoteJobs #RemoteWork #WorkFromHome #Hiring #JobOpportunity
Apply now: https://customerremotejobs.com/job/twine-software-engineer-ocaml-graphql-api
October 19, 2025 at 9:00 PM
🚀 New Remote Job Alert!
💼 Software Engineer – OCaml & GraphQL API
🏢 Twine
🌍 UK
📁 Technical Support
💰 £60,000 - £90,000
#RemoteJobs #RemoteWork #WorkFromHome #Hiring #JobOpportunity
Apply now: https://customerremotejobs.com/job/twine-software-engineer-ocaml-graphql-api
💼 Software Engineer – OCaml & GraphQL API
🏢 Twine
🌍 UK
📁 Technical Support
💰 £60,000 - £90,000
#RemoteJobs #RemoteWork #WorkFromHome #Hiring #JobOpportunity
Apply now: https://customerremotejobs.com/job/twine-software-engineer-ocaml-graphql-api
Reposted by (fun x -> x) myself
Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects!
xvw.lol/en/articles/...
I hope you find this interesting, and I welcome any feedback!
xvw.lol/en/articles/...
I hope you find this interesting, and I welcome any feedback!
Why I chose OCaml as my primary language
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.
xvw.lol
August 13, 2025 at 6:06 PM
Here is a rather lengthy write-up (in English) explaining why I chose #OCaml as my main programming language for my personal and professional projects!
xvw.lol/en/articles/...
I hope you find this interesting, and I welcome any feedback!
xvw.lol/en/articles/...
I hope you find this interesting, and I welcome any feedback!
Reposted by (fun x -> x) myself
As always, Ted Chiang is great in this interview.
cdh.princeton.edu/blog/2025/08...
cdh.princeton.edu/blog/2025/08...
August 14, 2025 at 1:24 AM
As always, Ted Chiang is great in this interview.
cdh.princeton.edu/blog/2025/08...
cdh.princeton.edu/blog/2025/08...
Reposted by (fun x -> x) myself
Vibe-coding
August 4, 2025 at 8:09 PM
Vibe-coding
Reposted by (fun x -> x) myself
How do you compute the midpoint of an interval bounded by (a,b)? Obviously just (a+b)/2. Alas, if you're working on a computer in floating point, it's not so simple... nice 28-page pedagogical article on what to do instead.
How do you compute the midpoint of an interval?
The algorithm that computes the midpoint of an interval with floating-point bounds requires some careful devising to correctly handle all possible inputs. We review several implementations from promin...
hal.science
July 18, 2025 at 10:14 PM
How do you compute the midpoint of an interval bounded by (a,b)? Obviously just (a+b)/2. Alas, if you're working on a computer in floating point, it's not so simple... nice 28-page pedagogical article on what to do instead.
Reposted by (fun x -> x) myself
X-OR, le shift, le shift de l'espace !
florian.github.io//xor-trick/
florian.github.io//xor-trick/
That XOR Trick
There are a whole bunch of popular interview questions that can be solved in one of two ways: Either using common data structures and algorithms in a sensible manner, or by using some properties of...
florian.github.io
July 5, 2025 at 7:37 AM
X-OR, le shift, le shift de l'espace !
florian.github.io//xor-trick/
florian.github.io//xor-trick/
Reposted by (fun x -> x) myself
Jane Street is the quant shop's quant shop. The goose that lays the golden egg is its tech system, which is built rather unusually https://econ.trib.al/MPdov6Y
Jane Street’s sneaky retention tactic
It involves the use of an obscure, French programming language
econ.trib.al
June 27, 2025 at 5:49 AM
Jane Street is the quant shop's quant shop. The goose that lays the golden egg is its tech system, which is built rather unusually https://econ.trib.al/MPdov6Y
Reposted by (fun x -> x) myself
Introduction to competitive programming in Haskell. ~ Brent Yorgey. byorgey.github.io/blog/posts/2... #Haskell #FunctionalProgramming
June 15, 2025 at 5:52 AM
Introduction to competitive programming in Haskell. ~ Brent Yorgey. byorgey.github.io/blog/posts/2... #Haskell #FunctionalProgramming
Reposted by (fun x -> x) myself
Is Emacs an operating system? irreal.org/blog/?p=13051 #Emacs
June 14, 2025 at 10:20 AM
Is Emacs an operating system? irreal.org/blog/?p=13051 #Emacs
Reposted by (fun x -> x) myself
Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra!
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla
June 12, 2025 at 2:38 PM
Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra!
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla
Reposted by (fun x -> x) myself
« Et l'IA, alors ? »
À force qu'on me pose la question, j'ai fini par mettre à plat mon opinion sur l'usage de l'IA générative en traduction.
Ce n'est pas un article pour spécialistes, mais j'espère que ceux qui n'y connaissent rien en sortiront mieux renseignés.
clement-martin.fr/2025/06/05/e...
À force qu'on me pose la question, j'ai fini par mettre à plat mon opinion sur l'usage de l'IA générative en traduction.
Ce n'est pas un article pour spécialistes, mais j'espère que ceux qui n'y connaissent rien en sortiront mieux renseignés.
clement-martin.fr/2025/06/05/e...
« Et l'IA, alors ? » - Clément Martin
Les quelques raisons pour lesquelles je n'utilise pas l'IA générative dans le cadre de mon travail de traduction.
clement-martin.fr
June 5, 2025 at 5:00 PM
« Et l'IA, alors ? »
À force qu'on me pose la question, j'ai fini par mettre à plat mon opinion sur l'usage de l'IA générative en traduction.
Ce n'est pas un article pour spécialistes, mais j'espère que ceux qui n'y connaissent rien en sortiront mieux renseignés.
clement-martin.fr/2025/06/05/e...
À force qu'on me pose la question, j'ai fini par mettre à plat mon opinion sur l'usage de l'IA générative en traduction.
Ce n'est pas un article pour spécialistes, mais j'espère que ceux qui n'y connaissent rien en sortiront mieux renseignés.
clement-martin.fr/2025/06/05/e...
Reposted by (fun x -> x) myself
See parsimoni.co/blog/2025-02... for more details 🤞
Parsimoni to demonstrate its SpaceOS in orbit on Clustergate-1
Parsimoni's SpaceOS secure operating system to launch aboard DPhi Space's Clustergate-1 on SpaceX Transporter-13 mission, validating unikernel technology for enhanced satellite payload security and ef...
parsimoni.co
March 14, 2025 at 8:28 AM
See parsimoni.co/blog/2025-02... for more details 🤞
Reposted by (fun x -> x) myself
March 14, 2025 at 8:04 AM
Reposted by (fun x -> x) myself
It is very hard to accept, but it is no longer safe to move EU governments & societies to US clouds. Not only is it dangerous to do so, it is also likely flat out illegal in the near feature. We're trading convenience for utter dependence on a mad king. It should stop.
berthub.eu/articles/pos...
berthub.eu/articles/pos...
It is no longer safe to move our governments and societies to US clouds - Bert Hubert
The very short version: it is madness to continue transferring the running of European societies and governments to American clouds. Not only is it a terrible idea given the kind of things the “King o...
berthub.eu
February 23, 2025 at 11:52 AM
It is very hard to accept, but it is no longer safe to move EU governments & societies to US clouds. Not only is it dangerous to do so, it is also likely flat out illegal in the near feature. We're trading convenience for utter dependence on a mad king. It should stop.
berthub.eu/articles/pos...
berthub.eu/articles/pos...
Reposted by (fun x -> x) myself
Aalok Thakkar is teaching Introduction to Computer Science at
Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍
Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍
January 25, 2025 at 5:09 AM
Aalok Thakkar is teaching Introduction to Computer Science at
Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍
Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍
Reposted by (fun x -> x) myself
A paper from 2008 co-authored by @yminsky.bsky.social on why Jane Street started using OCaml for a wide range of tasks: critical trading systems, quantitative research, systems software, and system administration.
December 23, 2024 at 5:18 PM
A paper from 2008 co-authored by @yminsky.bsky.social on why Jane Street started using OCaml for a wide range of tasks: critical trading systems, quantitative research, systems software, and system administration.
Reposted by (fun x -> x) myself
