Hackernews posts about Symbolics

Symbolics is a pioneering computer company that developed and marketed Lisp machines, powerful workstations based on the LISP programming language, in the 1980s and early 1990s.

1. Braid: Bounded reasoning for LLMs using symbolic Mermaid graphs (arxiv.org)
   6 points by dashersw 9 days ago | 1 comments
2. Could Symbolic AI Unlock Human-Like Intelligence? (www.nature.com)
   6 points by beardyw 29 days ago | 1 comments
3. Symbolic AI in the Age of LLMs (www.youtube.com)
   6 points by belter 16 days ago | discuss
4. AI Feynman: A physics-inspired method for symbolic regression (2020) (www.science.org)
   2 points by lisper 6 days ago | discuss
5. Echidna 2.3 released with symbolic execution, Foundry integration and more (github.com)
   2 points by galapago 13 days ago | discuss
6. Teaching LLMs to compose math symbolically, not execute it
   2 points by CheerfulDreamer 27 days ago | discuss
7. Show HN: Consulting-as-Code – A deterministic, neuro-symbolic agent architecture (vuduvations.github.io)
   1 points by vuduvations 9 days ago | 1 comments
8. I built a Symbolic AI that explains itself, no more black box (signal-zero.ai)
   1 points by klietus 13 days ago | 1 comments
9. Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com)
   1 points by nsomani 20 days ago | 1 comments
10. Soteria Rust: the first symbolic execution engine with full Tree Borrows support [video] (www.youtube.com)
    1 points by matt_d 11 days ago | discuss
11. Show HN: A neuro-symbolic manufacturing engine built in 1 week with Gemini 3.0 (github.com)
    1 points by knightbat2004 29 days ago | discuss
12. Show HN: Calling tools w/ Python improves LLM perf. vs MCP (77.1% on BrowseComp) (www.symbolica.ai)
    10 points by charlielidbury 12 days ago | discuss
13. Thoughts of a Neopagan / the Reconstruction of Neolithic Religion
    6 points by 5wizard5 20 days ago | 2 comments
14. Show HN: Letters From the Earth – daily climate data turned into narrative (m-verse.com)
    3 points by manishg2022 24 days ago | discuss
15. I made a prompt framework that makes LLMs stop hedging and speak straight
    2 points by DrRockzos 20 days ago | 1 comments
16. Show HN: A Vaadin 24, Spring algebra calculator with dynamic variable buttons
    2 points by bellaOxmyx 21 days ago | 1 comments
17. Show HN: NetSnap – Comprehnsive JSON/Python net state snapshots (github.com)
    2 points by harrygc 27 days ago | discuss
18. 94% zero-shot in a shifting gridworld, no retraining
    1 points by heavymemory 29 days ago | 2 comments
19. Show HN: Sigma Runtime – A Cognitive Runtime Standard for LLMs (wiki.sigmastratum.org)
    1 points by teugent 27 days ago | 1 comments
20. Show HN: SpecFact CLI: Reverse Engineer Legacy Python into Enforceable Contracts (github.com)
    1 points by noldai 6 days ago | discuss
21. Show HN: Frozen Function-agnostic goldenratio calculus (pip install phi-engine) (github.com)
    1 points by purrplexia 25 days ago | discuss
22. Show HN: Instant Calculus: frozen, function-agnostic, arbitrary-precision GPLv3 (github.com)
    1 points by purrplexia 28 days ago | discuss
23. Agentica TypeScript SDK (github.com)
    3 points by handfuloflight 18 days ago | discuss
24. AI Achieves Math Breakthrough: Creates Deterministic Ultra-Radical Algorithm (zenodo.org)
    1 points by symbolic_ai 30 days ago | 1 comments
25. Finding Jingle Town: Debugging an N64 Game Without Symbols (blog.chrislewis.au)
    4 points by knackers 5 days ago | discuss
26. Show HN: A Superscript Generator That Works with Any Text, Symbols Included (superscriptgenerator.net)
    1 points by 18272837023 22 days ago | 1 comments
27. Rooted Resistance: Rashid Johnson's Potted Plants as Living Symbols (worldsensorium.com)
    1 points by dnetesn 19 days ago | discuss
28. Rooted Resistance: Rashid Johnson's Potted Plants as Living Symbols (worldsensorium.com)
    1 points by dnetesn 27 days ago | discuss
29. Launch HN: Nia (YC S25) – Give better context to coding agents (www.trynia.ai)
    131 points by jellyotsiro 20 days ago | 87 comments
30. Show HN: I built an open-source Linux-capable single-board computer with DDR3 (github.com)
    16 points by Cyao 4 days ago | 8 comments