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 Emergent Symbolic Structure of Artificial Neural Networks (arxiv.org)
   297 points by schmuhblaster 23 days ago | 110 comments
2. YuE2 · Frontier Music with Symbolic Planning (map-yue2.github.io)
   109 points by sexy_seedbox 14 days ago | 101 comments
3. Show HN: Hillock: Local neuro-symbolic memory engine in <1.2GB VRAM (github.com)
   12 points by roandejager5 26 days ago | 3 comments
4. LLM representations have implicit symbolic structure (twitter.com)
   10 points by porridgeraisin 19 days ago | discuss
5. The Recursive Manifest Compiler: A Traceable Symbolic Architecture (www.academia.edu)
   2 points by nicbogaert 4 days ago | discuss
6. Show HN: Aethel-Core – Ultra-Lightweight Neuro-Symbolic WAF Built in SWI-Prolog (github.com)
   2 points by lokinpendawa 19 days ago | discuss
7. Program Learning with Verifiable Rewards: Symbolic Backpropagation (arxiv.org)
   2 points by sbulaev 24 days ago | discuss
8. Symbolic Artificial Intelligence (en.wikipedia.org)
   1 points by ijidak 9 days ago | discuss
9. Show HN: Darwin-VM – run the latest iOS and macOS in QEMU (github.com)
   2 points by jprx 27 days ago | discuss
10. What do you think is the prevalence of this phenomenon in current AI discourse? (en.wikipedia.org)
    3 points by symbolicai 6 days ago | 2 comments
11. Key symbols we lost to time, pt. 2: The Mac side (unsung.aresluna.org)
    163 points by zdw 6 days ago | 89 comments
12. Key symbols we lost to time, pt. 1: The PC side (unsung.aresluna.org)
    111 points by leephillips 12 days ago | 33 comments
13. The Benefits of Creating a Personal Shorthand of Symbols (www.autodidacts.io)
    3 points by Curiositry 24 days ago | discuss
14. Show HN: Eulix - Code navigation for large codebases
    5 points by Nurysso 10 days ago | discuss
15. Show HN: go-binsync – Go binary patches up to 67× smaller than bsdiff (github.com)
    5 points by wgjordan 28 days ago | discuss
16. Show HN: MesaOS – An operating system written from scratch in Rust (github.com)
    4 points by crackanimador 22 days ago | 13 comments
17. Every job boil down to producing a desired effect
    1 points by alex_brajkovic 16 days ago | discuss
18. Show HN: OpenAI has a live market price before it has a stock ticker (tickerlayer.com)
    2 points by tickerlayer 7 days ago | 2 comments
19. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo almost 2 years ago | 99 comments
20. Parody Symbolics Lisp Machines software release (1982) (groups.google.com)
    31 points by gnodar 3 months ago | discuss
21. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    29 points by zdw almost 2 years ago | 2 comments
22. Symbolics Genera now available free for non-commercial use (inv-only early beta) (hachyderm.io)
    19 points by self about 2 months ago | 2 comments
23. Julia Symbolics (juliasymbolics.org)
    7 points by worldsayshi 4 months ago | discuss
24. Symbolics Genera to be available under free for non-commercial use license (hachyderm.io)
    4 points by __lm__ about 2 months ago | 2 comments
25. Symbolics.com – Oldest.com Domain (www.symbolics.com)
    1 points by caminanteblanco 3 months ago | discuss
26. If Emacs is not a text editor, then what is it really?
    5 points by hushangazar about 1 year ago | 2 comments
27. Autolith: A programming agent with a live runtime (www.lambda-symbolics.com)
    128 points by vismit2000 about 1 month ago | 61 comments
28. The Lisp Machine: Your Next Step in Computing (www.symbolics.biz)
    33 points by yacin about 2 months ago | 1 comments
29. Genera Concepts [pdf] (worrydream.com)
    2 points by andsoitis over 1 year ago | discuss
30. SymbolicAI: A neuro-symbolic perspective on LLMs (github.com)
    224 points by futurisold about 1 year ago | 62 comments
31. Symbolica 2.0: Programmable Symbols for Python and Rust (symbolica.io)
    162 points by mmastrac 4 months ago | 29 comments
32. Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
    121 points by freediver over 1 year ago | 30 comments
33. The wire that transforms much of Manhattan into one big, symbolic home (2017) (www.atlasobscura.com)
    116 points by rmason over 1 year ago | 266 comments
34. NotaGen: Symbolic Music Generation (electricalexis.github.io)
    102 points by explosion-s over 1 year ago | 45 comments
35. An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (softwarepreservation.computerhistory.org)
    101 points by swatson741 11 months ago | 11 comments
36. Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
    81 points by philzook almost 2 years ago | 10 comments
37. Definite clause grammars and symbolic differentiation (bitsandtheorems.com)
    64 points by Knaapje over 1 year ago | 9 comments
38. Endorsing easily disproven claims linked to prioritizing symbolic strength (theconversation.com)
    62 points by Archelaos 11 months ago | 56 comments
39. Finding forall-exists Hyperbugs using Symbolic Execution (dl.acm.org)
    48 points by todsacerdoti 7 months ago | 2 comments
40. Pure-Python symbolic regression that rediscovered Kepler's law from 8 data point (github.com)
    44 points by sade_95 3 months ago | 25 comments
41. Show HN: SymDerive – A functional, stateless symbolic math library
    26 points by dinunnob 8 months ago | 14 comments
42. Migrating to Bazel symbolic macros (www.tweag.io)
    24 points by todsacerdoti 10 months ago | 11 comments
43. Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)
    23 points by galapago about 1 year ago | 6 comments
44. Symbolic Reference and Hardware Models in Python (tomverbeure.github.io)
    22 points by hasheddan over 1 year ago | discuss
45. The symbolism of the magnifying glass is not universal (devblogs.microsoft.com)
    19 points by ingve over 1 year ago | 6 comments
46. Hillock – Local neuro-symbolic memory engine running in <1.2GB VRAM (github.com)
    17 points by roandejager5 about 1 month ago | 4 comments
47. Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com)
    16 points by nsomani 9 months ago | 2 comments
48. AI Agents as Neuro-Symbolic Systems? [video] (www.youtube.com)
    16 points by anshulbhide almost 2 years ago | 1 comments