Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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