bugzmanov's Top FindsLoading...
Balancing Leakage Reduction with Correctness Preservation in RTL Code Generation (Univ. of Central Florida)
semiengineering.com·2d
📐formal specification
Flag this post
ELISA seminar recap : Introduction to Requirements Engineering – Pete Brink, UL Solutions
elisa.tech·2d
📐formal specification
Flag this post
AI Decoded : BBCNEWS : November 9, 2025 2:30am-3:01am GMT
archive.org·8h
🤖AI
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·2d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Autogen vs. Crew AI: Choosing the right agentic framework
blog.logrocket.com·1d
🤖AI
Flag this post
Owning the Stack: Why IP Retention Is Mandatory for Coding ASI
autohand.ai·2d·
Discuss: Hacker News
📐formal specification
Flag this post
Taming Time-Delayed Chaos: Linearizing the Unpredictable
dev.to·8h·
Discuss: DEV
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Show HN: PyNIFE. 400-900× speedup for embedding-based retrieval pipelines
github.com·6h·
Discuss: Hacker News
Flag this post
u/kuroimakina dispels the myth of AI.
reddit.com·6h·
Discuss: r/bestof
🤖AI
Flag this post
Loki - An All-in-One, Batteries-Included LLM CLI
reddit.com·1d·
Discuss: r/commandline
🤖AI
Flag this post
Open source executable recipes for Claude, Codex and others.
reddit.com·2d·
Discuss: r/ClaudeAI
🤖AI
Flag this post
Canonical's Secure Starlark in Go
github.com·1d·
Discuss: Hacker News
🔧PLT
Flag this post
I built a VSCode extension to see your code on an infinite canvas.
reddit.com·20h·
Discuss: r/webdev
🔍Static Analysis
Flag this post
**Practical Tip: Fine-Tuning LLMs for Improved Generalizabil
dev.to·16h·
Discuss: DEV
🔧PLT
Flag this post
Wisconsin fans storm field after upset of Washington, week of angst over Luke Fickell's status
nytimes.com·8h
🐫Ocaml
Flag this post
The AI Horizon Report: Essential Trends, Developer Insights, and Cultivating Credible Expertise (2025-11-08)
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post
New to C, did a string interning library.
reddit.com·3d·
Zig
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1h·
Discuss: DEV
🤖AI
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Cross-Silo Medical AI Systems
dev.to·1d·
Discuss: DEV
🪜Scala
Flag this post