Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
151.
▲
Lambda symbol with css
(github.com/nikumu)
2 points
psychocat
9 years ago
discuss
152.
▲
How the Moneywagon project will handle the possibly new BTC ticker symbol
(gist.github.com)
2 points
freework
9 years ago
discuss
153.
▲
Symbolic regression: derive an expression from data
(github.com/JonyEpsilon)
2 points
usgroup
9 years ago
discuss
154.
▲
Symbolically Expressed Lambdas
(github.com/dzautner)
2 points
dzautner
9 years ago
discuss
155.
▲
Dress: add symbols back into a stripped ELF binary (~strip)
(github.com/docileninja)
2 points
scienceman
9 years ago
discuss
156.
▲
A Mathematica package for parallel symbolic regression using Monte Carlo
(github.com/paulknysh)
2 points
paulknysh
10 years ago
discuss
157.
▲
MPL – Computer Algebra and Symbolic Computation for R6RS Scheme
(github.com/dharmatech)
2 points
dTal
10 years ago
discuss
158.
▲
The K-Metallic Mirror: An Algebraic System and Its Foundational Symbolic Proofs
(github.com/TristenHarr)
1 point
tristenharr
a year ago
4 comments
159.
▲
Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent – OpenSource Demo
(github.com/akarlaraytu)
1 point
aytuakarlar
9 months ago
2 comments
160.
▲
Show HN: WinDbg Symbols Caching Proxy
(github.com/nefarius)
1 point
Nefarius
3 years ago
2 comments
161.
▲
Building a symbolic math REPL in C
(github.com/marcomit)
1 point
marcomit
2 months ago
1 comment
162.
▲
Marker – visualize Claude's symbol understanding
(github.com/joshLong145)
1 point
joshLong145
4 months ago
1 comment
163.
▲
What's the best way to benchmark neuro‑symbolic‑causal AI agents?
(github.com/akarlaraytu)
1 point
aytuakarlar
9 months ago
1 comment
164.
▲
Billiard Fractals from floor(k·√2) mod 2 – visualizing symbolic sequences
(github.com/xcontcom)
1 point
xcontcom
a year ago
1 comment
165.
▲
Neuro Symbolic AI with Quarkus and Drools
(github.com/andrearaponi)
1 point
andrearaponi12
a year ago
1 comment
166.
▲
Fexl meta-parsing and symbol resolution radically simplified.
(github.com/chkoreff)
1 point
fexl
14 years ago
1 comment
167.
▲
A tiny Turing Machine in C for 2-symbols Busy Beavers
(gist.github.com)
1 point
beefburger
3 years ago
1 comment
168.
▲
Symbolic math scripting with Java JShell
(github.com/axkr)
1 point
axelclk
8 years ago
1 comment
169.
▲
Undocumented feature of Swift: using math symbols in custom operators
(gist.github.com)
1 point
blacktulip
12 years ago
discuss
170.
▲
LaTeX: dataref -- reference symbolic data points
(github.com/stettberger)
1 point
stettberger
12 years ago
discuss
171.
▲
Show HN: I just shipped the canonical neuro-symbolic control demo
(github.com/anulum)
1 point
anulum
4 months ago
discuss
172.
▲
Show HN: G – A fast, memory-safe language with a symbol-free syntax
(github.com/pouyathe)
1 point
_pouya_
4 months ago
discuss
173.
▲
Show HN: A neuro-symbolic manufacturing engine built in 1 week with Gemini 3.0
(github.com/globalhawk04)
1 point
knightbat2004
6 months ago
discuss
174.
▲
I removed the disgusting symbol stacks from Fexl.
(github.com/chkoreff)
1 point
fexl
14 years ago
discuss
175.
▲
Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
(github.com/sileod)
1 point
dmnsl
8 months ago
discuss
176.
▲
Show HN: symtree - Mirrored Folder Structure with Symbolic Linked Files
(github.com/kaelspencer)
1 point
kaelspencer
14 years ago
discuss
177.
▲
Show HN: EIRA-KEM – a symbolic post-quantum KEM for academic testing
(github.com/CarlosStx99)
1 point
CarSan99
10 months ago
discuss
178.
▲
Built a Symbolic System to Control and Audit GPT Interactions
1 point
wk-al
a year ago
discuss
179.
▲
SEninja: Symbolic execution plugin for Binary Ninja
(github.com/borzacchiello)
1 point
fanf2
a year ago
discuss
180.
▲
Holis: A vector-symbolic implementation of a Lisp interpreter
(github.com/eilene-ftf)
1 point
peebz
2 years ago
discuss
More