Search: github.com/yconst | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

Show HN: db_leftovers: Better Indexes and Constraints for Rails

github.com/pjungwir

14 years ago

2 points

332.

Show HN: BPR – deriving 87 physical constants from 2 integers (MIT, 1,225 tests)

github.com/jackalkahwati

2 months ago

2 points

333.

Show HN: Type-level Fibonacci with a while loop in stable Rust (no const)

gist.github.com

2 months ago

2 points

334.

Show HN: Aurea v0.4, image codec where every constants derive from pi and phi

github.com/5ymph0en1x

3 months ago

2 points

335.

Show HN: Open-source CLIs for Procore and EagleView (construction software APIs)

3 months ago

2 points

336.

Show HN: Javascript constructor overloading

gist.github.com

14 years ago

2 points

337.

Show HN: Design is Code – UML to TDD tests that constrain AI code generation

mossgreen.github.io

4 months ago

2 points

338.

Show HN: Catelingo – Constraint-Based Semantic Validity Checker for LLM Outputs

github.com/ShinobuMiya

6 months ago

2 points

339.

Show HN: Dssrf – A safe‑by‑construction SSRF defense library for Node.js

6 months ago

2 points

340.

MCP-Scan: Constrain, log and scan your MCP server for security vulnerabilities

github.com/invariantlabs-ai

8 months ago

2 points

341.

{fmt} v12: 60% faster double formatting, full constexpr, and C++ 20 modules

github.com/fmtlib

9 months ago

2 points

342.

Show HN: Constructive Solid Geometry with Python in the browser

arbitrandomuser.github.io

10 months ago

arbitrandomuser

2 points

343.

A MCP server for solving optimization problems with constraints

github.com/sdiehl

a year ago

2 points

344.

mcp-scan: Constrain, log and scan MCP traffic for security vulnerabilities

github.com/invariantlabs-ai

a year ago

2 points

345.

Constrained Random Walks

github.com/ivanbelenky

a year ago

2 points

346.

mcp-solver: MCP server for constraint optimization and solving

github.com/szeider

a year ago

2 points

347.

DeepDive: In-Depth Decryption of LLMs Construction and Inference from Scratch

github.com/therealoliver

a year ago

2 points

348.

Show HN: Autoload PHP Constants via Composer

github.com/nickolasburr

a year ago

2 points

349.

Eurionize: Add the "EURion constellation" mark to an arbitrary document

github.com/ukscone

2 years ago

2 points

350.

Simplify construction of std:time:Durations

github.com/theduke

2 years ago

2 points

351.

Show HN: Eloquent – simplify SQL query construction in Rust

github.com/tjardoo

2 years ago

2 points

352.

Haberdashery, high-performance constant-time implementation crypto algorithms

github.com/facebookincubator

2 years ago

2 points

353.

Glyphs-generator: glyph generation tool with geometric constraints

github.com/v4nn4

2 years ago

2 points

354.

Window: Constant-Time Live Grep

github.com/matklad

2 years ago

2 points

355.

A 99th percentile hockey pool builder using a constraint solver

gist.github.com

3 years ago

2 points

356.

Show HN: Static_str_ops: &'static str and non-const operations in Rust

github.com/unsafecoerce

3 years ago

2 points

357.

Clownfish: Constrained Decoding for LLMs Against JSON Schema

github.com/newhouseb

3 years ago

2 points

358.

Show HN: Gradient-Free-Optimizers supports constrained optimization in v1.3

github.com/SimonBlanke

3 years ago

2 points

359.

Jelly: A JavaScript static analytic for call graph construction

github.com/cs-au-dk

3 years ago

2 points

360.

DreamArtist: Stable Diffusion with Constrastive Prompt Tuning

github.com/7eu7d7

4 years ago

2 points