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. Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
   114 points by freediver 1 day ago | 30 comments
2. Show HN: MemoryCore – symbolic, peer-to-peer memory system for AI (github.com)
   7 points by SkittyMaster 28 days ago | discuss
3. Ukraine minerals deal is largely symbolic – but that's enough for Donald Trump (www.rnz.co.nz)
   6 points by colinprince 22 days ago | discuss
4. Symbolic Logic Based LLM
   5 points by sandeeptshelvan 8 days ago | 1 comments
5. Reinforcement Learning for Symbolic Mathematics (arxiv.org)
   5 points by MarcoDewey 2 days ago | discuss
6. SEninja: Symbolic execution plugin for Binary Ninja (github.com)
   3 points by fanf2 24 days ago | discuss
7. The Symbolic Capitalist Paradox (hedgehogreview.com)
   2 points by rntn 20 days ago | 2 comments
8. Counting Calories with Symbolic Computing (2012) (drive.google.com)
   2 points by tosh 3 days ago | discuss
9. In-context learning as a kind of symbolic-AutoML: Lyapunov conjecture for CoTs (hal.science)
   2 points by northlondoner 14 days ago | discuss
10. Neuro Symbolic AI with Quarkus and Drools (github.com)
    1 points by andrearaponi12 19 days ago | 1 comments
11. What the Hell is Symbolic Computation? (2016) (stevelosh.com)
    1 points by Tomte 5 days ago | discuss
12. 3D rendering of the Colosseum captures its architectural genius, symbolic power [video] (aeon.co)
    1 points by pseudolus 10 days ago | discuss
13. Recursive Symbolic Containment and the Global Regularity of Navier–Stokes Fields (zenodo.org)
    1 points by architect137 11 days ago | discuss
14. Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON) (theoria-dataset.github.io)
    9 points by ManuelSH 13 days ago | 6 comments
15. Repo with backdated junk, filled with my system, right after I filed patent
    8 points by rgunther 23 days ago | 4 comments
16. Do Not Train" Meta Tags: The Robots.txt of AI – Will Anyone Respect Them?
    5 points by alissa_v 29 days ago | 7 comments
17. LLMs Are Great, but They're Not Everything
    4 points by procha 16 days ago | 2 comments
18. Show HN: A Human-Centered Protocol for Containment-Aware AI Design
    2 points by architect137 11 days ago | discuss
19. Show HN: A Human-Centered Protocol for Containment-Aware AI Design
    1 points by architect137 12 days ago | discuss
20. Show HN: EmojiSymbolsCopy – Instantly copy&paste symbols, emojis, and text art (emojisymbolscopy.com)
    1 points by Chipen 12 days ago | 1 comments
21. Show HN: An MCP that fetches code context from all your repos (github.com)
    5 points by msukkarieh 8 days ago | discuss
22. Show HN: Time to Hack (github.com)
    3 points by madinmo 20 days ago | discuss
23. Ask HN: Is This Academic Misconduct?
    2 points by YeGoblynQueenne 10 days ago | discuss
24. Show HN: ChatGPT drew itself and what I saw was spooky (imgur.com)
    2 points by octavesoundberg 17 days ago | discuss
25. Owner of Symbolics Lisp machines IP is interested in a non-commercial release (hachyderm.io)
    230 points by mepian almost 2 years ago | 143 comments
26. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo 7 months ago | 99 comments
27. Symbolics Sunstone Development Plan (1987) [pdf] (wiki.unix-haters.org)
    52 points by mepian about 1 year ago | 45 comments
28. The Symbolics Genera Programming Environment (1987) (archive.org)
    48 points by mepian 8 months ago | 8 comments
29. Symbolics CGI production notes: How Stanley and Stella came together (1988) (archive.org)
    31 points by mepian almost 2 years ago | 11 comments
30. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    29 points by zdw 7 months ago | 2 comments
31. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
    24 points by mepian 8 months ago | 2 comments
32. Ask HN: What Were the Differences Between Symbolics Genera and Xerox Interlisp-D
    8 points by linguae almost 2 years ago | 9 comments
33. Symbolics: Stanley and Stella in “BREAKING THE ICE” (1987, remastered 2023) [video] (www.youtube.com)
    7 points by mepian almost 2 years ago | discuss
34. Symbolics S-Render manual (1985) (archive.org)
    5 points by mepian 10 months ago | discuss
35. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian 9 months ago | discuss
36. Symbolics Color System manual (1986) (archive.org)
    2 points by mepian 11 months ago | discuss
37. Symbolics Color System manual (1986) (archive.org)
    2 points by todsacerdoti 11 months ago | discuss
38. The Symbolics Genera Programming Environment (1987) [pdf] (cdn.discordapp.com)
    2 points by mepian over 1 year ago | discuss
39. Symbolics.jl (github.com)
    2 points by tosh over 1 year ago | discuss
40. Symbolics (www.ifis.uni-luebeck.de)
    2 points by rwl over 1 year ago | discuss
41. Symbolics Document Examiner: Delivery Interface for Hypertext Documents (1987) [pdf] (dl.acm.org)
    2 points by mepian almost 2 years ago | discuss
42. Julia Symbolics Library (juliasymbolics.org)
    1 points by ogogmad over 1 year ago | 1 comments
43. Symbolics S-Geometry manual (1988) (archive.org)
    1 points by mepian 9 months ago | discuss
44. Stanley and Stella in “Breaking the ICE” – Original Symbolics Tapes Restored [video] (www.youtube.com)
    1 points by rbc almost 2 years ago | discuss
45. Genera Concepts [pdf] (worrydream.com)
    2 points by andsoitis about 2 months ago | discuss
46. Plexi: A graphical development environment for constructing neural nets (1989) (archive.org)
    2 points by mepian about 1 year ago | discuss
47. Enclave: Command-line secure encrypted deniable cloud-synchronized notebook (github.com)
    2 points by dash2 over 1 year ago | discuss
48. SymPy: Symbolic Mathematics in Python (www.sympy.org)
    264 points by tosh about 1 year ago | 133 comments
49. Symbolica Computer Algebra System (symbolica.io)
    156 points by weinzierl about 1 year ago | 119 comments
50. Feynman Symbolic Regression Database (space.mit.edu)
    106 points by gone35 about 1 year ago | 6 comments
51. NotaGen: Symbolic Music Generation (electricalexis.github.io)
    102 points by explosion-s 2 months ago | 45 comments
52. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 9 months ago | 19 comments
53. Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
    81 points by philzook 5 months ago | 10 comments
54. Ogma: Interpretable Symbolic General Problem-Solving Model (ogma.framer.website)
    74 points by alex-a-levy 12 months ago | 27 comments