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. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
   24 points by mepian 5 days ago | 2 comments
2. The Symbolics Genera Programming Environment (1987) (archive.org)
   5 points by mepian 1 day ago | 1 comments
3. Symbolics S-Geometry manual (1988) (archive.org)
   1 points by mepian 19 days ago | discuss
4. KLEE Symbolic Execution Engine (github.com)
   88 points by nateb2022 23 days ago | 19 comments
5. Rubi: Symbolic integrator based on an extensive system of integration rules (rulebasedintegration.org)
   70 points by ducktective 21 days ago | 26 comments
6. Hong Kong's neon glow dims, symbolising the end of an era (globalvoices.org)
   4 points by PaulHoule 16 days ago | discuss
7. Automated programming, symbolic computation, machine learning: my personal view (link.springer.com)
   4 points by nextos 24 days ago | discuss
8. Correct register allocation in Cranelift by fuzzing with a symbolic checker (cfallin.org)
   2 points by fanf2 5 days ago | discuss
9. Confer: The symbolic links manager for your configuration files (github.com)
   2 points by Vosporos 11 days ago | discuss
10. Symbolicating SwiftUI (and Any Apple Framework) (www.emergetools.com)
    2 points by SoKamil 11 days ago | discuss
11. Show HN: VirtualStorageLibrary – .NET Tree solutions for items, dirs, symlinks (shimodateakira.github.io)
    63 points by shimodateakira 29 days ago | 13 comments
12. Owner of Symbolics Lisp machines IP is interested in a non-commercial release (hachyderm.io)
    230 points by mepian about 1 year ago | 143 comments
13. Symbolics Lisp Machines Graphics Demo (1990) [video] (www.youtube.com)
    148 points by mepian over 1 year ago | 78 comments
14. Modern Symbolics Lisp Machine Keyboard Replica: Keymacs A620N-88 (www.instagram.com)
    78 points by lispm over 1 year ago | 34 comments
15. Symbolics Sunstone Development Plan (1987) [pdf] (wiki.unix-haters.org)
    52 points by mepian 6 months ago | 45 comments
16. Symbolics CGI production notes: How Stanley and Stella came together (1988) (archive.org)
    31 points by mepian about 1 year ago | 11 comments
17. Ask HN: What Were the Differences Between Symbolics Genera and Xerox Interlisp-D
    8 points by linguae about 1 year ago | 9 comments
18. Symbolics: Stanley and Stella in “BREAKING THE ICE” (1987, remastered 2023) [video] (www.youtube.com)
    7 points by mepian about 1 year ago | discuss
19. Symbolics S-Render manual (1985) (archive.org)
    5 points by mepian about 2 months ago | discuss
20. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian about 1 month ago | discuss
21. Rebuttal to Stallman's Story About the Formation of Symbolics and LMI (web.archive.org)
    3 points by ctrlmeta almost 2 years ago | discuss
22. Symbolics Color System manual (1986) (archive.org)
    2 points by mepian 3 months ago | discuss
23. Symbolics Color System manual (1986) (archive.org)
    2 points by todsacerdoti 3 months ago | discuss
24. The Symbolics Genera Programming Environment (1987) [pdf] (cdn.discordapp.com)
    2 points by mepian 8 months ago | discuss
25. Symbolics.jl (github.com)
    2 points by tosh 8 months ago | discuss
26. Symbolics (www.ifis.uni-luebeck.de)
    2 points by rwl about 1 year ago | discuss
27. Symbolics Document Examiner: Delivery Interface for Hypertext Documents (1987) [pdf] (dl.acm.org)
    2 points by mepian about 1 year ago | discuss
28. Symbolics S-Packages 3D Graphics and Animation Demo (2013) (www.youtube.com)
    2 points by susam over 1 year ago | discuss
29. Julia Symbolics Library (juliasymbolics.org)
    1 points by ogogmad 12 months ago | 1 comments
30. Stanley and Stella in “Breaking the ICE” – Original Symbolics Tapes Restored [video] (www.youtube.com)
    1 points by rbc about 1 year ago | discuss
31. Symbolics Graphics Division Demo Reel (1989) (www.youtube.com)
    1 points by susam over 1 year ago | discuss
32. Symbolics 1991/92 Client Reel 11/27/91 (www.youtube.com)
    1 points by susam over 1 year ago | discuss
33. March 15, 1985 The first domain name is registered (www.symbolics.com)
    3 points by Napkin-com over 1 year ago | 1 comments
34. Plexi: A graphical development environment for constructing neural nets (1989) (archive.org)
    2 points by mepian 5 months ago | discuss
35. Enclave: Command-line secure encrypted deniable cloud-synchronized notebook (github.com)
    2 points by dash2 9 months ago | discuss
36. SymPy: Symbolic Mathematics in Python (www.sympy.org)
    264 points by tosh 7 months ago | 133 comments
37. Symbolic Programming with Clojure [pdf] (www.cs.utexas.edu)
    171 points by cpp_frog over 1 year ago | 12 comments
38. Symbolica Computer Algebra System (symbolica.io)
    156 points by weinzierl 4 months ago | 119 comments
39. Symbolic Discovery of Optimization Algorithms (arxiv.org)
    111 points by caprock over 1 year ago | 31 comments
40. Symbolic Regression is NP-hard (openreview.net)
    109 points by nabla9 almost 2 years ago | 39 comments
41. Feynman Symbolic Regression Database (space.mit.edu)
    106 points by gone35 4 months ago | 6 comments