Top all-time · #9989
symbolica.ai
Company blog · symbolica.ai/blogaiprogramming
symbolica.ai is the company blog at symbolica.ai, writing about ai and programming. Since 2023, 8 different Hacker News readers have linked it 9 times, most often “SotA ARC-AGI-2 Results with REPL Agents”. No feed was found, so read it on the site itself.
Too few sampled comments (5) to say how often HN recommends it.?
Why HN links it
HN commenters link this company homepage as an example of a startup combining symbolic reasoning with LLMs, and one links a blog post about ARC-AGI records. The comments do not judge the writing itself.
Summarised by Claude from a sample of 5 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Symbolica. Intelligence, Redefined.
Most-linked posts?
- /2 people · 2 mentions · first linked 2024-05-09
- SotA ARC-AGI-2 Results with REPL Agents2 people · 2 mentions · first linked 2026-02-12
What Hacker News says?
These guys are trying to combine symbolic reasoning with LLMs somehow: https://www.symbolica.ai/
Comment linking /
on “Obituary for Cyc”Submitted Show HN: Calling tools w/ Python improves LLM perf. vs MCP (77.1% on BrowseComp) as a story · 10 points
HN discussionThe determinism depends on the architecture of the model! Symbolica is working on more deterministic/quicker models: https://www.symbolica.ai I also wish it was that easy, but compiler determinism is hard, too: https://reproducible-builds.org
Comment linking /
on “Is it a bubble?”Submitted From 0% to 36% on Day 1 of ARC-AGI-3 as a story · 5 points
HN discussionI think that's what these guys are doing https://www.symbolica.ai/
Comment linking /
on “Learn Prolog Now (2006)”Submitted SotA ARC-AGI-2 Results with REPL Agents as a story · 1 points
HN discussionName shared with https://www.symbolica.ai , a Vinod Khosla-backed start up.
Comment linking /
on “Symbolica Computer Algebra System”Submitted Symbolica AI as a story · 1 points
HN discussionThis looks like Symbolica, except the great thing of what they are doing is that they are setting new ARC-AGI records. https://www.symbolica.ai/blog/arcgentica
Comment linking /blog/arcgentica
on “Software 3.1? – AI Functions”
