🔓 Open Source Software - matmat · Scour

lean-phys-community/PhysLean: A project to digitalise results from physics into Lean.

github.com·12h·

Discuss: Hacker News

jacobbergdahl/artemis-slides: Bring your own templates and generate presentation slides using AI.

github.com·11h·

Discuss: Hacker News

🏛Digital humanities

[Dev Weekly #97] Astro is 39% More Loved Than Next.js, Claude 4.6 + GPT-5.3 Codex Just Dropped, and more

blog.codeminer42.com·4d

🔄Language Evolution

Creating and Hosting a Static Website on Cloudflare for Free

benjaminsmallwood.com·3d·

Discuss: Hacker News

🕸️WebAssembly

Run Node.js, Next.js, and Express in the Browser

almostnode.dev·3d·

Discuss: Hacker News

🌐Web Standards

"Work has started" on native Linux support for GOG Galaxy, co-founder says they're "a big fan of Linux"

pcguide.com·4d·

Discuss: r/linux

🔌Operating system internals

Offline-First Database with Cloud Sync, Collaboration & Real-Time Updates

dexie.org·5d

🔌Offline-first Apps

Fear and Loathing in the App Stores

appfair.org·4d·

Discuss: Hacker News

🔌Operating system internals

How to make a local open source AI chatbot who has access to Fedora documentation

fedoramagazine.org·4d·

Discuss: fedoramagazine.org, Hacker News

🏛️OAIS Implementation

VS Code config files abused to launch RCEs via GitHub Codespaces

scworld.com·5d·

Discuss: Hacker News

❄️Nix Adoption

Merkle trees and build systems with OSTree and ninja

lwn.net·4d·

Discuss: Hacker News

🌳Git Internals

I built a tool that tells freelancers when to say no (and how to get paid for it)

dev.to·2d·

Discuss: DEV

🚀Indie Hacking

Commission trials European open source communications software

euractiv.com·6d·

Discuss: Hacker News, Hacker News

📻Homebrew Protocols

Windows Digital License Explained: What It Is, How It Works, and Why It Matters

dev.to·2d·

Discuss: DEV

🔌Operating system internals

The End of Software as a Business?

thatwastheweek.com·3d·

Discuss: Hacker News

🏠Homelab Archaeology

Introducing the Developer Knowledge API and MCP Server

developers.googleblog.com·5d·

Discuss: Hacker News

🔌Archive APIs

CodeXero Earns a 348 Proof of Usefulness Score by Building a Vibe Coding Engine for Web3 dApps

hackernoon.com·4d

🚀Indie Hacking

OpenAI’s GPT-5.3-Codex helped build itself

thenewstack.io·5d

📏Code Metrics

Beyond agentic coding

haskellforall.com·3d·

Discuss: Lobsters, Hacker News, Hacker News, r/programming

⚡Effectful Programming

Announcing: genai v0.1.0

50984e11.maruel-ca.pages.dev·4d·

Discuss: Hacker News

🔌Interface Evolution

Loading more...