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. Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)
   23 points by galapago 10 days ago | 6 comments
2. ISR: Invertible Symbolic Regression (2024) (arxiv.org)
   7 points by liamdgray 13 days ago | 1 comments
3. Neural Symbolic Regression that scales (2021) (proceedings.mlr.press)
   1 points by liamdgray 14 days ago | 1 comments
4. Show HN: EIRA-KEM – a symbolic post-quantum KEM for academic testing (github.com)
   1 points by CarSan99 30 days ago | discuss
5. Patient Lisp Hacker Seeks Same for Long Walks Through IPL-V Code
   7 points by abrax3141 4 days ago | 2 comments
6. Show HN: An AI-powered tarot card reader that gives surprisingly deep readings (www.randomtarotcard.org)
   3 points by xiaoshumiao 10 days ago | discuss
7. Show HN: I made a semantic OS for language reasoning (not kidding) (github.com)
   3 points by TXTOS 29 days ago | discuss
8. Universe on a Piece of Paper
   1 points by morpheos137 15 days ago | 4 comments
9. Show HN: A math tutor that won't hallucinate answers (ChatGPT and Photomath) (thinkercan.com)
   1 points by noygaryan 3 days ago | discuss
10. Show HN: AI Trust Proof – Help AI Trust You with Blockchain-Verifiable Signals (www.aitrustproof.com)
    1 points by dude3 18 days ago | discuss
11. Show HN: Glyphshift – A Browser Extension to Learn Phonetic Systems (mordenstar.com)
    1 points by vunderba 24 days ago | discuss
12. Show HN: Tool to optimize keyboard layout by counting characters (github.com)
    2 points by ogdakke 5 days ago | discuss
13. Show HN: Mathpad – Physical keypad for typing math symbols (www.crowdsupply.com)
    78 points by MagneLauritzen 28 days ago | 26 comments
14. Show HN: Text Symbols (symbol.so)
    3 points by liquid99 24 days ago | discuss
15. Show HN: A website that lets you use Unicode symbols as Icons (symbol.so)
    2 points by liquid99 16 days ago | discuss
16. Invisible Symbols (symbol.so)
    2 points by liquid99 28 days ago | discuss
17. Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
    66 points by jjjutla 30 days ago | 36 comments
18. Show HN: VectorOps Know (vectorops.dev)
    8 points by joecarpenter 23 days ago | 2 comments
19. Show HN: Kanban-style Phase Board: plan → execute → verify → commit (traycer.ai)
    5 points by pranshu54 29 days ago | discuss
20. Show HN: I made a language where the only command is "I use arch btw" (github.com)
    3 points by tikrack 13 days ago | discuss
21. Show HN: I built an open-source CSV importer that I wish existed (github.com)
    2 points by aray07 about 2 hours ago | discuss
22. Show HN: Creating a Binary Puzzle Game (taengo.vercel.app)
    2 points by alexandergekov 23 days ago | discuss
23. Ask HN: C++ code protection in desktop apps. How do you keep your boss happy?
    1 points by kkkqkqkqkqlqlql 11 days ago | 2 comments
24. The Killing Code (www.theguardian.com)
    7 points by kawera 27 days ago | discuss
25. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo 11 months ago | 99 comments
26. Symbolics Sunstone Development Plan (1987) [pdf] (wiki.unix-haters.org)
    52 points by mepian over 1 year ago | 45 comments
27. The Symbolics Genera Programming Environment (1987) (archive.org)
    48 points by mepian 12 months ago | 8 comments
28. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    29 points by zdw 11 months ago | 2 comments
29. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
    24 points by mepian 12 months ago | 2 comments
30. Symbolics S-Render manual (1985) (archive.org)
    5 points by mepian about 1 year ago | discuss
31. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian about 1 year ago | discuss
32. Symbolics Color System manual (1986) (archive.org)
    2 points by mepian about 1 year ago | discuss
33. Symbolics Color System manual (1986) (archive.org)
    2 points by todsacerdoti about 1 year ago | discuss
34. The Symbolics Genera Programming Environment (1987) [pdf] (cdn.discordapp.com)
    2 points by mepian over 1 year ago | discuss
35. Symbolics.jl (github.com)
    2 points by tosh over 1 year ago | discuss
36. Symbolics (www.ifis.uni-luebeck.de)
    2 points by rwl almost 2 years ago | discuss
37. Julia Symbolics Library (juliasymbolics.org)
    1 points by ogogmad almost 2 years ago | 1 comments
38. Symbolics S-Geometry manual (1988) (archive.org)
    1 points by mepian 12 months ago | discuss
39. If Emacs is not a text editor, then what is it really?
    5 points by hushangazar about 2 months ago | 2 comments
40. Genera Concepts [pdf] (worrydream.com)
    2 points by andsoitis 5 months ago | discuss
41. Plexi: A graphical development environment for constructing neural nets (1989) (archive.org)
    2 points by mepian over 1 year ago | discuss
42. Enclave: Command-line secure encrypted deniable cloud-synchronized notebook (github.com)
    2 points by dash2 over 1 year ago | discuss
43. SymPy: Symbolic Mathematics in Python (www.sympy.org)
    264 points by tosh over 1 year ago | 133 comments
44. SymbolicAI: A neuro-symbolic perspective on LLMs (github.com)
    224 points by futurisold 2 months ago | 62 comments
45. Symbolica Computer Algebra System (symbolica.io)
    156 points by weinzierl over 1 year ago | 119 comments
46. Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
    121 points by freediver 3 months ago | 30 comments
47. The wire that transforms much of Manhattan into one big, symbolic home (2017) (www.atlasobscura.com)
    116 points by rmason 3 months ago | 266 comments
48. Feynman Symbolic Regression Database (space.mit.edu)
    106 points by gone35 over 1 year ago | 6 comments
49. NotaGen: Symbolic Music Generation (electricalexis.github.io)
    102 points by explosion-s 5 months ago | 45 comments
50. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 about 1 year ago | 19 comments
51. Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
    81 points by philzook 8 months ago | 10 comments
52. Ogma: Interpretable Symbolic General Problem-Solving Model (ogma.framer.website)
    74 points by alex-a-levy about 1 year ago | 27 comments
53. Algorithms through the lens of symbolic pattern matching (symbolica.io)
    71 points by adamnemecek about 1 year ago | 8 comments
54. Can Large Language Models Understand Symbolic Graphics Programs? (www.arxiv.org)
    70 points by belter about 1 year ago | 59 comments