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. Symbolics Genera now available free for non-commercial use (inv-only early beta) (hachyderm.io)
   19 points by self 6 days ago | 2 comments
2. Symbolics Genera to be available under free for non-commercial use license (hachyderm.io)
   4 points by __lm__ 5 days ago | 2 comments
3. The Lisp Machine: Your Next Step in Computing (www.symbolics.biz)
   33 points by yacin 6 days ago | 1 comments
4. Show HN: Eight: a symbolic, indentation-based programming language (git.disroot.org)
   2 points by Vextoly 9 days ago | 1 comments
5. GPU Accelerated Genetic Programming for Symbolic Regression – Beagle Framework (arxiv.org)
   2 points by bane 9 days ago | discuss
6. Unified Neuro Symbolic Engine AGPL 3.0 (zenodo.org)
   1 points by hiddenarchitect 6 days ago | 1 comments
7. Senate of High Schoolers Pass Symbolic "Legislation" on Classroom AI Policy (www.npr.org)
   1 points by randusername 12 days ago | discuss
8. Show HN: Spur solver – Z3-backed model-finder solved values for coding agent (github.com)
   1 points by mf_kevintruong 16 days ago | discuss
9. Set Theory Symbols (www.rapidtables.com)
   2 points by marysminefnuf 8 days ago | discuss
10. Aisler Lovely Library – curated collection of electronic symbols and footprints (github.com)
    2 points by gregsadetsky 13 days ago | discuss
11. Symbols That Speak Color (colorsym.com)
    2 points by mooreds 14 days ago | discuss
12. Show HN: I can't seem to text properly on an iPhone, so I built my own keyboard
    3 points by tbensky 28 days ago | 1 comments
13. Show HN: JavaScript/JSON and CSS minifier lib in minimal C89 (fossil.wanderinghorse.net)
    3 points by sgbeal 15 days ago | discuss
14. Show HN: Popkorn – A CSS based alternative for Lottie animations (github.com)
    2 points by ayarseus 8 days ago | 2 comments
15. Show HN: FolderForge, open-source native macOS folder icon designer (github.com)
    2 points by keplsiv 2 days ago | discuss
16. Show HN: I built a zero-regex AI WAF (200MB VRAM). Please try to bypass it
    1 points by datatab 27 days ago | discuss
17. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    182 points by rcarmo almost 2 years ago | 99 comments
18. The Symbolics Genera Programming Environment (1987) (archive.org)
    48 points by mepian almost 2 years ago | 8 comments
19. Parody Symbolics Lisp Machines software release (1982) (groups.google.com)
    31 points by gnodar about 2 months ago | discuss
20. Refurb weekend: the Symbolics MacIvory Lisp machine I have hated (oldvcr.blogspot.com)
    29 points by zdw almost 2 years ago | 2 comments
21. The Symbolics Ivory Design and Verification Strategy (1987) (archive.org)
    24 points by mepian almost 2 years ago | 2 comments
22. Julia Symbolics (juliasymbolics.org)
    7 points by worldsayshi 3 months ago | discuss
23. Symbolics S-Dynamics manual (1985) (archive.org)
    3 points by mepian almost 2 years ago | discuss
24. Symbolics.com – Oldest.com Domain (www.symbolics.com)
    1 points by caminanteblanco about 1 month ago | discuss
25. Symbolics S-Geometry manual (1988) (archive.org)
    1 points by mepian almost 2 years 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. Genera Concepts [pdf] (worrydream.com)
    2 points by andsoitis over 1 year ago | discuss
28. SymbolicAI: A neuro-symbolic perspective on LLMs (github.com)
    224 points by futurisold about 1 year ago | 62 comments
29. Symbolica 2.0: Programmable Symbols for Python and Rust (symbolica.io)
    162 points by mmastrac 2 months ago | 29 comments
30. Adventures in Symbolic Algebra with Model Context Protocol (www.stephendiehl.com)
    121 points by freediver about 1 year ago | 30 comments
31. 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
32. NotaGen: Symbolic Music Generation (electricalexis.github.io)
    102 points by explosion-s over 1 year ago | 45 comments
33. An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (softwarepreservation.computerhistory.org)
    101 points by swatson741 9 months ago | 11 comments
34. KLEE Symbolic Execution Engine (github.com)
    88 points by nateb2022 almost 2 years ago | 19 comments
35. Symbolic Execution by Overloading __bool__ (www.philipzucker.com)
    81 points by philzook over 1 year ago | 10 comments
36. Algorithms through the lens of symbolic pattern matching (symbolica.io)
    71 points by adamnemecek almost 2 years ago | 8 comments
37. Can Large Language Models Understand Symbolic Graphics Programs? (www.arxiv.org)
    70 points by belter almost 2 years ago | 59 comments
38. Rubi: Symbolic integrator based on an extensive system of integration rules (rulebasedintegration.org)
    70 points by ducktective almost 2 years ago | 26 comments
39. Definite clause grammars and symbolic differentiation (bitsandtheorems.com)
    64 points by Knaapje over 1 year ago | 9 comments
40. Endorsing easily disproven claims linked to prioritizing symbolic strength (theconversation.com)
    62 points by Archelaos 10 months ago | 56 comments
41. Finding forall-exists Hyperbugs using Symbolic Execution (dl.acm.org)
    48 points by todsacerdoti 6 months ago | 2 comments
42. Pure-Python symbolic regression that rediscovered Kepler's law from 8 data point (github.com)
    44 points by sade_95 about 1 month ago | 25 comments
43. Show HN: SymDerive – A functional, stateless symbolic math library
    26 points by dinunnob 6 months ago | 14 comments
44. Migrating to Bazel symbolic macros (www.tweag.io)
    24 points by todsacerdoti 9 months ago | 11 comments
45. Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)
    23 points by galapago 12 months ago | 6 comments
46. Symbolic Reference and Hardware Models in Python (tomverbeure.github.io)
    22 points by hasheddan over 1 year ago | discuss