Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: Replacing NotNull and Preconditions with fluent Java assertions
1 point
symplice
4 months ago
1 comment
2.
▲
Show HN: Replacing NotNull and Preconditions with fluent Java assertions
(github.com/Sympol)
2 points
symplice
4 months ago
discuss
3.
▲
Show HN: Replacing NotNull and Preconditions with fluent Java assertions
(github.com/Sympol)
1 point
symplice
4 months ago
discuss
4.
▲
Show HN: Symbolica – Try our symbolic code executor in the browser
45 points
Choc13
5 years ago
35 comments
5.
▲
Show HN: SymbolicAI
(github.com/Xpitfire)
26 points
futurisold
3 years ago
5 comments
6.
▲
Show HN: chart2txt, LLM-readable astrology charts
(chart2txt.com)
1 point
Nav_Panel
a year ago
discuss
7.
▲
Show HN: DIY LLM "infinite backrooms" in the browser
(backrooms.directory)
1 point
Nav_Panel
a year ago
discuss
8.
▲
SymbolicAI: A neuro-symbolic perspective on LLMs
(github.com/ExtensityAI)
224 points
futurisold
a year ago
62 comments
9.
▲
Symbolic Algebraic Library written entirely in C#
(github.com/ibluesun)
86 points
ahmgeek
9 years ago
26 comments
10.
▲
TellHN: My Weekend Project (GAE Reverse Caching Proxy)
(github.com/symkat)
30 points
symkat
16 years ago
7 comments
11.
▲
Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence
(github.com/neelsomani)
16 points
nsomani
5 months ago
2 comments
12.
▲
Symplex, an open-source protocol semantic negotiation between distributed agents
(github.com/olserra)
13 points
olserra
3 months ago
12 comments
13.
▲
Org-novelist: a system for writing novel-length fiction using Emacs Org Mode
(github.com/sympodius)
6 points
Amorymeltzer
3 years ago
3 comments
14.
▲
Deep Learning for Symbolic Mathematics
(github.com/facebookresearch)
6 points
alokrai
6 years ago
discuss
15.
▲
Show HN: Tool for typing special characters hassle-free
(github.com/alex028502)
4 points
alex028502
2 years ago
1 comment
16.
▲
Symplate, a very simple and very fast Python template language
(github.com/benhoyt)
4 points
benhoyt
14 years ago
discuss
17.
▲
Agentica TypeScript SDK
(github.com/symbolica-ai)
3 points
handfuloflight
6 months ago
discuss
18.
▲
Symbolverse – minimalistic symbolic term rewriting framework
(github.com/tearflake)
3 points
tearflake
a year ago
discuss
19.
▲
Symbolist: Engine for symbolic mathematics in Lisp-style S-exps in OCaml
(github.com/ruijiefang)
3 points
tosh
6 years ago
discuss
20.
▲
Symplex Protocol – semantic intent vectors for AI agent communication (Go, v0.1)
(github.com/olserra)
2 points
olserra
3 months ago
2 comments
21.
▲
Symboltz.jl
(github.com/hersle)
2 points
darboux
8 months ago
1 comment
22.
▲
SymbolCast – Symbol and Gesture Input Engine for Desktop and VR
(github.com/sefunmi4)
2 points
oluwaseunfunmi
a year ago
1 comment
23.
▲
SymbolicRegression.jl – High-Performance Symbolic Regression in Julia and Python
(github.com/MilesCranmer)
2 points
xgdgsc
3 years ago
1 comment
24.
▲
Symbolized RubyGem: HashWithIndifferentAccess, but keys are stored as symbols
(github.com/TamerShlash)
2 points
TamerShlash
11 years ago
discuss
25.
▲
Show HN: Tool to optimize keyboard layout by counting characters
(github.com/ogdakke)
2 points
ogdakke
9 months ago
discuss
26.
▲
SympleGit: Streamlining Java Git with AI for Smoother Development
(github.com/kawansoft)
2 points
ndepomereu
2 years ago
discuss
27.
▲
Symbolics.jl
(github.com/JuliaSymbolics)
2 points
tosh
2 years ago
discuss
28.
▲
Enclave: Command-line secure encrypted deniable cloud-synchronized notebook
(github.com/symbolicsoft)
2 points
dash2
2 years ago
discuss
29.
▲
Kyber-K2SO: Go Implementation of the Kyber v2 Post-Quantum KEM
(github.com/SymbolicSoft)
2 points
todsacerdoti
6 years ago
discuss
30.
▲
Show HN: Symposium – Discussion forum software made with React/Redux and Go
(github.com/jafarlihi)
2 points
jafarlihi
6 years ago
discuss
More