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. Migrating to Bazel symbolic macros (www.tweag.io)
   24 points by todsacerdoti 21 days ago | 11 comments
2. Could Symbolic AI Unlock Human-Like Intelligence? (www.nature.com)
   6 points by beardyw 14 days ago | 1 comments
3. Symbolic AI in the Age of LLMs (www.youtube.com)
   5 points by belter about 24 hours ago | discuss
4. Symbolica 1.0 released: Symbolic mathematics in Rust (symbolica.io)
   3 points by adamnemecek 19 days ago | discuss
5. Quietly, symbolically, US control of the internet was just ended (2016) (www.theguardian.com)
   3 points by xeonmc 30 days ago | discuss
6. Topas: A Convergent Neuro-Symbolic Architecture for General Intelligence (zenodo.org)
   2 points by Doug_Bitterbot 18 days ago | 4 comments
7. Teaching LLMs to compose math symbolically, not execute it
   2 points by CheerfulDreamer 12 days ago | discuss
8. Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com)
   1 points by nsomani 5 days ago | 1 comments
9. ERCP: Self-Correcting LLM Reasoning Using NLI-Based Neuro-Symbolic Constraints (zenodo.org)
   1 points by hemanm 25 days ago | 1 comments
10. Show HN: A neuro-symbolic manufacturing engine built in 1 week with Gemini 3.0 (github.com)
    1 points by knightbat2004 14 days ago | discuss
11. Show HN: MQ-AGI A neuro-symbolic architecture for modular AGI
    1 points by matheusdevmp 24 days ago | discuss
12. Symbolic Optimal Assembly Program (en.wikipedia.org)
    1 points by gjvc 24 days ago | discuss
13. Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog (github.com)
    7 points by schmuhblaster 28 days ago | discuss
14. Thoughts of a Neopagan / the Reconstruction of Neolithic Religion
    6 points by 5wizard5 5 days ago | 2 comments
15. Show HN: Letters From the Earth – daily climate data turned into narrative (m-verse.com)
    3 points by manishg2022 9 days ago | discuss
16. Meta-algorithmic judicial reasoning engine
    3 points by YuriKozlov 25 days ago | discuss
17. I made a prompt framework that makes LLMs stop hedging and speak straight
    2 points by DrRockzos 5 days ago | 1 comments
18. Show HN: A Vaadin 24, Spring algebra calculator with dynamic variable buttons
    2 points by bellaOxmyx 6 days ago | 1 comments
19. Show HN: NetSnap – Comprehnsive JSON/Python net state snapshots (github.com)
    2 points by harrygc 12 days ago | discuss
20. Show HN: Memory System Hitting 80.1% Accuracy on LoCoMo (Built in 4.5 Months) (github.com)
    2 points by ViktorKuz 18 days ago | discuss
21. 94% zero-shot in a shifting gridworld, no retraining
    1 points by heavymemory 14 days ago | 2 comments
22. Show HN: Sigma Runtime – A Cognitive Runtime Standard for LLMs (wiki.sigmastratum.org)
    1 points by teugent 12 days ago | 1 comments
23. Show HN: Frozen Function-agnostic goldenratio calculus (pip install phi-engine) (github.com)
    1 points by purrplexia 10 days ago | discuss
24. Show HN: Instant Calculus: frozen, function-agnostic, arbitrary-precision GPLv3 (github.com)
    1 points by purrplexia 13 days ago | discuss
25. Agentica TypeScript SDK (github.com)
    1 points by handfuloflight 3 days ago | discuss
26. AI Achieves Math Breakthrough: Creates Deterministic Ultra-Radical Algorithm (zenodo.org)
    1 points by symbolic_ai 15 days ago | 1 comments
27. U.S. Coast Guard will no longer classify swastikas, nooses as hate symbols (www.washingtonpost.com)
    94 points by mrtesthah 23 days ago | 32 comments
28. U.S. Coast Guard will no longer classify swastikas, nooses as hate symbols (archive.is)
    5 points by mrtesthah 23 days ago | 2 comments
29. Show HN: A Superscript Generator That Works with Any Text, Symbols Included (superscriptgenerator.net)
    1 points by 18272837023 7 days ago | 1 comments
30. Rooted Resistance: Rashid Johnson's Potted Plants as Living Symbols (worldsensorium.com)
    1 points by dnetesn 12 days ago | discuss