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. Show HN: A Universal Stability Criterion for Symbolic Complex Systems (zenodo.org)
   2 points by M_Samir333 11 days ago | 1 comments
2. A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4 (github.com)
   2 points by michaelpreid1 10 days ago | discuss
3. Neuro-Symbolic Ode Discovery with Latent Grammar Flow (arxiv.org)
   1 points by ahsillyme 23 days ago | discuss
4. Show HN: Monogate – EML operator family, hybrid framework, 108-node sin(x) (www.monogate.dev)
   2 points by zonked45 28 days ago | discuss
5. Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG (github.com)
   29 points by olliewagner 25 days ago | 10 comments
6. Reaching for the stars: enduring symbols of Soviet science in pictures (www.theguardian.com)
   2 points by andsoitis 10 days ago | discuss
7. Ηuman collective intelligence through space, body and material symbols (royalsocietypublishing.org)
   2 points by XzetaU8 24 days ago | discuss
8. Talking About Dark Matter – Sixty Symbols [video] (www.youtube.com)
   1 points by celias 13 days ago | 1 comments
9. Tantrums as Status Symbols (2005) (marginalrevolution.com)
   1 points by downbad_ 20 days ago | 1 comments
10. Show HN: Effected Keyboard 2 – Effects as You Type
    13 points by vitalipom 14 days ago | discuss
11. Show HN: Continuum, a pedantic recreation of the OMNI font (github.com)
    8 points by ChristopherDrum 8 days ago | discuss
12. Show HN: simple_ans – Asymmetric Numeral Systems Compression in Python/C++ (github.com)
    3 points by jmagland 26 days ago | 1 comments
13. Show HN: Graphmind – Persistent Memory and Graph for Claude Code (MCP, CLI, GUI) (github.com)
    1 points by aouicher about 3 hours ago | discuss
14. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo over 1 year ago | 99 comments
15. The Symbolics Genera Programming Environment (1987) (archive.org)
    48 points by mepian over 1 year ago | 8 comments
16. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    29 points by zdw over 1 year ago | 2 comments
17. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
    24 points by mepian over 1 year ago | 2 comments
18. Symbolics S-Render manual (1985) (archive.org)
    5 points by mepian almost 2 years ago | discuss
19. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian over 1 year ago | discuss
20. Symbolics Color System manual (1986) (archive.org)
    2 points by mepian almost 2 years ago | discuss
21. Symbolics Color System manual (1986) (archive.org)
    2 points by todsacerdoti almost 2 years ago | discuss
22. Symbolics S-Geometry manual (1988) (archive.org)
    1 points by mepian over 1 year ago | discuss
23. If Emacs is not a text editor, then what is it really?
    5 points by hushangazar 10 months ago | 2 comments
24. Genera Concepts [pdf] (worrydream.com)
    2 points by andsoitis about 1 year ago | discuss
25. SymbolicAI: A neuro-symbolic perspective on LLMs (github.com)
    224 points by futurisold 11 months ago | 62 comments
26. Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
    121 points by freediver 12 months ago | 30 comments
27. The wire that transforms much of Manhattan into one big, symbolic home (2017) (www.atlasobscura.com)
    116 points by rmason 11 months ago | 266 comments
28. NotaGen: Symbolic Music Generation (electricalexis.github.io)
    102 points by explosion-s about 1 year ago | 45 comments
29. An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (softwarepreservation.computerhistory.org)
    101 points by swatson741 6 months ago | 11 comments
30. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 over 1 year ago | 19 comments
31. Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
    81 points by philzook over 1 year ago | 10 comments
32. Ogma: Interpretable Symbolic General Problem-Solving Model (ogma.framer.website)
    74 points by alex-a-levy almost 2 years ago | 27 comments
33. Algorithms through the lens of symbolic pattern matching (symbolica.io)
    71 points by adamnemecek over 1 year ago | 8 comments
34. Can Large Language Models Understand Symbolic Graphics Programs? (www.arxiv.org)
    70 points by belter over 1 year ago | 59 comments
35. Rubi: Symbolic integrator based on an extensive system of integration rules (rulebasedintegration.org)
    70 points by ducktective over 1 year ago | 26 comments
36. Definite clause grammars and symbolic differentiation (bitsandtheorems.com)
    64 points by Knaapje about 1 year ago | 9 comments
37. Endorsing easily disproven claims linked to prioritizing symbolic strength (theconversation.com)
    62 points by Archelaos 7 months ago | 56 comments
38. Finding forall-exists Hyperbugs using Symbolic Execution (dl.acm.org)
    48 points by todsacerdoti 3 months ago | 2 comments
39. Show HN: SymDerive – A functional, stateless symbolic math library
    26 points by dinunnob 3 months ago | 14 comments
40. Migrating to Bazel symbolic macros (www.tweag.io)
    24 points by todsacerdoti 6 months ago | 11 comments
41. Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)
    23 points by galapago 9 months ago | 6 comments
42. Symbolic Reference and Hardware Models in Python (tomverbeure.github.io)
    22 points by hasheddan over 1 year ago | discuss
43. The symbolism of the magnifying glass is not universal (devblogs.microsoft.com)
    19 points by ingve 11 months ago | 6 comments