GaloisInc/parameterized-utils
github.com·5d
🧮Algebraic Datatypes
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·2d
🔄Reproducible Builds
How to Get Traffic from ChatGPT and Other LLMs
generate-visibility.ghost.io·5h·
Discuss: Hacker News
📊Feed Optimization
AI tools churn out ‘workslop’ for many US employees lowering trust | Gene Marks
theguardian.com·16h·
Discuss: Hacker News
🌍Cultural Algorithms
The Linus Method: How we simiplifed RFC reviews
devashish.me·2d·
Discuss: Hacker News
⚙️Proof Engineering
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·4d·
Discuss: Hacker News
🏗️Compiler Archaeology
The Pain Driven Workflow
magistr.me·3d·
Discuss: Hacker News
⚡Incremental Computation
AI can help your DevSecOps pipeline
spiceworks.com·2d·
Discuss: Hacker News
🏠Homelab Pentesting
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·5d
✅Format Validation
Conformal Risk Training: End-to-End Optimization of Conformal Risk Control
arxiv.org·2h
🧠Machine Learning
InferenceMAX – open-source Inference Frequent Benchmarking
github.com·2d·
Discuss: Hacker News
⚡Performance Mythology
Demystifying and Navigating AI Ethics in Power Electronics
arxiv.org·2h
🔧Hardware Verification
Understanding Exoplanet Habitability: A Bayesian ML Framework for Predicting Atmospheric Absorption Spectra
arxiv.org·2h
🌈Spectroscopy
The Hidden Power of ChatGPT Prompts Nobody Talks About
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Build a Private AI Chatbot for Your PDFs with Genkit and Gaia
dev.to·1d·
Discuss: DEV
📄Document Streaming
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·4d
🔨Compilers
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·3d
💻Local LLMs
AI News and Releases: First Week of October 2025
dev.to·2d·
Discuss: DEV
🤖AI Curation
RecGen: a powerful tool to create recommendation systems
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Automated Surface Tension Profiling via Static Contact Angle Analysis & Bayesian Inference
dev.to·1d·
Discuss: DEV
🌀Differential Geometry