Bernhard Herzog
@bernhardherzog.bsky.social
Software Developer, often Python, too much Go, too little Haskell.
Finally published my solutions to this year's #AdventOfCode: gitlab.com/bernhard-her...
Bernhard Herzog / AoC 2024 · GitLab
GitLab.com
gitlab.com
December 16, 2024 at 10:54 PM
Finally published my solutions to this year's #AdventOfCode: gitlab.com/bernhard-her...
It seems the playbook for the AI takeover isn't Terminator or The Matrix, it's Tron
modelcontextprotocol.io/introduction
modelcontextprotocol.io/introduction
Introduction - Model Context Protocol
Get started with the Model Context Protocol (MCP)
modelcontextprotocol.io
November 28, 2024 at 4:23 PM
It seems the playbook for the AI takeover isn't Terminator or The Matrix, it's Tron
modelcontextprotocol.io/introduction
modelcontextprotocol.io/introduction
TIL that the back-end of xkcd's Machine was written in Haskell
Development notes from xkcd's "Machine"
How we designed xkcd's massive rube goldberg machine game in 3 weeks.
chromakode.com
May 10, 2024 at 4:21 PM
TIL that the back-end of xkcd's Machine was written in Haskell
Lennart Augustsson in
haskell.foundation/podcast/2/ :
"I should say something about the name “Coq”. […] Gérard Huet, who’s sort of was the original creator, […] after a few glasses of wine, I finally got him to admit he had picked this name specifically to annoy English-speakers."
haskell.foundation/podcast/2/ :
"I should say something about the name “Coq”. […] Gérard Huet, who’s sort of was the original creator, […] after a few glasses of wine, I finally got him to admit he had picked this name specifically to annoy English-speakers."
December 16, 2023 at 8:02 PM
Lennart Augustsson in
haskell.foundation/podcast/2/ :
"I should say something about the name “Coq”. […] Gérard Huet, who’s sort of was the original creator, […] after a few glasses of wine, I finally got him to admit he had picked this name specifically to annoy English-speakers."
haskell.foundation/podcast/2/ :
"I should say something about the name “Coq”. […] Gérard Huet, who’s sort of was the original creator, […] after a few glasses of wine, I finally got him to admit he had picked this name specifically to annoy English-speakers."