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. Parody Symbolics Lisp Machines software release (1982) (groups.google.com)
   31 points by gnodar 7 days ago | discuss
2. Symbolica 2.0: Programmable Symbols for Python and Rust (symbolica.io)
   162 points by mmastrac 22 days ago | 29 comments
3. Symbolicating a minified stack trace by hand: why source maps can't do it alone (tracewayapp.com)
   6 points by dusanstanojevic 18 days ago | discuss
4. Symbolica 2.0: programmable symbols for Python and Rust (symbolica.io)
   5 points by birdculture 21 days ago | 2 comments
5. Show HN: Wirewright, an experimental symbolic physics environment (github.com)
   4 points by homonoidian 6 days ago | discuss
6. My symbolic regression engine rediscovered Kepler's Third Law from raw data (github.com)
   3 points by sade_95 6 days ago | discuss
7. A New Symbolism for the Propositional Calculus (1954) [pdf] (www.nsl.com)
   3 points by tosh 18 days ago | discuss
8. EvoForest-WM: Discovered Neuro-Symbolic World Model for Multivariate Time-Series (gist.github.com)
   2 points by kayuksel 3 days ago | discuss
9. Is symbolic AI more relevant than ever? (www.heise.de)
   2 points by goloroden 17 days ago | discuss
10. Dao Heart 3.13 a symbolic safety layer for value drift and AI alignment research (github.com)
    2 points by Mankirat47 19 days ago | discuss
11. Symbolica: Computer Algebra Library (symbolica.io)
    2 points by gurjeet 21 days ago | discuss
12. Yon – a topos-oriented language with a content-addressed lattice heap (yon-lang.org)
    48 points by amenn 23 days ago | 80 comments
13. Ask HN: Why do AIs talk like this?
    3 points by keepamovin 20 days ago | 4 comments
14. A wild idea: Abstract reality using ontology
    3 points by shoushen 21 days ago | 1 comments
15. Responding to Plausibility of Alien Visitors
    1 points by dabadabad00 15 days ago | 3 comments
16. Japanese symbols that speak without words (arun.is)
    197 points by msephton 5 days ago | 133 comments
17. Chinese Models have an advantage because Chinese symbols convey more meaning (twitter.com)
    7 points by felixdoerp 3 days ago | discuss
18. The neural basis of thought symbols identified for the first time (www.rockefeller.edu)
    4 points by marc__1 18 days ago | discuss
19. Show HN: SnakeBaby – Cute symbols, bios, kaomoji, and username ideas (snakebaby.com)
    4 points by zylics 19 days ago | discuss
20. Why the NATO Logo Is One of the Most Recognizable Symbols in the World (detroitchinatown.org)
    2 points by Alifatisk 15 days ago | discuss
21. The Meaning of Symbols (www.artofuki.com)
    1 points by denysvitali 23 days ago | 1 comments
22. Show HN: perl-lsp – annotation free static analysis for Perl (github.com)
    3 points by rabbiveesh 4 days ago | 2 comments
23. Show HN: I built a keyboard with typing effects
    3 points by vitalipom 17 days ago | 2 comments
24. Show HN: TopoGlyph – an extensible language system for problem solving (github.com)
    2 points by zwyld 12 days ago | discuss
25. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo over 1 year ago | 99 comments
26. The Symbolics Genera Programming Environment (1987) (archive.org)
    48 points by mepian almost 2 years ago | 8 comments
27. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    29 points by zdw over 1 year ago | 2 comments
28. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
    24 points by mepian almost 2 years ago | 2 comments
29. Julia Symbolics (juliasymbolics.org)
    7 points by worldsayshi about 1 month ago | discuss
30. Symbolics S-Render manual (1985) (archive.org)
    5 points by mepian almost 2 years ago | discuss
31. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian almost 2 years ago | discuss
32. Symbolics S-Geometry manual (1988) (archive.org)
    1 points by mepian almost 2 years ago | discuss
33. If Emacs is not a text editor, then what is it really?
    5 points by hushangazar 12 months ago | 2 comments
34. Genera Concepts [pdf] (worrydream.com)
    2 points by andsoitis over 1 year ago | discuss
35. SymbolicAI: A neuro-symbolic perspective on LLMs (github.com)
    224 points by futurisold about 1 year ago | 62 comments
36. Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
    121 points by freediver about 1 year ago | 30 comments
37. The wire that transforms much of Manhattan into one big, symbolic home (2017) (www.atlasobscura.com)
    116 points by rmason about 1 year ago | 266 comments
38. NotaGen: Symbolic Music Generation (electricalexis.github.io)
    102 points by explosion-s over 1 year ago | 45 comments
39. An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (softwarepreservation.computerhistory.org)
    101 points by swatson741 8 months ago | 11 comments
40. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 almost 2 years ago | 19 comments
41. Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
    81 points by philzook over 1 year ago | 10 comments
42. Algorithms through the lens of symbolic pattern matching (symbolica.io)
    71 points by adamnemecek almost 2 years ago | 8 comments
43. Can Large Language Models Understand Symbolic Graphics Programs? (www.arxiv.org)
    70 points by belter almost 2 years ago | 59 comments
44. Rubi: Symbolic integrator based on an extensive system of integration rules (rulebasedintegration.org)
    70 points by ducktective almost 2 years ago | 26 comments
45. Definite clause grammars and symbolic differentiation (bitsandtheorems.com)
    64 points by Knaapje over 1 year ago | 9 comments
46. Endorsing easily disproven claims linked to prioritizing symbolic strength (theconversation.com)
    62 points by Archelaos 8 months ago | 56 comments
47. Finding forall-exists Hyperbugs using Symbolic Execution (dl.acm.org)
    48 points by todsacerdoti 4 months ago | 2 comments
48. Show HN: SymDerive – A functional, stateless symbolic math library
    26 points by dinunnob 5 months ago | 14 comments
49. Migrating to Bazel symbolic macros (www.tweag.io)
    24 points by todsacerdoti 7 months ago | 11 comments
50. Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)
    23 points by galapago 10 months ago | 6 comments
51. Symbolic Reference and Hardware Models in Python (tomverbeure.github.io)
    22 points by hasheddan over 1 year ago | discuss
52. The symbolism of the magnifying glass is not universal (devblogs.microsoft.com)
    19 points by ingve about 1 year ago | 6 comments
53. Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com)
    16 points by nsomani 6 months ago | 2 comments
54. AI Agents as Neuro-Symbolic Systems? [video] (www.youtube.com)
    16 points by anshulbhide over 1 year ago | 1 comments