Swift 6.2: Approachable Concurrency
mjtsai.com·16h
📞Session Types
Flag this post
It’s Time To Build APIs for AI, Not Just For Developers
thenewstack.io·21m
⚙️TLA+
Flag this post
Quoting Steve Francia
simonwillison.net·10h
🧮Theoretical Computer Science
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
🌊Streaming Databases
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blog·4h
📏Code Metrics
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·5d
λLambda Formalization
Flag this post
Calibrating and Rotating: A Unified Framework for Weight Conditioning in PEFT
arxiv.org·8h
✨Effect Handlers
Flag this post
EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.org·8h
🔐Homomorphic Encryption
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·8h
💻Local LLMs
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·8h
🤖Grammar Induction
Flag this post
Open Character Training: Shaping the Persona of AI Assistants through Constitutional AI
arxiv.org·8h
🎙️Whisper
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
🎯Threat Hunting
Flag this post
Enhanced Anomaly Detection in Cryogenic Storage Unit Operations via Multi-Modal Data Fusion and Predictive Analytics
📊Homelab Monitoring
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·8h
⚡Proof Automation
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·8h
🔄Language Evolution
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
🔌Interface Evolution
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
🌐Computational Topology
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·8h
💻Local LLMs
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·8h
🔨Compilers
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·8h
📊Learned Metrics
Flag this post
Loading...Loading more...