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. Symbolic derivatives and the rust rewrite of RE (iev.ee)
   12 points by todsacerdoti 21 days ago | 1 comments
2. Symbolic derivatives and the rust rewrite of RE (iev.ee)
   7 points by quasigloam 20 days ago | discuss
3. SymbolicAI: A Neuro-Symbolic Perspective on Large Language Models (extensityai.gitbook.io)
   4 points by sigalor 12 days ago | 1 comments
4. OpenMath: Ontology-Guided Neuro-Symbolic Inference (arxiv.org)
   3 points by marcelolabre 5 days ago | 1 comments
5. How the Mouth Became Symbolic (www.sciencedirect.com)
   2 points by XzetaU8 2 days ago | discuss
6. Reasoning Core: Procedural Data Generation Suite for Symbolic Pre-Training (arxiv.org)
   2 points by jean-porte 9 days ago | discuss
7. Equality Saturation and Symbolic Regression (egraphs.org)
   2 points by matt_d 9 days ago | discuss
8. Symbolic: US data centre construction matches office construction (www.threads.com)
   2 points by mariuz 12 days ago | discuss
9. Om Malik – Symbolic Capitalism (om.co)
   2 points by rmason 15 days ago | discuss
10. Building a symbolic math REPL in C (github.com)
    1 points by marcomit 5 days ago | 1 comments
11. Verify_before – pre-deployment verifiability analysis for neuro-symbolic AI (elliotfairbanksjunior.substack.com)
    1 points by MaybeGoodRoyal about 5 hours ago | discuss
12. Show HN: Deterministic symbolic memory layer for grounding LLMs (github.com)
    1 points by Th3Hypn0tist 27 days ago | discuss
13. Show HN: Interpreted Art – Explore Symbolism in the Arnolfini Portrait (interpreted.art)
    1 points by sailorganymede 27 days ago | discuss
14. Looking for Partner to Build Agent Memory (Zig/Erlang)
    7 points by kendallgclark 16 days ago | 10 comments
15. Show HN: Anchor Engine – Deterministic Semantic Memory for LLMs Local (<3GB RAM) (github.com)
    5 points by BERTmackl1n 22 days ago | 2 comments
16. Show HN: I Built a $1 Escalating Internet Billboard – Called Space (www.spacefilled.com)
    3 points by clarkage 29 days ago | 3 comments
17. Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning) (github.com)
    3 points by concode0 6 days ago | 1 comments
18. New Open Source from Non-Traditional Builder
    2 points by BrainDAnderson 7 days ago | 5 comments
19. Show HN: Elia – Governed hybrid architecture (LLM is capability, not authority) (github.com)
    2 points by JMC-FR 22 days ago | 1 comments
20. Nuvix – open-source BaaS with a query DSL more expressive than PostgREST
    2 points by ravikantsaini 23 days ago | discuss
21. Ask HN: Building a deterministic AI substrate on legacy hardware
    1 points by theantagonistai 4 days ago | 1 comments
22. Ask HN: Do you struggle analyzing large log files with AI due to token limits?
    1 points by DrTrader 16 days ago | 1 comments
23. Show HN: A Write Barrier That Blocks Structural Collapse in LLM Reasoning
    1 points by persistentVlad 25 days ago | 1 comments
24. New Open Source Release
    1 points by BrainDAnderson 10 days ago | discuss
25. Show HN: Elia – A governed cognitive architecture (Phase 0 live) (github.com)
    1 points by JMC-FR 11 days ago | discuss
26. Show HN: RedDragon, LLM-assisted IR analysis of code across languages (github.com)
    1 points by armorer 22 days ago | discuss
27. Ask HN: Why aren't we using "semantic tokenizers"/codebooks for text?
    1 points by gavinray 29 days ago | discuss
28. Day 1 of ARC-AGI-3 (www.symbolica.ai)
    90 points by lairv 2 days ago | 74 comments
29. Formal proof that a categorical phase-skip detector catches what CUSUM/GLR can't (www.academia.edu)
    1 points by nicbogaert 22 days ago | 1 comments
30. The Promises of 'High-Assurance' Cryptography (symbolic.software)
    1 points by PaulHoule 24 days ago | discuss