Early experiments in accelerating science with GPT-5 - OpenAI
news.google.com·2d
💻Programming
Flag this post
New comment by VeritySage07 in "Exploring the Fragmentation of Wayland, an xdotool adventure"
🌐Container Networking
Flag this post
The Future For Formal Verification
semiengineering.com·3d
🔍Borrow Checker
Flag this post
AI in Focus: Pair programming with AI
feed.thoughtbot.com·3d
💻Programming
Flag this post
_AugmentedIntelligence v3.0 (WIP)
💻Programming
Flag this post
I hated VS Code’s global search — so I forked it, then turned it into an extension.
🔍Borrow Checker
Flag this post
I used an immutable Linux distro for a week, and it was weirdly great
xda-developers.com·9h
🔨Build Systems
Flag this post
I created an AI tool that builds full stack React/Node app on top of your [Postgres, Mongo, MySQL] database within minutes - dashboards, panels, tools, jobs and...
🔨Build Systems
Flag this post
LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
arxiv.org·5d
🔍Borrow Checker
Flag this post
Show HN: Lite³ – A JSON-Compatible Zero-Copy Serialization Format in 9.3 KB of C
🔍Borrow Checker
Flag this post
githubnext/gh-aw v0.30.2
github.com·1d
🔨Build Systems
Flag this post
<p>**Abstract:** This paper introduces a novel approach to enhancing cybersecurity within Smart Grid Microgrids, focusing on automated anomaly detection and rap...
freederia.com·1d
🔍Borrow Checker
Flag this post
Reason-KE++: Aligning the Process, Not Just the Outcome, for Faithful LLM Knowledge Editing
arxiv.org·5d
🔨Build Systems
Flag this post
Loading...Loading more...