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. Novel Logic-Enhanced LLM for Improved Symbolic Reasoning
   10 points by N3Xxus_6 22 days ago | discuss
2. Show HN: MemoryCore – symbolic, peer-to-peer memory system for AI (github.com)
   7 points by SkittyMaster about 18 hours ago | discuss
3. Postponement of death until symbolically meaningful occasions (1990) (pubmed.ncbi.nlm.nih.gov)
   6 points by sonicrocketman 5 days ago | 1 comments
4. Accelerating Real-Time ML with Symbolic Python Interpreter (chalk.ai)
   3 points by Derander 24 days ago | 1 comments
5. Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning (arxiv.org)
   3 points by b-man 9 days ago | discuss
6. Symbolverse – minimalistic symbolic term rewriting framework (github.com)
   3 points by tearflake 15 days ago | discuss
7. Neuro-Symbolic Logic Enhancement for LLMs
   3 points by N3Xxus_6 17 days ago | discuss
8. Owi: Performant parallel symbolic execution made easy with OCaml and WebAssembly (hal.science)
   1 points by fanf2 16 days ago | discuss
9. Π-NeSy: A Possibilistic Neuro-Symbolic Approach (arxiv.org)
   1 points by syskaw 17 days ago | discuss
10. Show HN: Python at the Speed of Rust (blog.fxn.ai)
    68 points by olokobayusuf 17 days ago | 40 comments
11. Show HN: I built a deep learning engine from scratch in Python (github.com)
    30 points by gmwhitebox_dev 10 days ago | 3 comments
12. I want to work for an entrepreneur who has awakened spiritually
    25 points by lifetripe 4 days ago | 18 comments
13. Do Not Train" Meta Tags: The Robots.txt of AI – Will Anyone Respect Them?
    4 points by alissa_v 2 days ago | 7 comments
14. AxiomGPT: Programming with LLMs by defining Oracles in natural language
    2 points by Eager 26 days ago | discuss
15. Show HN: chart2txt, LLM-readable astrology charts (chart2txt.com)
    1 points by Nav_Panel 16 days ago | discuss
16. Show HN: Acorn.js – Turn GraphQL APIs into Tools for LLMs and Agents (github.com)
    1 points by mbroecheler 24 days ago | discuss
17. The Lazy Way to Solve Differential Equations (iagoleal.com)
    2 points by romes 30 days ago | 1 comments
18. Miscellaneous Mathematical Symbols (www.johndcook.com)
    18 points by azhenley 12 days ago | 1 comments
19. The physics of symbols: bridging the epistemic cut (2001) (linkinghub.elsevier.com)
    1 points by Fibra 24 days ago | discuss
20. Show HN: StegaCube – Hide messages and files in scrambled Rubik's Cubes (cube.xtn.sh)
    4 points by xtncl 24 days ago | discuss
21. Show HN: CodeAnt AI – AI Code Reviewer, that understand code and dependencies (www.youtube.com)
    3 points by Amartya_jha 4 days ago | discuss
22. Relay
    2 points by seklum 25 days ago | 1 comments
23. Show HN: Beancount Language Service (LSP Server and Client VSCode Extension) (marketplace.visualstudio.com)
    2 points by fengkx 5 days ago | discuss
24. 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
25. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo 7 months ago | 99 comments
26. Symbolics Lisp Machines Graphics Demo (1990) [video] (www.youtube.com)
    148 points by mepian almost 2 years ago | 78 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 7 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 6 months ago | 2 comments
31. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
    24 points by mepian 7 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 9 months ago | discuss
35. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian 8 months ago | discuss
36. Symbolics Color System manual (1986) (archive.org)
    2 points by mepian 10 months ago | discuss
37. Symbolics Color System manual (1986) (archive.org)
    2 points by todsacerdoti 10 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 8 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 1 month 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 12 months ago | 119 comments
50. Feynman Symbolic Regression Database (space.mit.edu)
    106 points by gone35 12 months ago | 6 comments
51. NotaGen: Symbolic Music Generation (electricalexis.github.io)
    102 points by explosion-s about 1 month ago | 45 comments
52. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 8 months ago | 19 comments
53. SNOBOL (“StriNg Oriented and SymBOlic Language”) (en.wikipedia.org)
    84 points by hello_computer almost 2 years ago | 56 comments