Show HN: Zzz – IDE for Kotlin mobile development on Windows
s0mbra.com·5h·
Discuss: Hacker News
🔧MLIR
Extensions and Shadows (6)
sites.psu.edu·1d
✅Formal Verification
IF Seal: I'm not sure how to start!
hpowellsmith.com·1d
✅Formal Verification
Math Game Monday: Krypto Insanity
denisegaskins.com·1d
🔗Crypto
🧠 Solving LeetCode Until I Become Top 1% — Day `42`
leetcode.com·2d·
Discuss: DEV
🛡️AI Safety
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·5d·
Discuss: Hacker News
🔧MLIR
More Layers Unlock 2^N Transformer Context Depth with Divide and Conquer
ml-mike.com·3d·
Discuss: Hacker News
🤖AI
Clojurists Together project - Scicloj - Building Bridges to New Clojure Users - July 2025 update
scicloj.github.io·5d
✅Formal Verification
The “Biggest” AI That Came Out Of Nowhere!
youtube.com·4h
🤖AI
Week 28 – 2025
thisweekin4n6.com·2d
🧮Homomorphic Encryption
Variable size structs
reddit.com·50m·
Discuss: r/C_Programming
🔧MLIR
Chip4Mac68000 – A Chip8 emulator for the original Macintosh
github.com·5h·
Discuss: Hacker News
🔧MLIR
Understanding Async in Rust vs. Zig
reddit.com·5d·
Discuss: r/Zig
🔧MLIR
Code by Conversation: Instantly Build Apps with Natural Language Prompts
dev.to·1d·
Discuss: DEV
🤖AI
Using AI to replicate human experimental results: a motion study
arxiv.org·15h
🤖AI
Automate Vector Database Update with AWS and CircleCI
dev.to·10h·
Discuss: DEV
🤖AI
Top 4 Most Powerful Coding Agents on OpenRouter.ai (You Can't Ignore!)
dev.to·1d·
Discuss: DEV
🤖AI
AISN #59: EU Publishes General-Purpose AI Code of Practice
lesswrong.com·16m
🤖AI
Day 22/100: Useful List Methods in Python (append, pop, sort, and more)
dev.to·1d·
Discuss: DEV
✅Formal Verification
We Write Code for Two Audiences—with Two Different Priorities
dev.to·1d·
Discuss: DEV
🔧MLIR