Search: github.com/saket | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

I ran 3,360 safety tests on GPT-4o, Claude, Grok, DeepSeek, Gemini

github.com/aestrad7

3 months ago

4 points

242.

Total languages do not escape the halting problem – a trinary proof sketch

github.com/HowWeLand

4 months ago

4 points

243.

Show HN:Free Play Store Data Safety Report Generator

github.com/Privado-Inc

4 years ago

4 points

244.

Experimenting with Bluetooth to revolutionise safety for cyclists

github.com/robinhayward

10 years ago

4 points

245.

Rudra: Rust Memory Safety and Undefined Behavior Detection

github.com/sslab-gatech

5 years ago

4 points

246.

Show HN: Plan-linter – pre-flight safety checker for AI agent plans

github.com/cirbuk

a year ago

4 points

247.

The Fil-C Manifesto: Garbage In, Memory Safety Out

github.com/pizlonator

a year ago

4 points

248.

Swift: Improving the approachability of data-race safety

github.com/hborla

2 years ago

4 points

249.

Show HN: Sketch Comedy Database

2 years ago

4 points

250.

MicroG 0.2.23 reintroduces support for SafetyNet

github.com/microg

4 years ago

4 points

251.

RoughViz: JavaScript library for creating sketchy/hand-drawn styled charts

github.com/jwilber

5 years ago

4 points

252.

Rudra, Rust Memory Safety and Undefined Behavior Detection

github.com/sslab-gatech

5 years ago

4 points

253.

Show HN: Ruby gem to test objects for thread-safety

github.com/yegor256

7 years ago

4 points

254.

C++ Lifetime safety: Preventing common dangling [pdf]

github.com/isocpp

8 years ago

4 points

255.

Generate masterpieces from MS Paint sketches with semantic style transfer

github.com/alexjc

10 years ago

4 points

256.

Count-Min-Log sketch: Approximately counting with approximate counters

github.com/seiflotfy

11 years ago

4 points

257.

Show HN: Safety layer between AI agents and databases

github.com/fazhq

2 months ago

3 points

258.

TigerLab – open-source LLM toolkit (RAG, FineTune, AI safety)

github.com/tigerlab-ai

3 years ago

3 points

259.

Show HN: AvaKill – Deterministic safety firewall for AI agents (<1ms, no ML)

github.com/log-bell

4 months ago

3 points

260.

Show HN: BlockDL – A FOSS neural net sketchpad with shape checking and live code

a year ago

3 points

261.

Show HN: Elelem – TypeScript LLMs with tracing, retries, and type safety

github.com/jrhizor

3 years ago

3 points

262.

Trader – LLM agent for Robinhood with a Rust safety layer and paper trading

github.com/zhangxd6

20 days ago

3 points

263.

Sync your Repos to Gitlab for safety

github.com/scienmanas

10 months ago

3 points

264.

Critical safety flaw found in Rust on Windows (CVE-2024-24576)

github.com/rust-lang

2 years ago

3 points

265.

From hand-drawn sketches to editable diagrams

github.com/orgs

3 years ago

3 points

266.

Sketch based modeling and animation tool from Google

github.com/google

5 years ago

3 points

267.

Show HN: CSS Houdini Paint Worklets to add sketchy styling to elements using CSS

github.com/pshihn

8 years ago

3 points

268.

Generate Animated GIFs with Sketch.app

github.com/NathanRutzky

12 years ago

3 points

269.

Virtual whiteboard for sketching hand-drawn like diagrams

github.com/excalidraw

3 days ago

3 points

270.

AI CostGuard – Local-first runtime safety layer for AI agents

github.com/salimassili62-afk

15 days ago

3 points