Personal blog of Marc Coquand.

A Clojure web framework for solo developers.

*if you include word2vec.

Addressing recent Deno criticisms and sharing our vision for the future

Go's cryptography libraries underwent an audit by Trail of Bits.

Persistent shortfalls in domestic savings, requiring funds from abroad to finance domestic investment spending, could be why the U.S. runs a trade deficit.

Huawei launched two new laptop models on Monday, the first sold with its own Harmony operating system, in a bid to take on well-established Western Big Tech rivals even as the United States seeks to limit its access to crucial chips.

A free, open source, project oriented level editor made for indie game developers by indie game developers.

pseudonym of an mathematician

Everything lives on a manifold

Debut announcement of llm-d project and community

In this post, I’ll explain how I compiled an OCaml program to run on a TI-84+ CE calculator. 🐪

Discover how LLM‑powered agents act as tireless API testers—exposing friction in docs, errors, and design—and learn six essential strategies (consistency, comprehensive docs, rich errors, example‑driven tutorials, simplicity, and feedback loops) to elevate…

Select Topic Area Product Feedback Feature Area Issues Body I find the following two news items on the front page: https://github.blog/changelog/2025-05-19-creating-issues-with-copilot-on-github-co...

Dependent types provide a way for programmers to write code that computes types. Type-level computations in turn may depend on values, allowing various powerful programming patterns. Moreover, even though types exhibit a rich dynamic semantics, type-checking…

On May 16th, 2025, I gained access to OpenAI's Codex research preview. Here is what I think

Olle Lögdahls web ventures