💻 CS

computer science, automata, theory, computation

The Ancient History of Compression Algorithms
cs4fn.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
A.I. Can See You in Ways You Can't See Yourself
nytimes.com·19h·
Discuss: Hacker News
🎮Verification Games
Layers of Lawyers and Liars
matthewbutterick.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·4d·
Discuss: Hacker News
🔬Unikernels
Libpostal: C library for parsing/normalizing street addresses around the world
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Study finds that AI tools make experienced programmers 19% slower. But that is not the most interesting find...
reddit.com·14h·
Discuss: r/programming
🏹Effect Systems
Automating Evaluation of Diffusion Model Unlearning with (Vision-) Language Model World Knowledge
arxiv.org·1d
➡️Category Theory
Deep Brain Net: An Optimized Deep Learning Model for Brain tumor Detection in MRI Images Using EfficientNetB0 and ResNet50 with Transfer Learning
arxiv.org·2d
➡️Category Theory
Ground Truth Ambient Occlusion
github.com·15h·
Discuss: Hacker News
🧱Immutable Infrastructure
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·2d
📡Network Protocol Design
NexViTAD: Few-shot Unsupervised Cross-Domain Defect Detection via Vision Foundation Models and Multi-Task Learning
arxiv.org·1d
👁️System Observability
Designing Robust Software Sensors for Nonlinear Systems via Neural Networks and Adaptive Sliding Mode Control
arxiv.org·2d
🔄Finite State Machines
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·12h·
Discuss: Hacker News
🧱Immutable Infrastructure
A Hybrid Game-Theory and Deep Learning Framework for Predicting Tourist Arrivals via Big Data Analytics and Opinion Leader Detection
arxiv.org·4d
🎮Verification Games
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·2d
✓Automated Theorem Proving
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·2d
✓Automated Theorem Proving
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
arxiv.org·2d
🔄Finite State Machines
SimCortex: Collision-free Simultaneous Cortical Surfaces Reconstruction
arxiv.org·2d
💾Retro Computing
Esports and expertise: what competitive gaming can teach us about mastery
arxiv.org·3d
🎮Verification Games
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·1d
🔍Formal Verification