Vikings trade veteran DT Harrison Phillips to Jets for 2026 draft pick, 2027 pick swap: Sources
nytimes.com·9h
🎲Probabilistic Programming
Towards Building Efficient SCALES Protocols
eprint.iacr.org·3d
🔐Cryptography
Progress on my open source funding experiment
hezmatt.org·9h
👐Open Source Software
LLM-D, with Clayton Coleman and Rob Shaw
sites.libsyn.com·19h
🧮Programming Language Theory
That's Not Refactoring
codewithjason.com·17h·
Discuss: Hacker News
⚙Functional Programming
Holding Myself Accountable for Next Steps
tbr.bearblog.dev·13h
🧩Theorem Proving
a word to my students
blog.ayjay.org·1d
🧩Theorem Proving
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·3d
🎲Probabilistic Programming
Ruby
arsalanbardsiri.github.io·3d·
Discuss: DEV
🧩Theorem Proving
The Hidden Costs of Coding With Generative AI
sloanreview.mit.edu·2d·
Discuss: Hacker News
🎲Probabilistic Programming
Ambient-Adaptive Noise monitoring in real time
hackster.io·1d
👐Open Source Software
[D] Endorsement for cs.LG at arXiv as non-ML student?
reddit.com·1d·
Discuss: r/MachineLearning
🧩Theorem Proving
High-Throughput Low-Cost Segmentation of Brightfield Microscopy Live Cell Images
arxiv.org·5h
🧫Cellular Automata
⚡ Go Arenas: Request‑Scoped Speed in 2025
dev.to·5h·
Discuss: DEV
🦀Rust
I Tried AI Coding Tools. Now I Want to Learn to Code.
every.to·23h
🔌Network Programming
Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric
arxiv.org·3d
🧭SMT Solvers
TinyTim: A Family of Language Models for Divergent Generation
arxiv.org·3d
🔧Compiler Design
Build enterprise-scale log ingestion pipelines with Amazon OpenSearch Service
aws.amazon.com·10h
🦀Rust
# How I Built a Fully Decentralized On-Chain Game with 0 Lines of Code, Thanks to Gemini
dev.to·9h·
Discuss: DEV
🔐Cryptography
How I Use AI to Learn Faster Than Ever Before
dev.to·5h·
Discuss: DEV
🧩Theorem Proving