๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Verification

Proof Assistants, Correctness Guarantees, Logic Systems, Specification

Show HN: Lotas โ€“ Cursor for RStudio
lotas.aiยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
How to handle people dismissing io_uring as insecure?
github.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
AI Comes Up with Bizarre Physics Experiments. But They Work.
quantamagazine.orgยท1dยท
Discuss: Hacker News, Hacker News
๐Ÿ—๏ธLanguage Design
How I Landed My First Client Midway Through The Odin Project
hackernoon.comยท1d
๐Ÿฆ€Rust
The Basics of Debugging Python Problems
kdnuggets.comยท1d
๐Ÿฆ€Rust
AI Controlled Browser That Worked
dev.toยท14hยท
Discuss: DEV
๐Ÿฆ€Rust
I built a self-hosted Telegram AI assistant to keep my Gemini API key private. It's now open-source for everyone.
dev.toยท3dยท
Discuss: DEV
๐Ÿฆ€Rust
Consistent Explainers or Unreliable Narrators? Understanding LLM-generated Group Recommendations
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Kolmogorov Arnold Networks (KANs) for Imbalanced Data -- An Empirical Perspective
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Behind the Scenes: Building My Modular Django Portfolio - PART 1
dev.toยท13hยท
Discuss: DEV
๐ŸŽจUX, UI
Qwen 3 Drops a Update, Outshining DeepSeek V3
dev.toยท12hยท
Discuss: DEV
๐Ÿฆ€Rust
โšก Hogwarts Spell Caster: Real-Time Voice Magic with AssemblyAI Universal-Streaming
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
From RAG to RAMM: Building Retrieval-Augmented Multi-Modal Apps with OpenAI & Ll
dev.toยท1hยท
Discuss: DEV
๐Ÿ—๏ธLanguage Design
Revolutionizing Novel Writing: Introducing novelWriter
dev.toยท7hยท
Discuss: DEV
๐ŸŽจUX, UI
AI in Online Learning: Transforming Education
dev.toยท20hยท
Discuss: DEV
๐ŸŽจUX, UI
Navigating the Landscape: Perl vs. Python vs. Bash in System Administration and Automation
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„DevOps
Moonshot's Kimi K2 Is a Hefty Contender to Claude, GPT-4 & Even Gemini
hackernoon.comยท1d
๐Ÿฆ€Rust
Fluid Antenna-enabled Near-Field Integrated Sensing, Computing and Semantic Communication for Emerging Applications
arxiv.orgยท17h
๐Ÿ—๏ธLanguage Design
Personalized Socially Assistive Robots With End-to-End Speech-Language Models For Well-Being Support
arxiv.orgยท17h
๐Ÿ—๏ธLanguage Design
Off-Policy Corrected Reward Modeling for Reinforcement Learning from Human Feedback
arxiv.orgยท17h
๐Ÿ—๏ธLanguage Design
Loading...Loading more...
AboutBlogChangelogRoadmap