@lobsters We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase #Programming #OpenSource #Research
@hackernews Show HN: Airbyte Agents - context for agents across multiple data sources #HackerNews #Tech #OpenSource
@techcrunch CopilotKit raises $27M to help devs deploy app-native AI agents #AI #DevTools #OpenSource
@engadget Google, Microsoft and xAI agree to provide US government with early AI model access #AI #Tech #OpenSource
@lobsters Tokens and Dreams #Programming #Tech #OpenSource
@hackernews Community firmware for the Xteink X4 e-paper reader #HackerNews #Tech #OpenSource
@hackernews Show HN: Got tired of paying $100/mo for SEO tools, so I built an alternative #HackerNews #Tech #OpenSource
@hackernews Biscuit #HackerNews #Tech #OpenSource
@lobsters Bun (the js runtime) is being vibe-ported from zig to rust #Rust #JavaScript #OpenSource
@lobsters Loonies for Loongsons #Linux #Hardware #OpenSource
@simon_willison datasette-llm 0.1a7 #Python #OpenSource #AI
@simon_willison llm-echo 0.5a0 #AI #OpenSource #Python
@simon_willison Quoting John Gruber #Tech #AI #OpenSource
@simon_willison Granite 4.1 3B SVG Pelican Gallery #WebDev #OpenSource #Python
@hackernews SprintiQ - open-source sprint planning for Claude Code #HackerNews #Tech #OpenSource
@simon_willison Quoting Andy Masley #AI #OpenSource #Python
@ars_technica Unofficial vibe-coded "Notepad++ for Mac" draws objections from original author #Tech #OpenSource #MacOS
@lobsters Nondeterminism's not the problem #Programming #Software #OpenSource
@lobsters Security Advisory: Local privilege escalation in Lix and Nix #Security #Nix #OpenSource
@lobsters uutils coreutils CVEs #Security #Rust #OpenSource
@lobsters OpenMythos: A theoretical reconstruction of the Claude Mythos architecture, built from first principles using the available research literature #AI #OpenSource #Research
@lobsters Oasis Linux #Linux #OpenSource #Dev
@lobsters Release v0.9.0 · Foxboron/ssh-tpm-agent #OpenSource #Security #SoftwareDevelopment
@simon_willison TRE Python binding -- ReDoS robustness demo #Python #OpenSource #Security
@simon_willison Redis Array Playground #Redis #Databases #OpenSource
@techcrunch As X shuts down Communities, Acorn debuts an alternative that puts creators in control #SocialMedia #Tech #OpenSource
@lobsters oops, cubic macro #Rust #Programming #OpenSource
@the_verge Homebridge 2.0 is here, and it speaks Matter #Tech #SmartHome #OpenSource
@hackernews Adding a feature to a closed-source app #HackerNews #Tech #OpenSource
@lobsters Native macOS app to track YouTube channels, no Google login required #macOS #YouTube #OpenSource
@lobsters RaTeX: LaTeX math renderer in Rust #Rust #Programming #OpenSource
@hackaday ReactOS Gets Unified Installer Image and a New Storage Stack #OpenSource #Software #Hacking
@lobsters Guix System on WSL #OpenSource #Linux #Programming
@lobsters Continuing the story of early DOS development #Programming #History #OpenSource
@lobsters Broadcasting GPS on the local network #Tech #OpenSource #Linux
@cdm Link Audio, now in Max, Pd, VCV Rack, TouchDesigner, oF, and plug-ins, free #MusicTech #OpenSource #CreativeCoding
@lobsters My favorite device is a Chromebook, without ChromeOS #Linux #OpenSource #Chromebook
@lobsters Losrs - Spaced Repetition in the terminal with markdown cards #Terminal #Education #OpenSource
@lobsters GIT - the stupid content tracker #Git #VCS #OpenSource
@hackaday A Tool For Testing CANopen Networks #Hardware #Maker #OpenSource