LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·1d·
Discuss: Hacker News
📊Count-Min Sketch
DeepQuali: Determining Software Quality with AI
blog.qaware.de·42m·
Discuss: Hacker News
📏Code Metrics
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·1d·
Discuss: DEV
📝ABNF Parsing
Analysis of Semantic Communication for Logic-based Hypothesis Deduction
arxiv.org·3h
📡Information theory
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·4h·
Discuss: Hacker News
✅Format Verification
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
🔩Systems Programming
A type system for RCL (2024)
ruudvanasseldonk.com·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·6h·
Discuss: Hacker News
🤖Grammar Induction
Learn about building a Rust Plugin System
blog.anirudha.dev·1h·
Discuss: Hacker News
🦀Embedded Rust
DynaMark: A Reinforcement Learning Framework for Dynamic Watermarking in Industrial Machine Tool Controllers
arxiv.org·3h
🔍Vector Forensics
Applied AI Fundamentals: Structured Outputs
ouachitalabs.com·1d·
Discuss: Hacker News
📝Concrete Syntax
Automated Protocol Synthesis & Validation for Multi-Modal Scientific Data Streams
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Adding Conversational AI: Converting Natural Language into JSON Actions
chariotsolutions.com·2d·
Discuss: Hacker News
🌳Incremental Parsing
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·1d·
Discuss: r/rust
🦀Rust Macros
Designing Smarter Conversational Agents for Kids: Lessons from Cognitive Work and Means-Ends Analyses
arxiv.org·3h
🗣️Domain-Specific Languages
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·16h·
Discuss: Hacker News
🔄Language Evolution
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·3h
🔢Denotational Semantics
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·3h
⚙️ABNF Mining