cd/sources/michielbdejong-auto-discovered· home› sources› Michielbdejong (auto-discovered)
cat /sources/michielbdejong-auto-discovered.feed | wc -l → 5132

Michielbdejong (auto-discovered)

articles 5132 domain github.com → page 117/257 feed RSS
21:35
2026-07-28
github.com
artificial-intelligence

Running Kimi K3 on a M1 Mac

Deltafin, a small research project, has successfully run the 2.8-trillion-parameter Kimi K3 Mixture-of-Experts model on a 64 GB M1 Max Mac at about 16 seconds per token, using a technique that streams…

21:02
2026-07-28
github.com
machine-learning

VRSE: Validated Regional Support Expansion for PyTorch

A new PyTorch research library called VRSE (Validated Regional Support Expansion) introduces a conservative form of online adaptation that separates learning from deployment permission, ensuring a sha…

20:53
2026-07-28
github.com
ai-safety

Show HN: Verifiable receipts for firmware CVE reproduction

Prevot released a tool that reproduces firmware vulnerabilities deterministically against digital twins and issues a signed, re-verifiable receipt, demonstrated with CVE-2018-19988 on the D-Link DIR-8…

20:52
2026-07-28
github.com
developer-tools

OpenAI just open-sourced Codex Security

OpenAI has open-sourced Codex Security, a CLI and TypeScript SDK for finding, validating, and reviewing security issues in code, now available on npm as @openai/codex-security. The tool supports macOS…

20:21
2026-07-28
github.com
developer-tools

Show HN: Learning Mode – Claude refuses to write code

A developer released Learning Mode, an agent-agnostic plugin for Claude Code and Codex that refuses to write code for the learner, instead forcing them to own the learning target through prediction, a…

18:23
2026-07-28
github.com
developer-tools

Show HN: Fastest non lossy JSON parser

Best JSON Formatter 0.2.0, a non-lossy JSON parser and formatter that preserves duplicate keys, integer precision, and exact token spelling, is the fastest fully lossless formatter in benchmarks, outp…

← prev page 117 / 257 next →