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. Endorsing easily disproven claims linked to prioritizing symbolic strength (theconversation.com)
   62 points by Archelaos 12 days ago | 56 comments
2. Neuro-Symbolic AI (en.wikipedia.org)
   7 points by teleforce 19 days ago | discuss
3. Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com)
   6 points by triska 4 days ago | discuss
4. I built a Symbolic Python Interpreter to make Python faster (chalk.ai)
   3 points by noleary 8 days ago | discuss
5. Show HN: Mirrors Reasoning Stack (Mrs) – A Neuro-Symbolic Core for Agents
   2 points by alkhemyst 23 days ago | discuss
6. Show HN: Aspera – Hybrid symbolic-LLM agents for production
   1 points by christianrth 16 days ago | 2 comments
7. Grounding LLMs with Symbolic Planning (theelderscripts.com)
   1 points by haarlemist 1 day ago | discuss
8. LLMs Forget. Redprint Remembers
   2 points by FlameArchitect 1 day ago | 1 comments
9. Home cluster. Feedback wanted on i3-n305
   1 points by rdu 22 days ago | discuss
10. Show HN: Power Engineer Built an AI Agent System with No-Code (N8n and GPT) (github.com)
    1 points by TXN0Core 29 days ago | discuss
11. Believing misinformation is a "win" for some people, even when proven false (theconversation.com)
    8 points by m-watson 14 days ago | discuss
12. Believing misinformation is a "win" for some people, even when proven false (theconversation.com)
    6 points by rbanffy 13 days ago | discuss
13. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo about 1 year ago | 99 comments
14. Symbolics Sunstone Development Plan (1987) [pdf] (wiki.unix-haters.org)
    52 points by mepian over 1 year ago | 45 comments
15. The Symbolics Genera Programming Environment (1987) (archive.org)
    48 points by mepian about 1 year ago | 8 comments
16. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    29 points by zdw about 1 year ago | 2 comments
17. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
    24 points by mepian about 1 year ago | 2 comments
18. Symbolics S-Render manual (1985) (archive.org)
    5 points by mepian over 1 year ago | discuss
19. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian about 1 year ago | discuss
20. Symbolics Color System manual (1986) (archive.org)
    2 points by mepian over 1 year ago | discuss
21. Symbolics Color System manual (1986) (archive.org)
    2 points by todsacerdoti over 1 year ago | discuss
22. The Symbolics Genera Programming Environment (1987) [pdf] (cdn.discordapp.com)
    2 points by mepian almost 2 years ago | discuss
23. Symbolics.jl (github.com)
    2 points by tosh almost 2 years ago | discuss
24. Symbolics S-Geometry manual (1988) (archive.org)
    1 points by mepian about 1 year ago | discuss
25. If Emacs is not a text editor, then what is it really?
    5 points by hushangazar 4 months ago | 2 comments
26. Genera Concepts [pdf] (worrydream.com)
    2 points by andsoitis 7 months ago | discuss
27. Plexi: A graphical development environment for constructing neural nets (1989) (archive.org)
    2 points by mepian over 1 year ago | discuss
28. Enclave: Command-line secure encrypted deniable cloud-synchronized notebook (github.com)
    2 points by dash2 almost 2 years ago | discuss
29. SymPy: Symbolic Mathematics in Python (www.sympy.org)
    264 points by tosh over 1 year ago | 133 comments
30. SymbolicAI: A neuro-symbolic perspective on LLMs (github.com)
    224 points by futurisold 4 months ago | 62 comments
31. Symbolica Computer Algebra System (symbolica.io)
    156 points by weinzierl over 1 year ago | 119 comments
32. Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
    121 points by freediver 5 months ago | 30 comments
33. The wire that transforms much of Manhattan into one big, symbolic home (2017) (www.atlasobscura.com)
    116 points by rmason 5 months ago | 266 comments
34. Feynman Symbolic Regression Database (space.mit.edu)
    106 points by gone35 over 1 year ago | 6 comments
35. NotaGen: Symbolic Music Generation (electricalexis.github.io)
    102 points by explosion-s 7 months ago | 45 comments
36. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 about 1 year ago | 19 comments
37. Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
    81 points by philzook 10 months ago | 10 comments
38. Ogma: Interpretable Symbolic General Problem-Solving Model (ogma.framer.website)
    74 points by alex-a-levy over 1 year ago | 27 comments
39. Algorithms through the lens of symbolic pattern matching (symbolica.io)
    71 points by adamnemecek about 1 year ago | 8 comments
40. Can Large Language Models Understand Symbolic Graphics Programs? (www.arxiv.org)
    70 points by belter about 1 year ago | 59 comments
41. Rubi: Symbolic integrator based on an extensive system of integration rules (rulebasedintegration.org)
    70 points by ducktective about 1 year ago | 26 comments
42. Definite clause grammars and symbolic differentiation (bitsandtheorems.com)
    64 points by Knaapje 8 months ago | 9 comments