Hackernews posts about Symbolics

1. 01
   

   newGenera for the Initiated: Inside Symbolics Lisp Machines [video]www.youtube.com

   ▲ 4matt_d21ddiscusssavesaved
2. 02
   

   newGenera for the Initiated: Inside Symbolics Lisp Machines [video]www.youtube.com

   ▲ 3dverlaeckt8019ddiscusssavesaved
3. 03
   

   newSymbolic Learning in Python and Juliagithub.com

   ▲ 83alex_hirner20d💬 23savesaved
4. 04
   

   newTrademarks and Symbols, Volume 2: Symbolical Designs (1973)www.symbools.com

   ▲ 26NaOH9d💬 6savesaved
5. 05
   

   newNeuro-Symbolic AIen.wikipedia.org

   ▲ 4modinfo23ddiscusssavesaved
6. 06
   

   newThe Obituary Cocktail: The 'deadly' drink that symbolises New Orleanswww.bbc.com

   ▲ 3rmason19d💬 1savesaved
7. 07
   

   newDecomposer: Decompile Symbolic Music to Programsgithub.com

   ▲ 3modinfo18ddiscusssavesaved
8. 08
   

   newTR-Core – A non-neural symbolic AI architecture built in pure Pythongithub.com

   ▲ 2Mr_Mardon25ddiscusssavesaved
9. 09
   

   newWhy it is foolish to think AI can't write like humans

   ▲ 2nitishr14d💬 3savesaved
10. 10
    

    newStar Is About to Explode – Sixty Symbols [video]www.youtube.com

    ▲ 2DoctorOetker26d💬 2savesaved
11. 11
    

    newSymbools: An archive of symbols, marks, and visual identitieswww.symbools.com

    ▲ 2eustoria16ddiscusssavesaved
12. 12
    

    newShow HN: I Cut my Agent Tokens By 50%

    ▲ 6iohotspot29d💬 6savesaved
13. 13
    

    newShow HN: MegaKey (standardization and extension of the Hyper and Meh keys)leftium.github.io

    ▲ 2Leftium17ddiscusssavesaved
14. 14
    

    newShow HN: CxxDox, a mkdocs plugin for complex C++ projectsgithub.com

    ▲ 2danlcaza18ddiscusssavesaved
15. 15
    

    newShow HN: Notes on Watchmen – A page-by-page exploration of the graphic novelnotesonwatchmen.com

    ▲ 1LiteUser7ddiscusssavesaved
16. 16
    

    newAssure – formal verification for every PRsymbolia.ai

    ▲ 2Veloc1te17ddiscusssavesaved
17. 17
    

    newParody Symbolics Lisp Machines software release (1982)groups.google.com

    ▲ 31gnodar141ddiscusssavesaved
18. 18
    

    newSymbolics Genera now available free for non-commercial use (inv-only early beta)hachyderm.io

    ▲ 19self95d💬 2savesaved
19. 19
    

    newJulia Symbolicsjuliasymbolics.org

    ▲ 7worldsayshi179ddiscusssavesaved
20. 20
    

    newSymbolics Genera to be available under free for non-commercial use licensehachyderm.io

    ▲ 4__lm__95d💬 2savesaved
21. 21
    

    newSymbolics.com – Oldest.com Domainwww.symbolics.com

    ▲ 1caminanteblanco130ddiscusssavesaved
22. 22
    

    newIf Emacs is not a text editor, then what is it really?

    ▲ 5hushangazar493d💬 2savesaved
23. 23
    

    newAutolith: A programming agent with a live runtimewww.lambda-symbolics.com

    ▲ 128vismit200081d💬 61savesaved
24. 24
    

    newThe Lisp Machine: Your Next Step in Computingwww.symbolics.biz

    ▲ 33yacin96d💬 1savesaved
25. 25
    

    newAutolith: A self-modifiable general purpose Lisp AI agentgithub.com

    ▲ 28long____cat34ddiscusssavesaved
26. 26
    

    newGenera Concepts [pdf]worrydream.com

    ▲ 2andsoitis593ddiscusssavesaved
27. 27
    

    newThe Emergent Symbolic Structure of Artificial Neural Networksarxiv.org

    ▲ 297schmuhblaster68d💬 110savesaved
28. 28
    

    newSymbolicAI: A neuro-symbolic perspective on LLMsgithub.com

    ▲ 224futurisold500d💬 62savesaved
29. 29
    

    newSymbolica 2.0: Programmable Symbols for Python and Rustsymbolica.io

    ▲ 162mmastrac157d💬 29savesaved
30. 30
    

    newAdventures in Symbolic Algebra with Model Context Protocolwww.stephendiehl.com

    ▲ 121freediver536d💬 30savesaved
31. 31
    

    newThe wire that transforms much of Manhattan into one big, symbolic home (2017)www.atlasobscura.com

    ▲ 116rmason519d💬 266savesaved
32. 32
    

    newYuE2 · Frontier Music with Symbolic Planningmap-yue2.github.io

    ▲ 109sexy_seedbox59d💬 101savesaved
33. 33
    

    newNotaGen: Symbolic Music Generationelectricalexis.github.io

    ▲ 102explosion-s596d💬 45savesaved
34. 34
    

    newAn Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]softwarepreservation.computerhistory.org

    ▲ 101swatson741366d💬 11savesaved
35. 35
    

    newSymbolic Execution by Overloading __bool__www.philipzucker.com

    ▲ 81philzook685d💬 10savesaved
36. 36
    

    newDefinite clause grammars and symbolic differentiationbitsandtheorems.com

    ▲ 64Knaapje610d💬 9savesaved
37. 37
    

    newEndorsing easily disproven claims linked to prioritizing symbolic strengththeconversation.com

    ▲ 62Archelaos388d💬 56savesaved
38. 38
    

    newFinding forall-exists Hyperbugs using Symbolic Executiondl.acm.org

    ▲ 48todsacerdoti265d💬 2savesaved
39. 39
    

    newPure-Python symbolic regression that rediscovered Kepler's law from 8 data pointgithub.com

    ▲ 44sade_95130d💬 25savesaved
40. 40
    

    newShow HN: SymDerive – A functional, stateless symbolic math library

    ▲ 26dinunnob281d💬 14savesaved
41. 41
    

    newMigrating to Bazel symbolic macroswww.tweag.io

    ▲ 24todsacerdoti352d💬 11savesaved
42. 42
    

    newEchidna Enters a New Era of Symbolic Executiongustavo-grieco.github.io

    ▲ 23galapago446d💬 6savesaved
43. 43
    

    newSymbolic Reference and Hardware Models in Pythontomverbeure.github.io

    ▲ 22hasheddan681ddiscusssavesaved
44. 44
    

    newThe symbolism of the magnifying glass is not universaldevblogs.microsoft.com

    ▲ 19ingve524d💬 6savesaved
45. 45
    

    newHillock – Local neuro-symbolic memory engine running in <1.2GB VRAMgithub.com

    ▲ 17roandejager588d💬 4savesaved
46. 46
    

    newShow HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalencegithub.com

    ▲ 16nsomani307d💬 2savesaved

· edit