Top all-time · #10180
The Informal Blog (By Informal Systems)
Company blog · informal.systemsprogrammingstartups
The Informal Blog (By Informal Systems) is the company blog at informal.systems, writing about programming and startups. Since 2020, 8 different Hacker News readers have linked it 22 times. It is still writing: the last post was on 2026-07-07, and you can follow it by feed.
Too few sampled comments (6) to say how often HN recommends it.?
Why HN links it
Mostly appears in job postings from the company in HN 'Who is hiring' threads. One comment points to its recent posts on protocol design using Quint, a TLA+-based specification language.
Summarised by Claude from a sample of 6 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Informal Systems is an incubator strengthening the foundations of digital infrastructure. We build Quint and Cycles so systems work as intended and value moves with integrity.
Most-linked posts?
- /careers/5 people · 9 mentions · first linked 2020-03-03
What Hacker News says?
We can teach you if you are a good programmer: https://informal.systems/careers
Comment linking /careers
on “In second largest DeFi hack, Blockchain Bridge loses $320M Ether”Submitted Configuration Files in Terms of User Empowerment as a story · 2 points
HN discussionInformal Systems| Senior Distributed System Engineer (Berlin, Toronto, Remote)| Full Time| Informal Systems| Senior Rust Engineer (Berlin, Toronto, Remote)| Full Time| https://informal.systems/ Informal is an R&D institution that conducts fundamental research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Net…
Comment linking /careers/
on “Ask HN: Who is hiring? (August 2020)”Submitted Quint Deserves Rust as a story · 1 points
HN discussionInformal Systems| Senior Distributed System Engineer (Berlin)| Full Time| https://informal.systems/ Informal is an R&D institution that conducts fundamental research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Network ( https://cosmos.network/ ). Our mission is to bring verifiability to distributed systems…
Comment linking /careers/
on “Ask HN: Who is hiring? (June 2020)”Informal Systems| Senior Distributed System Engineer (Berlin, Toronto, Remote)| Full Time| https://informal.systems/ Informal is an R&D institution that conducts fundamental research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Network ( https://cosmos.network/ ). Our mission is to bring verifiability to di…
Comment linking /careers/
on “Ask HN: Who is hiring? (July 2020)”Informal Systems| Senior Distributed System Engineer (Berlin)| Full Time| https://informal.systems/ Informal is an R&D institution that conducts fundamental research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Network ( https://cosmos.network/ ). Our mission is to bring verifiability to distributed systems…
Comment linking /careers/
on “Ask HN: Who is hiring? (April 2020)”Informal Systems| Senior Distributed System Engineer (Berlin)| Full Time| https://informal.systems/ Informal is an R&D institution that conducts fundamental research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Network ( https://cosmos.network/ ). Our mission is to bring verifiability to distributed systems…
Comment linking /careers/
on “Ask HN: Who is hiring? (March 2020)”Informal Systems | Senior Engineering and Product Roles (Berlin, Toronto, Lausanne, Vienna, Remote)| Full Time | Rust | Go | https://informal.systems/ | https://twitter.com/informalinc Informal Systems specializes in the design and verification of Proof of Stake consensus and interoperability protocols like Tendermint and IBC, and their implementation in Rust and Go. We're structured like a workers cooperative, and…
Comment linking /careers/
on “Ask HN: Who is hiring? (March 2021)”Informal Systems| Senior Distributed System Engineer (Berlin, Toronto, Remote)| Full Time| Informal Systems| Senior Rust Engineer (Berlin, Toronto, Remote)| Full Time| https://informal.systems/ Informal is an R&D institution that conducts research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Network ( https…
Comment linking /careers/
on “Ask HN: Who is hiring? (November 2020)”Please apply: https://informal.systems/careers/
Comment linking /careers/
on “The Edited Latecomer’s Guide to Crypto”Informal Systems | Senior Engineering and Product Roles (Berlin, Toronto, Lausanne, Vienna, Remote)| Full Time | Rust | Go | https://informal.systems/ | https://twitter.com/informalinc Informal Systems specializes in the design and verification of Proof of Stake consensus and interoperability protocols like Tendermint and the Inter-Blockchain Communication Protocol (IBC), and their implementation in Rust and Go. We'…
Comment linking /careers/
on “Ask HN: Who is hiring? (May 2021)”It really shines in protocol design, see [1] and [2] (both very recent posts). But you can use it for anything you are not confident enough about being correct. This happens very often when working with distributed systems, where there are way too many factors to consider. More generally, TLA+ (the base language for Quint - Quint can transpile to TLA+) was used at AWS to find bugs and make aggressive optimizations i…
Comment linking /blog/interchain-meet-starknet
on “Quint”