HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
151.
▲
SymReg: A Python Symbolic Regression Engine
github.com/danuker
discuss
5 years ago
optimalsolver
2 points
152.
▲
Vmlinux-to-elf: A RE tool to recover a .ELF with symbols from a raw kernel
github.com/marin-m
discuss
6 years ago
r0anne
2 points
153.
▲
Microsoft's Symbolic Plan
gist.github.com
discuss
15 years ago
dchest
2 points
154.
▲
Proposal to include Web syndication symbol, a.k.a. RSS icon, in Unicode (2016)
github.com/vhf
discuss
7 years ago
forgotmypw3
2 points
155.
▲
3D O-Symbols for KIDS orienteering maps
github.com/OpenOrienteering
discuss
7 years ago
app4soft
2 points
156.
▲
Sym: A Mathematica package for generating symbolic models from data
github.com/paulknysh
discuss
8 years ago
paulknysh
2 points
157.
▲
Sym: A Mathematica package for generating symbolic models from data
github.com/paulknysh
discuss
8 years ago
paulknysh
2 points
158.
▲
DeepState augments C/C++ test-driven development with symbolic execution
github.com/trailofbits
discuss
8 years ago
fanf2
2 points
159.
▲
Lambda symbol with css
github.com/nikumu
discuss
9 years ago
psychocat
2 points
160.
▲
How the Moneywagon project will handle the possibly new BTC ticker symbol
gist.github.com
discuss
9 years ago
freework
2 points
161.
▲
Symbolic regression: derive an expression from data
github.com/JonyEpsilon
discuss
9 years ago
usgroup
2 points
162.
▲
Symbolically Expressed Lambdas
github.com/dzautner
discuss
9 years ago
dzautner
2 points
163.
▲
Dress: add symbols back into a stripped ELF binary (~strip)
github.com/docileninja
discuss
9 years ago
scienceman
2 points
164.
▲
A Mathematica package for parallel symbolic regression using Monte Carlo
github.com/paulknysh
discuss
10 years ago
paulknysh
2 points
165.
▲
MPL – Computer Algebra and Symbolic Computation for R6RS Scheme
github.com/dharmatech
discuss
10 years ago
dTal
2 points
166.
▲
The K-Metallic Mirror: An Algebraic System and Its Foundational Symbolic Proofs
github.com/TristenHarr
4 comments
a year ago
tristenharr
1 points
167.
▲
Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent – OpenSource Demo
github.com/akarlaraytu
2 comments
9 months ago
aytuakarlar
1 points
168.
▲
Show HN: WinDbg Symbols Caching Proxy
github.com/nefarius
2 comments
3 years ago
Nefarius
1 points
169.
▲
Building a symbolic math REPL in C
github.com/marcomit
1 comment
3 months ago
marcomit
1 points
170.
▲
Marker – visualize Claude's symbol understanding
github.com/joshLong145
1 comment
5 months ago
joshLong145
1 points
171.
▲
What's the best way to benchmark neuro‑symbolic‑causal AI agents?
github.com/akarlaraytu
1 comment
9 months ago
aytuakarlar
1 points
172.
▲
Billiard Fractals from floor(k·√2) mod 2 – visualizing symbolic sequences
github.com/xcontcom
1 comment
a year ago
xcontcom
1 points
173.
▲
Neuro Symbolic AI with Quarkus and Drools
github.com/andrearaponi
1 comment
a year ago
andrearaponi12
1 points
174.
▲
Fexl meta-parsing and symbol resolution radically simplified.
github.com/chkoreff
1 comment
14 years ago
fexl
1 points
175.
▲
A tiny Turing Machine in C for 2-symbols Busy Beavers
gist.github.com
1 comment
3 years ago
beefburger
1 points
176.
▲
Symbolic math scripting with Java JShell
github.com/axkr
1 comment
8 years ago
axelclk
1 points
177.
▲
Undocumented feature of Swift: using math symbols in custom operators
gist.github.com
discuss
12 years ago
blacktulip
1 points
178.
▲
LaTeX: dataref -- reference symbolic data points
github.com/stettberger
discuss
12 years ago
stettberger
1 points
179.
▲
Show HN: I just shipped the canonical neuro-symbolic control demo
github.com/anulum
discuss
4 months ago
anulum
1 points
180.
▲
Show HN: G – A fast, memory-safe language with a symbol-free syntax
github.com/pouyathe
discuss
5 months ago
_pouya_
1 points
More