Value in Formal Theory Land
4gravitons.com·1d
🏗️Constructive Analysis
Extreme sports, an FPS from former Blizzard devs and other new indie games worth checking out
engadget.com·12h
📺Retrogaming
An AI-Generated Protein Helps T Cells Kill Cancer
the-scientist.com·13h·
Discuss: Hacker News
🔬Logic in Computer Science
Stack Exchange Moves Everything to the Cloud, Destroys Servers in New Jersey
hardware.slashdot.org·2h
🛡Cybersecurity
In Defence of Gary Marcus
reubenadams.substack.com·12h·
Discuss: Substack
💾vintage computing
Template-guided chemistry: Researchers efficiently synthesize functionalized oligophenylene cages
phys.org·1d
🕸️Algebraic Topology
The Boring AI Questions That Matter
readmargins.com·1d·
Discuss: Hacker News
🔲Cellular Automata
How complicated is the code of the borrow checker?
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
What Vibe Coding Actually Looks Like for a Senior Engineer
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Benefits and pitfalls of Vibe coding: navigating the AI-assisted era
dev.to·2d·
Discuss: DEV
✨Effect Handlers
Unsupervised Domain Adaptation for 3D LiDAR Semantic Segmentation Using Contrastive Learning and Multi-Model Pseudo Labeling
arxiv.org·1d
📊Learned Metrics
TextSAM-EUS: Text Prompt Learning for SAM to Accurately Segment Pancreatic Tumor in Endoscopic Ultrasound
arxiv.org·1d
🧠Machine Learning
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
arxiv.org·5d
✓Automated Theorem Proving
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·4d·
Discuss: Hacker News
🌳Context free grammars
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·4d
🌀Differential Geometry
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.org·1d
🔗Tailscale
Actively evaluating and learning the distinctions that matter: Vaccine safety signal detection from emergency triage notes
arxiv.org·1d
🗺️Competency Maps
SmartStock: Real-Time AI-Powered Inventory Optimization with Redis 8
dev.to·6h·
Discuss: DEV
🌊Streaming Systems
title: Echo Dot (Echo Dot (Echo Dot (5th Gen): Honest Review
dev.to·1h·
Discuss: DEV
🎬WebCodecs
Recursive Equations For Imputation Of Missing Not At Random Data With Sparse Pattern Support
arxiv.org·3d
🌸Bloom Variants