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. Definite clause grammars and symbolic differentiation (bitsandtheorems.com)
   62 points by Knaapje 5 days ago | 8 comments
2. Definite clause grammars and symbolic differentiation (bitsandtheorems.com)
   13 points by gsky 4 days ago | 2 comments
3. Canada goose fights off bald eagle in rare, symbolism-laden battle on ice (www.theguardian.com)
   12 points by saadatq 8 days ago | 2 comments
4. NotaGen: Advancing Musicality in Symbolic Music Generation with LLM Training (github.com)
   3 points by mromanuk 11 days ago | 3 comments
5. Making Claude 3.7 Sonnet Think in Unicode and reason semi-symbolically [video] (www.youtube.com)
   3 points by sh3p 17 days ago | 1 comments
6. NotaGen: Advancing Musicality in Symbolic Music Gen with LLM Training Paradigms (electricalexis.github.io)
   2 points by fofoz 8 days ago | 1 comments
7. Neuro-Symbolic Semantic Slam with Hierarchically Categorical Gaussian Splatting (arxiv.org)
   2 points by PaulHoule 10 days ago | discuss
8. The Symbolic Capitalists (musaalgharbi.substack.com)
   1 points by lordleft 7 days ago | discuss
9. Show HN: Vidformer – Drop-In Acceleration for Cv2 Video Annotation Scripts (github.com)
   25 points by dominikwin 9 days ago | 11 comments
10. Ask HN: Turing's Twilight – A Date for the Death of Guaranteed Human Authorship
    2 points by nirfyi 12 days ago | 7 comments
11. Plug this into your LLM advanced AI Agent research AST
    2 points by AGI______ 18 days ago | discuss
12. Owner of Symbolics Lisp machines IP is interested in a non-commercial release (hachyderm.io)
    230 points by mepian over 1 year ago | 143 comments
13. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo 5 months ago | 99 comments
14. Symbolics Lisp Machines Graphics Demo (1990) [video] (www.youtube.com)
    148 points by mepian almost 2 years ago | 78 comments
15. Symbolics Sunstone Development Plan (1987) [pdf] (wiki.unix-haters.org)
    52 points by mepian 12 months ago | 45 comments
16. The Symbolics Genera Programming Environment (1987) (archive.org)
    48 points by mepian 6 months ago | 8 comments
17. Symbolics CGI production notes: How Stanley and Stella came together (1988) (archive.org)
    31 points by mepian over 1 year ago | 11 comments
18. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    29 points by zdw 5 months ago | 2 comments
19. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
    24 points by mepian 6 months ago | 2 comments
20. Ask HN: What Were the Differences Between Symbolics Genera and Xerox Interlisp-D
    8 points by linguae over 1 year ago | 9 comments
21. Symbolics: Stanley and Stella in “BREAKING THE ICE” (1987, remastered 2023) [video] (www.youtube.com)
    7 points by mepian over 1 year ago | discuss
22. Symbolics S-Render manual (1985) (archive.org)
    5 points by mepian 8 months ago | discuss
23. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian 7 months ago | discuss
24. Symbolics Color System manual (1986) (archive.org)
    2 points by mepian 9 months ago | discuss
25. Symbolics Color System manual (1986) (archive.org)
    2 points by todsacerdoti 9 months ago | discuss
26. The Symbolics Genera Programming Environment (1987) [pdf] (cdn.discordapp.com)
    2 points by mepian about 1 year ago | discuss
27. Symbolics.jl (github.com)
    2 points by tosh about 1 year ago | discuss
28. Symbolics (www.ifis.uni-luebeck.de)
    2 points by rwl over 1 year ago | discuss
29. Symbolics Document Examiner: Delivery Interface for Hypertext Documents (1987) [pdf] (dl.acm.org)
    2 points by mepian over 1 year ago | discuss
30. Symbolics S-Packages 3D Graphics and Animation Demo (2013) (www.youtube.com)
    2 points by susam almost 2 years ago | discuss
31. Julia Symbolics Library (juliasymbolics.org)
    1 points by ogogmad over 1 year ago | 1 comments
32. Symbolics S-Geometry manual (1988) (archive.org)
    1 points by mepian 6 months ago | discuss
33. Stanley and Stella in “Breaking the ICE” – Original Symbolics Tapes Restored [video] (www.youtube.com)
    1 points by rbc over 1 year ago | discuss
34. March 15, 1985 The first domain name is registered (www.symbolics.com)
    3 points by Napkin-com almost 2 years ago | 1 comments
35. Plexi: A graphical development environment for constructing neural nets (1989) (archive.org)
    2 points by mepian 11 months ago | discuss
36. Enclave: Command-line secure encrypted deniable cloud-synchronized notebook (github.com)
    2 points by dash2 about 1 year ago | discuss
37. SymPy: Symbolic Mathematics in Python (www.sympy.org)
    264 points by tosh about 1 year ago | 133 comments
38. Symbolica Computer Algebra System (symbolica.io)
    156 points by weinzierl 10 months ago | 119 comments
39. Feynman Symbolic Regression Database (space.mit.edu)
    106 points by gone35 10 months ago | 6 comments
40. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 7 months ago | 19 comments
41. SNOBOL (“StriNg Oriented and SymBOlic Language”) (en.wikipedia.org)
    84 points by hello_computer almost 2 years ago | 56 comments