Verifying and testing timeliness constraints of Haskell programs
well-typed.comยท2dยท
Discuss: Hacker News
๐Ÿ”Borrow Checker
Flag this post
This free browser extension replaces half the tabs I open every day
makeuseof.comยท2h
๐Ÿ’ปProgramming
Flag this post
GitLab 18.6 adds redesigned UI, exact code search, new CI/CD capabilities, and much more
alternativeto.netยท21h
๐Ÿ”Borrow Checker
Flag this post
ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025
elisa.techยท4d
๐ŸŒContainer Networking
Flag this post
Baking in CoT in Instruct model
reddit.comยท2hยท
Discuss: r/LocalLLaMA
๐Ÿ’ปProgramming
Flag this post
How I use NotebookLM for productive study sessions (without falling into the summarization trap)
xda-developers.comยท19h
๐Ÿ”Borrow Checker
Flag this post
Your Codebase Is Probably Fighting Claude (Part 1)
ambient-code.aiยท20hยท
Discuss: Hacker News
๐Ÿ”Borrow Checker
Flag this post
Built a tiny high-performance telemetry/log tailing agent in Zig (epoll + inotify). Feedback & contributors welcome
reddit.comยท1dยท
Discuss: r/Zig
๐ŸŒContainer Networking
Flag this post
Black Friday 2025 : Developer and Testing tools
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปProgramming
Flag this post
Amazon introduces two benchmark datasets for evaluating AI agentsโ€™ ability on code migration
aws.amazon.comยท2d
๐Ÿ”Borrow Checker
Flag this post
Addressing the specific roles of histone modifications in transcriptional repression
nature.comยท9h
๐Ÿ’ปProgramming
Flag this post
Tech With Tim: These Tools Changed My Python Workflow
dev.toยท5hยท
Discuss: DEV
๐Ÿ’ปProgramming
Flag this post
VLSU: Mapping the Limits of Joint Multimodal Understanding for AI Safety
machinelearning.apple.comยท2d
๐Ÿ”Borrow Checker
Flag this post
Understanding the Transaction Lifecycle: A Deep Dive into Hedera SDK Documentation
dev.toยท13hยท
Discuss: DEV
๐Ÿ”Borrow Checker
Flag this post
I built a Rails UI library with Tailwind CSS & Stimulus JS (now at 48 component sets with 260+ examples)
dev.toยท23hยท
Discuss: DEV
๐Ÿ”Borrow Checker
Flag this post
How to copy a tree, but not word for word
dev.toยท4dยท
Discuss: DEV
๐Ÿ”Borrow Checker
Flag this post
VULPO: Context-Aware Vulnerability Detection via On-Policy LLM Optimization
arxiv.orgยท4d
๐Ÿ”Borrow Checker
Flag this post
Apple to present multiple studies and AI demos at the NeurIPS 2025 conference next month
9to5mac.comยท18h
๐ŸŒContainer Networking
Flag this post
Software Engineering Podcasts & Conference Talks (week 47, 2025)
reddit.comยท2dยท
๐ŸŒContainer Networking
Flag this post