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. Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)
   23 points by galapago 29 days ago | 6 comments
2. Major Arcana 0: The Fool – Symbolism, Meaning, and Interpretation (arcanacalculator.com)
   4 points by 18272837023 7 days ago | 1 comments
3. Show HN: Project Chimera – Hybrid AI Agent Combining LLM, Symbolic, and Causal (github.com)
   4 points by aytuakarlar 9 days ago | 1 comments
4. Lightcap: A Symbolic Mirror Forged in Algebra (lightcapai.medium.com)
   3 points by WASDAai 16 days ago | 1 comments
5. Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source) (github.com)
   2 points by aytuakarlar 6 days ago | 1 comments
6. VX-NOVA.Ω1: A Symbolic AI Engine That Patches Code Without Any Models (github.com)
   2 points by XzenithAI 14 days ago | discuss
7. Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent – OpenSource Demo (github.com)
   1 points by aytuakarlar 7 days ago | 2 comments
8. What's the best way to benchmark neuro‑symbolic‑causal AI agents? (github.com)
   1 points by aytuakarlar 6 days ago | 1 comments
9. Fundamental Trade-Off Between Certainty and Scope in Symbolic and Generative AI (arxiv.org)
   1 points by mylifeandtimes 2 days ago | discuss
10. Patient Lisp Hacker Seeks Same for Long Walks Through IPL-V Code
    7 points by abrax3141 23 days ago | 2 comments
11. Show HN: An AI-powered tarot card reader that gives surprisingly deep readings (www.randomtarotcard.org)
    3 points by xiaoshumiao 29 days ago | discuss
12. Show HN: Fst – Lightweight C utility for detailed directory statistics LGPL 3.0
    2 points by Forgret 15 days ago | discuss
13. Show HN: A math tutor that won't hallucinate answers (ChatGPT and Photomath) (thinkercan.com)
    1 points by noygaryan 22 days ago | discuss
14. Show HN: Tool to optimize keyboard layout by counting characters (github.com)
    2 points by ogdakke 24 days ago | discuss
15. 40k-Year-Old Symbols in Caves Worldwide May Be the Earliest Written Language (www.openculture.com)
    5 points by mdp2021 about 3 hours ago | 1 comments
16. Show HN: Mathpad, a hardware keypad for typing math symbols (24 hours left) (www.crowdsupply.com)
    4 points by MagneLauritzen 8 days ago | discuss
17. The symbol's history traces back to 1739 (typefoundry.blogspot.com)
    2 points by zdkaster 14 days ago | 1 comments
18. Show HN: A text decorator for making text aesthetic with Cool Unicode symbols (fontgenerator.now)
    2 points by liquid99 9 days ago | discuss
19. Ask HN: What editor for LaTeX notes do you use?
    3 points by quamserena 7 days ago | 6 comments
20. Show HN: Math2Tex – Convert handwritten math and complex notes to LaTeX text
    2 points by leoyixing about 20 hours ago | 3 comments
21. Show HN: I built a Markdown to HTML converter that fixes AI-generated quirks (www.markdownhtmlgen.com)
    2 points by zongheng 9 days ago | discuss
22. Show HN: I built an open-source CSV importer that I wish existed (github.com)
    2 points by aray07 19 days ago | discuss
23. Ask HN: C++ code protection in desktop apps. How do you keep your boss happy?
    1 points by kkkqkqkqkqlqlql 30 days ago | 2 comments
24. New Punctuation
    1 points by noisebuffer 17 days ago | discuss
25. Show HN: I built an AI for divination practice (shefu.org)
    1 points by kuzej 17 days ago | discuss
26. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo 11 months ago | 99 comments
27. Symbolics Sunstone Development Plan (1987) [pdf] (wiki.unix-haters.org)
    52 points by mepian over 1 year ago | 45 comments
28. The Symbolics Genera Programming Environment (1987) (archive.org)
    48 points by mepian 12 months ago | 8 comments
29. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    29 points by zdw 11 months ago | 2 comments
30. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
    24 points by mepian about 1 year ago | 2 comments
31. Symbolics S-Render manual (1985) (archive.org)
    5 points by mepian about 1 year ago | discuss
32. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian about 1 year ago | discuss
33. Symbolics Color System manual (1986) (archive.org)
    2 points by mepian about 1 year ago | discuss
34. Symbolics Color System manual (1986) (archive.org)
    2 points by todsacerdoti about 1 year ago | discuss
35. The Symbolics Genera Programming Environment (1987) [pdf] (cdn.discordapp.com)
    2 points by mepian over 1 year ago | discuss
36. Symbolics.jl (github.com)
    2 points by tosh over 1 year ago | discuss
37. Julia Symbolics Library (juliasymbolics.org)
    1 points by ogogmad almost 2 years ago | 1 comments
38. Symbolics S-Geometry manual (1988) (archive.org)
    1 points by mepian about 1 year ago | discuss
39. If Emacs is not a text editor, then what is it really?
    5 points by hushangazar 3 months ago | 2 comments
40. Genera Concepts [pdf] (worrydream.com)
    2 points by andsoitis 6 months ago | discuss
41. Plexi: A graphical development environment for constructing neural nets (1989) (archive.org)
    2 points by mepian over 1 year ago | discuss
42. Enclave: Command-line secure encrypted deniable cloud-synchronized notebook (github.com)
    2 points by dash2 over 1 year ago | discuss
43. SymPy: Symbolic Mathematics in Python (www.sympy.org)
    264 points by tosh over 1 year ago | 133 comments
44. SymbolicAI: A neuro-symbolic perspective on LLMs (github.com)
    224 points by futurisold 3 months ago | 62 comments
45. Symbolica Computer Algebra System (symbolica.io)
    156 points by weinzierl over 1 year ago | 119 comments
46. Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
    121 points by freediver 4 months ago | 30 comments
47. The wire that transforms much of Manhattan into one big, symbolic home (2017) (www.atlasobscura.com)
    116 points by rmason 3 months ago | 266 comments
48. Feynman Symbolic Regression Database (space.mit.edu)
    106 points by gone35 over 1 year ago | 6 comments
49. NotaGen: Symbolic Music Generation (electricalexis.github.io)
    102 points by explosion-s 6 months ago | 45 comments
50. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 about 1 year ago | 19 comments
51. Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
    81 points by philzook 9 months ago | 10 comments
52. Ogma: Interpretable Symbolic General Problem-Solving Model (ogma.framer.website)
    74 points by alex-a-levy over 1 year ago | 27 comments
53. Algorithms through the lens of symbolic pattern matching (symbolica.io)
    71 points by adamnemecek about 1 year ago | 8 comments
54. Can Large Language Models Understand Symbolic Graphics Programs? (www.arxiv.org)
    70 points by belter about 1 year ago | 59 comments
55. Rubi: Symbolic integrator based on an extensive system of integration rules (rulebasedintegration.org)
    70 points by ducktective about 1 year ago | 26 comments