Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.com·1d
📐Mathematical Computing
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·1d·
Discuss: Hacker News
🔢Bit Manipulation
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·1d·
Discuss: Hacker News
🛡️Security Type Systems
🚀 Complete Guide: Hiring Challenge Paradigm
gist.github.com·1d·
Discuss: DEV
✨Gleam
The Programmer Identity Crisis
hojberg.xyz·1d·
Discuss: Lobsters, Hacker News
🎮Language Ergonomics
Tying It All Together: Your Map to Better Go Architecture
dev.to·13h·
Discuss: DEV
🔪Program Slicing
Inconsistent Affective Reaction: Sentiment of Perception and Opinion in Urban Environments
arxiv.org·1h
✨Effect Inference
SEPhIA: <1 laser/neuron Spiking Electro-Photonic Integrated Multi-Tiled Architecture for Scalable Optical Neuromorphic Computing
arxiv.org·1h
🔍Lens Libraries
Automated Structure-Based Drug Discovery via Hyperdimensional Protein-Ligand Interaction Scoring
dev.to·2d·
Discuss: DEV
✨Effect Inference
Rivaling Transformers: Multi-Scale Structured State-Space Mixtures for Agentic 6G O-RAN
arxiv.org·2d
🌪️V8 TurboFan
StaR-KVQA: Structured Reasoning Traces for Implicit-Knowledge Visual Question Answering
arxiv.org·1d
🌱Minimal ML
Thousands of AI Authors on the Future of AI
arxiv.org·1h
🎭Program Synthesis
I've been using LLMs since 2020. Here's how I used Claude Code to reduce "hallucinations" from LLMs
reddit.com·2d·
Discuss: r/ClaudeAI
💬Interactive REPLs
Shaken or Stirred? An Analysis of MetaFormer's Token Mixing for Medical Imaging
arxiv.org·2d
✨Gleam
Attention Sinks and Compression Valleys in LLMs are Two Sides of the Same Coin
arxiv.org·1d
🪜Recursive Descent
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·3d
📏Linear Logic
BioAutoML-NAS: An End-to-End AutoML Framework for Multimodal Insect Classification via Neural Architecture Search on Large-Scale Biodiversity Data
arxiv.org·2d
🔍ML Language
ARMOR: High-Performance Semi-Structured Pruning via Adaptive Matrix Factorization
arxiv.org·2d
🌱Minimal ML
Building a High-Performance Booking Platform: Reducing API Calls by 66%
dev.to·1d·
Discuss: DEV
📮Message Queues
Causality Guided Representation Learning for Cross-Style Hate Speech Detection
arxiv.org·1h
🌱Minimal ML