Search: github.com/symblai | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Deep Symbolic Optimization (github.com/dso-org)

2 points

2 years ago

62.

Symlinks in GitHub's gh-pages (github.com/Sidnicious)

1 point

12 years ago

63.

Star Browser – A Qt-Based Browser for Symbian Belle (github.com/Allstar12345)

1 point

5 years ago

64.

Show HN: Not another sloppy memory tool (engram-fold.dev)

3 points

4 months ago

65.

NS Basic for Symbian OS (github.com/nsbasic-archive)

1 point

5 years ago

66.

Show HN: PuffinBASIC – A cross-platform modern BASIC interpreter written in Java

36 points

6 years ago

67.

Show HN: boxxy – Control where Linux programs put files, without symlinks (github.com/queer)

384 points

3 years ago

68.

GitHub Actions checkspelling community workflow GitHub_TOKEN leakage via symlink (github.com/justinsteven)

129 points

5 years ago

69.

Show HN: SymForce – Fast symbolic computation, code generation, and optimization (github.com/symforce-org)

125 points

4 years ago

70.

KLEE Symbolic Execution Engine (github.com/klee)

88 points

2 years ago

71.

Solving a physics problem symbolically with C# (gist.github.com)

87 points

11 years ago

72.

Blender for Symbian OS (github.com/Dante-Leoncini)

81 points

3 years ago

73.

Symbolic Exploit Assistant (SEA) (github.com/neuromancer)

73 points

13 years ago

74.

Show HN: VirtualStorageLibrary – .NET Tree solutions for items, dirs, symlinks (shimodateakira.github.io)

63 points

2 years ago

75.

Claude Code CVE-2026-39861:sandbox escape via symlink (github.com/advisories)

51 points

a month ago

76.

Music Composition System for Symbian S60 (github.com/chainjazz)

35 points

5 years ago

77.

I'm 16 and Trying to Save Coral Reefs with Open-Source Symbiotic Biotech

35 points

a year ago

78.

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

26 points

4 months ago

79.

Show HN: Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types (github.com/breandan)

15 points

5 years ago

80.

File deduplication in node.js; reduce your disk usage with symlinks (github.com/nodesocket)

14 points

15 years ago

81.

Show HN: NeatShift – Organize Windows files with symbolic links (github.com/BytexGrid)

13 points

a year ago

82.

Hybrid Concrete/Symbolic Testing (gist.github.com)

13 points

4 years ago

83.

Symbolic Computer algebra systems/libraries (github.com/topics)

12 points

2 years ago

84.

I beat Grok 4 on ARC-AGI-2 using a CPU-only symbolic engine (18.1% score) (github.com/Ag3497120)

11 points

3 months ago

85.

Facebook's iOS crash symbolization tool for Linux (github.com/facebook)

11 points

13 years ago

86.

Show HN: flinck.py, neatly organize your movies using symlinks (github.com/Kraymer)

10 points

10 years ago

87.

Show HN: A way to manage dotfiles without silly symlinks and special tools (gist.github.com)

8 points

10 years ago

88.

Seer: Symbolic Execution Engine for Rust (github.com/dwrensha)

7 points

9 years ago

89.

Solving a basic college-physics problem symbolically with C# (gist.github.com)

6 points

11 years ago

90.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com/adamrybinski)

6 points

7 months ago