Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·4h·
Discuss: Hacker News
📘Typescript
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·16h
💻Programming languages
Typst: A Possible LaTeX Replacement
lwn.net·5h·
Discuss: Hacker News
📝Typst
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·15h·
Discuss: r/programming
Code Aesthetics
Three.js running natively on desktop with Java (LWJGL + GraalJS)
github.com·14h
🦋Tauri
Visual Studio 2026 doubles down on AI-assisted coding
infoworld.com·18h
🔧Developer tools
Cline --> Qwen3-Coder tool calling fix
drive.google.com·7h·
Discuss: r/LocalLLaMA
🌐Axum
Hack to the Future — here's how you can write BASIC code on a modern-day PC
tomshardware.com·8h
🪄Prompt Engineering
Getting Started With Elixir and Phoenix, a JS Alternative
thenewstack.io·7h
🔧Developer tools
Make Code Demos Inclusive: Check Your VS Code Theme
n8d.at·6h·
Discuss: Hacker News
🔧Developer tools
Prototyping Apps with AI: Why Replit Handled My Big Idea Better Than Cursor
spin.atomicobject.com·8h
👨‍💻AI Coding
Compiling with Continuations
swatson555.github.io·16h·
Discuss: Hacker News
💻Programming languages
Intelligent Web Crawling and RAG Search Platform
github.com·6h·
Discuss: Hacker News
🔎Meilisearch
Getting a Google Docs draft ready for Mailchimp via Emacs and Org Mode
sachachua.com·6h
📋Markdown
All the ways I use AI
fredrikmeyer.net·12h·
Discuss: Hacker News
👨‍💻AI Coding
Designing a State Manager for Performance: A Deep Dive into Hierarchical Reactivity
tobiasuhlig.medium.com·8h·
🦕Deno
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·12h
🕳LLM Vulnerabilities
Show HN: Markdown to Word – Free Online Converter
markdowntoword.io·16h·
Discuss: Hacker News
📋Markdown
Oh hey, STMicro publishing drivers in Rust in the open: https://github.com/STMicroelectronics/st-mems-rust-drivers
bsky.app·6h·
Discuss: Bluesky
🗃️Rust Databases
Don’t Trust the Scroll: Stop AI Agents from Running Code
pub.towardsai.net·8h
🛡️AI Security