Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
📡Erlang BEAM
Flag this post
8 AI Tools to Analyze Data in Excel by Just Chatting
analyticsvidhya.com·3h
🎯99-Line Tools
Flag this post
Eglot, Ruby LSP and StandardRB
katafrakt.me·2d
Code Formatters
Flag this post
Brain-computer interface decodes Mandarin from neural signals in real time
medicalxpress.com·1h
🎯Finite Automata
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
🤐Zipper Structures
Flag this post
Google warns criminals are building and selling illicit AI tools - and the market is growing
techradar.com·3h
🛡️Parser Security
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·1d
🛡️Taint Analysis
Flag this post
One-Second Voice-to-Voice Latency with Modal, Pipecat, and Open Models
modal.com·2d
🎮Language Ergonomics
Flag this post
EVTAR: End-to-End Try on with Additional Unpaired Visual Reference
arxiv.org·2d
Effect Inference
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·2d·
Discuss: DEV
Live Coding
Flag this post
Don't nuke your test ENVs
dev.to·1d·
Discuss: DEV
🎲Test Generators
Flag this post
DentalSplat: Dental Occlusion Novel View Synthesis from Sparse Intra-Oral Photographs
arxiv.org·12h
🔍Lens Libraries
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·3d
⚖️Weighted Automata
Flag this post
Why your AI evals keep breaking
atla-ai.com·2d·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·4d·
Discuss: DEV
📋JSON Parsing
Flag this post
A Practical Guide to Building AI Agents With Java and Spring AI - Part 1 - Create an AI Agent
dev.to·2d·
Discuss: DEV
🎨Domain-Specific Languages
Flag this post