Search: github.com/saket | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Scala 3 (aka Dotty) type-safety not implied by the DOT calculus, after all (github.com/lampepfl)

2 points

10 years ago

302.

A brief introduction to C++’s model for type and resource safety (github.com/isocpp)

2 points

11 years ago

303.

SketchApp PlugIn – Send-to-Slack (github.com/shahruz)

2 points

digitalwaveride

12 years ago

304.

Teehan+Lax UI kit, made for iOS 8 and Sketch 3.1 (github.com/rafaelconde)

2 points

12 years ago

305.

Use Sketch.app for generating .icns files (github.com/NathanRutzky)

2 points

12 years ago

306.

Rpbundle – bundler for ruby-processing sketches (github.com/code-mancers)

2 points

12 years ago

307.

Watch out for sketchy paint apps on the Mac App Store (gist.github.com)

2 points

13 years ago

308.

Show HN: Simple sketch-based image search engine written in C++ and JS (video) (github.com/dvx)

2 points

13 years ago

309.

Safety‑First AI Architecture (github.com/ElviCore)

2 points

23 days ago

310.

Show HN: MicroSafe-RL – Sub-microsecond safety layer for Edge AI 1.18µs latency (github.com/Kretski)

2 points

2 months ago

311.

Show HN: Agent Action Guard – AI agent action safety

2 points

2 months ago

312.

Show HN: Zora, AI agent with compaction-proof memory and a runtime safety layer (github.com/ryaker)

2 points

3 months ago

313.

Show HN: Sandclaw – A Safety First Agent (github.com/qix)

2 points

3 months ago

314.

Ask HN: Do LLM agents need a separate safety layer?

2 points

4 months ago

315.

Make Trust Irrelevant: A Gamer's Take on Agentic AI Safety (github.com/Deso-PK)

2 points

4 months ago

316.

Show HN: Standardized robot brain with hardware safety – 10 patents in 4 days

2 points

4 months ago

317.

Show HN: Agent OS – 0% Safety Violations for AI Agents (github.com/imran-siddique)

2 points

4 months ago

318.

Show HN: Soppo – A Golang superset that adds enums, pattern matching, nil safety (github.com/halcyonnouveau)

2 points

6 months ago

319.

Show HN: Soppo – A Golang superset that adds enums, pattern matching, nil safety (github.com/halcyonnouveau)

2 points

6 months ago

320.

Show HN: Brainstormer – AI copilot that sketches with you on Excalidraw (github.com/shivangdoshi07)

2 points

9 months ago

321.

Explainer for the Prompt API: design sketch by the Chrome built-in AI team (github.com/webmachinelearning)

2 points

10 months ago

322.

Show HN: Reno, React and Vite and Hono Starter with Auth and E2E Type Safety (github.com/reno-stack)

2 points

a year ago

323.

Show HN: Obelisq – load .env variables into process.env and get type-safety (github.com/carlos-menezes)

2 points

a year ago

324.

C++ Memory safety (memsafe) single-header library (github.com/rsashka)

2 points

a year ago

325.

Show HN: Structx – Extract structured data from text with LLMs and type safety (github.com/Blacksuan19)

2 points

a year ago

326.

Show HN: Yet another memory allocator – affordable safety (github.com/jorisgeer)

2 points

a year ago

327.

Launching kubesafe: Your safety net for managing multiple Kubernetes clusters (github.com/Telemaco019)

2 points

2 years ago

328.

The Fil-C Manifesto: Garbage In, Memory Safety Out (github.com/pizlonator)

2 points

2 years ago

329.

CachewDB – A caching database just for the sake of the name (github.com/theopfr)

2 points

2 years ago

330.

Tectonics 2023 Conference Keynote: The time is now – practical mem safety [pdf] (github.com/dwizzzle)

2 points

3 years ago