💻 CS

computer science, automata, theory, computation

Getting started with CodeQL, GitHub's declarative static analyzer for security
tweag.io·3d
✅Archive Validation
Issue 721
iosdevweekly.com·2d
🎯Gradual Typing
Improving 9-1-1 Operations with Artificial Intelligence
ntia.gov·3d·
Discuss: Hacker News
🚨Incident Response
Tversky Neural Networks: Psychologically Plausible Deep Learning With
arxiviq.substack.com·1d·
Discuss: Substack
🧮Vector Embeddings
An Engineer's Perspective on Hiring
jyn.dev·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔩Systems Programming
AI's Hot, Hot Mess: Reading Karen Hao's Empire of AI
aboard.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Evaluating the GPT-5 Series on Custom Benchmarks
labelstud.io·2d·
Discuss: Hacker News
📏Code Metrics
Some Principles From Real World Internal Developer Platform Engineering • Russ Miles • GOTO 2024
youtube.com·3d
🔄Reproducible Builds
Quantum-Enhanced Frequency Mapping for Gravitational Wave Source Localization
dev.to·11h·
Discuss: DEV
⚛️Quantum Compression
Corsair's AI Workstation 300 is the 13th computer to launch with AMD's formidable Ryzen AI Max+ 365 CPU - and it costs less than $2000
techradar.com·3d
🏠Homelab Archaeology
Automated ultrasound doppler angle estimation using deep learning
arxiv.org·3d
🧠Machine Learning
Neuromorphic Cybersecurity with Semi-supervised Lifelong Learning
arxiv.org·3d
🎯Threat Hunting
Enhanced Selectivity in Anion Exchange Chromatography via Modified Poly(ethylene glycol) Grafted Silica Nanoparticles
dev.to·20h·
Discuss: DEV
🧪Cassette Chemistry
Responsible Use of AI in Coding
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Python Fundamentals: contextlib
dev.to·4d·
Discuss: DEV
🌳Incremental Parsing
**Optimized Ion Implantation via Real-Time Plasma Resonance Mapping and Feedback Control**
dev.to·8h·
Discuss: DEV
🧲Magnetic Recording
How I Replaced Jira, GitHub Copilot, and ChatGPT With One AI Agent
dev.to·2d·
Discuss: DEV
📟Terminals
GPT-5: The Next Chapter in Generative AI
dev.to·2d·
Discuss: DEV
⚡Proof Automation
L3M+P: Lifelong Planning with Large Language Models
arxiv.org·5d
⚙️TLA+
A comprehensive taxonomy of hallucinations in Large Language Models
arxiv.org·5d
🌳Context free grammars