Top all-time · #11064
Basis
Company blog · basis.ai/blogaiscience
Basis is the company blog at basis.ai, writing about ai and science. Since 2022, 7 different Hacker News readers have linked it 14 times, most often “Ship Your Interpreter”. It is still writing: the last post was on 2026-10-16, and you can follow it by feed.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
Basis is a nonprofit AI research institute, and its hiring posts appear on HN's monthly 'Who is hiring' threads. One commenter links a blog post arguing that software should be made provably correct.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Basis is working to understand and build intelligence to advance our ability to solve intractable scientific and societal problems.
Most-linked posts?
- Ship Your Interpreter3 people · 3 mentions · first linked 2026-10-17
- Building an Unverified Compiler with Agents2 people · 2 mentions · first linked 2026-04-16
- Autumn: Causal Discovery Through Program Synthesis2 people · 2 mentions · first linked 2023-01-16
What Hacker News says?
Basis Research Institute | Research Scientist/Engineer, Operations Manager, Interns | In-person + Remote | http://basis.ai Basis is a new nonprofit research institute. We're building a foundation of (approximately) universal reasoning-based AI, to help solve hard scientific and societal problems in collaboration with domain experts. Research scientists/engineers, get in touch if you're passionate about any of: - Com…
Comment linking /join-us/
on “Ask HN: Who is hiring? (August 2022)”Submitted Ship Your Interpreter as a story · 24 points
HN discussionBasis Research Institute | Research Scientist/Engineer, Ops, Interns | In-person + Hybrid | http://basis.ai Basis is a new nonprofit research institute. We're building a foundation of (approximately) universal reasoning-based AI, to help solve hard scientific and societal problems in collaboration with domain experts. Research scientists/engineers, get in touch if you're passionate about any of: - Compilation / prog…
Comment linking /join-us/
on “Ask HN: Who is hiring? (September 2022)”Submitted Ship Your Interpreter as a story · 3 points
HN discussionhttps://www.basis.ai/blog/ship-your-interpreters/ This is the counter. Make your software provably correct. Then you don't need gatekeepers nor to fear any attackers.
Comment linking /blog/ship-your-interpreters/
on “Cloudflare deploys protections against php2shell vulnerability”Submitted Building an Unverified Compiler with Agents as a story · 2 points
HN discussionSubmitted Using LLM-Based Verification to Eliminate Bugs in Linux's Network Stack as a story · 1 points
HN discussionSubmitted Pact: Trustworthy Coordination for Multi-Agentic Ecosystems as a story · 1 points
HN discussionSubmitted Building an Unverified Compiler with Agents as a story · 1 points
HN discussionSubmitted Basis: Designing a New Kind of AI Research Organization as a story · 1 points
HN discussionSubmitted Autumn: Causal Discovery Through Program Synthesis as a story · 1 points
HN discussionSubmitted Intuitive Scientific Discovery Through Program Synthesis as a story · 1 points
HN discussion
