Related posts
John MacFarlane
GitHub
typst-hs — Haskell library for parsing and evaluating typst
typst parsing haskell
The the words it uses that this site has seen
least often elsewhere. Posts are matched on those words alone —
nothing here is a summary of this one.
Sources
All
Writing
GitHub Blog x.com Site Korrents Recommends
Top people
Daniel Lemire
John MacFarlane
Gwern
Russ Cox
Bob Nystrom
Yihui Xie
Hillel Wayne
Bret Victor
Joe Previte
Thorsten Ball
Allan Odgaard
Showing
Profile →
Show everything
Hiding
Show them again
Show them again
Further back ↓
Hiding
Show them again
20 September
Philosophy professor at UC Berkeley and creator of pandoc, the universal document converter, and of the CommonMark markdown specification.
19 September
Philosophy professor at UC Berkeley and creator of pandoc, the universal document converter, and of the CommonMark markdown specification.
18 September
Computer science professor who works on fast data processing; co-author of the simdjson parser and a weekly blogger about software performance since 2004.
Faster JSON parsing with SVE2 on ARM processors ARM processors, like those in your phone, have instructions capable of processing several elements at once (SIMD). These instructions are called NEON. But many newer processors have a different SIMD extension called SVE…
Related
Philosophy professor at UC Berkeley and creator of pandoc, the universal document converter, and of the CommonMark markdown specification.
15 September
Computer science professor who works on fast data processing; co-author of the simdjson parser and a weekly blogger about software performance since 2004.
A new fast_float release... fast_float is a super fast number parser in C++ (used by GCC, MySQL, your browser...). The latest release adds support for parsing numbers following the JavaScript standard, so things like 05.1 can be accepted (!!!). JavaScript Related
If anyone wants a nice side project... The fast number parsing fast_float (part of GCC, and other important systems like MySQL) is not always exact when dealing with 16-bit float parsing (specifically float16_t). That is, some number strings can lie in between two numbers and the rounding is wrong. In fact, nobody has done a proper analysis of the implementation to insure that it is correct. Yeah. I could ask my AI, but it is still work, especially because I do not trust anyone, not even an AI, to get it correct the first time around. Contributions invited. github.com
Related
22 August
Computer science professor who works on fast data processing; co-author of the simdjson parser and a weekly blogger about software performance since 2004.
19 August
Computer science professor who works on fast data processing; co-author of the simdjson parser and a weekly blogger about software performance since 2004.
Parsing IP addresses in C# at crazy speeds We are all familiar with IP addresses such as 192.168.0.1. They are typically written as four numbers in the range 0 to 255 inclusive, separated by dots. In C#, you can parse them with the standard library using IPAddre…
Related
4 June
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
27 April
Statistician and software engineer who writes R packages for reproducible research and publishing, including knitr, bookdown and blogdown.
Preliminary Support for Typst in knitr A few weeks ago I added preliminary support for Typst to knitr. The way it works is simple: if your file has the extension .Rtyp, knitr will recognize it as a Typst document, knit it, and produce a .typ output file. The…
Related
27 February
Software engineer and a long-time technical lead of the Go programming language; author of plan9port and of the research.swtch.com essays.
19 January
Software engineer and a long-time technical lead of the Go programming language; author of plan9port and of the research.swtch.com essays.
Their words
Given the simplicity and speed of the algorithms in this post and the increasingly small deltas between successive algorithms, perhaps we are nearing an optimal solution.
Show the whole quote
research.swtch.com
12 March 2025
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
6 November 2024
Interface designer and researcher, known for the talks Inventing on Principle and Media for Thinking the Unthinkable and for essays on dynamic representations of ideas. Founder of Dynamicland, where he is building a communal computer.
Their words
The programming language for the 21st century.
Show the whole quote
worrydream.com
7 August 2024
American software engineer; worked on code-server at Coder and teaches TypeScript and open-source contribution. Publishes at joeprevite.com.
8 February 2017
Working on @ampcode. Writing registerspill.thorstenball.com. Once authored interpreterbook.com and compilerbook.com.
5 January 2014
Pseudonymous essayist. Writes at gwern.net on AI scaling, statistics, genetics and long-running internet research, with heavy citation and a habit of revising old essays in place rather than leaving them wrong.
8 July 2013
Danish Mac developer; author of the TextMate text editor and founder of MacroMates.
Nothing matches. Show everything
What is a korrent?
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com .
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
Got it
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.
Got it