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. Show HN: SymDerive – A functional, stateless symbolic math library
   26 points by dinunnob 19 days ago | 14 comments
2. Finding forall-exists Hyperbugs using Symbolic Execution (dl.acm.org)
   3 points by todsacerdoti 3 days ago | discuss
3. Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com)
   2 points by aytuakarlar 10 days ago | 7 comments
4. ArXiv Endorsement for Paper on Neuro-Symbolic Architecture for Financial Agents
   2 points by shatzakis 9 days ago | 3 comments
5. Protos_OS – Bare_metal symbolic autonomy kernel – no_std Rust, solo build (www.jou-labs.com)
   2 points by jodytornado 3 days ago | 1 comments
6. CodeLogician: Neuro-symbolic reasoning for precise software analysis (arxiv.org)
   2 points by NTCTech 4 days ago | 1 comments
7. Symbolic Doomsday Clock moves closer to midnight amid 'catastrophic risks' (www.aljazeera.com)
   1 points by olalonde 22 days ago | 1 comments
8. Show HN: I just shipped the canonical neuro-symbolic control demo (github.com)
   1 points by anulum 1 day ago | discuss
9. Show HN: Using sound symbolism and multi-agent AI to generate brand names (vibelo.ai)
   1 points by leanzubrezki 17 days ago | discuss
10. Show HN: Build agents via YAML with Prolog validation and 110 built-in tools (fabceolin.github.io)
    11 points by fabceolin 28 days ago | 11 comments
11. Show HN: Bhagavan – a calm, approachable app for exploring Hinduism (www.bhagavan.io)
    5 points by AkhilSonthi 12 days ago | 2 comments
12. Read it as `ln (-s x) y`, not `(ln -s) (x y)`
    4 points by _as_text 24 days ago | 4 comments
13. Show HN: Not another sloppy memory tool (engram-fold.dev)
    3 points by hitchhiker999 3 days ago | discuss
14. Show HN: Code Scalpel – AST analyzer and security scanner (MCP server) (codescalpel.dev)
    2 points by digitalbyooki 1 day ago | discuss
15. Show HN: SC-NeuroCore – Rust neuromorphic compiler, 512× speedup (github.com)
    2 points by anulum 8 days ago | discuss
16. Show HN: SCPN Fusion Core – Tokamak plasma SIM and neuromorphic SNN control (github.com)
    2 points by anulum 8 days ago | discuss
17. Show HN: System to have Claude compose and perform a techno track end-to-end (github.com)
    2 points by digitcatphd 22 days ago | discuss
18. Show HN: Protogen – An Autopoietic Autonomous World Model (github.com)
    2 points by hiddenarchitect 24 days ago | discuss
19. Show HN: Building AGI as a systems problem, not a UI wrapper
    1 points by AISovereignDev 5 days ago | discuss
20. Show HN: ShapeGuard – Shape Contracts for NumPy and Jax
    1 points by jayendra13 11 days ago | discuss
21. Double Rootlessness: AI's Cognitive Illusion and Systemic Risk Amplification
    1 points by JanusPater 11 days ago | discuss
22. Show HN: Chippery, an OpenCode fork that (often) uses 20-40% fewer tokens (chippery.ai)
    1 points by pell 25 days ago | discuss
23. The Promises of 'High-Assurance' Cryptography (symbolic.software)
    4 points by todsacerdoti 15 days ago | discuss
24. SotA ARC-AGI-2 Results with REPL Agents (www.symbolica.ai)
    2 points by tosh 8 days ago | discuss
25. Show HN: HRML – A compiled web language. Three symbols, zero dependencies (hrml.dev)
    2 points by mendexio 6 days ago | 1 comments
26. Show HN: Click symbols in Claude Code to jump to definitions in VS Code (maaash.jp)
    1 points by maaashjp 12 days ago | discuss
27. 1,400-year-old Zapotec tomb in Mexico – owl sculpture symbolizing death (www.livescience.com)
    1 points by xbryanx 21 days ago | discuss
28. Show HN: CodeRLM – Tree-sitter-backed code indexing for LLM agents (github.com)
    80 points by jared_stewart 9 days ago | 37 comments
29. Show HN: Bubble sort on a Turing machine (github.com)
    12 points by purplejacket 6 days ago | 2 comments
30. Ask HN: Why dead code detection in Python is harder than most tools admit
    6 points by duriantaco 17 days ago | 2 comments