Meshtastic: Why is it so popular?
jonlennartaasenden.wordpress.comΒ·18h
πŸ•ΈοΈMesh Networking
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comΒ·4d
🌳Archive Merkle Trees
AI and Programming Language Communities
jerf.orgΒ·22h
🎯Gradual Typing
From 0β†’βˆž: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.ioΒ·1dΒ·
Discuss: Hacker News
🧭Content Discovery
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.orgΒ·2d
πŸ”Type Inference
I built a Swift GraphQL client that generates the query using macros
github.comΒ·1dΒ·
Discuss: Hacker News
βœ…Format Verification
Why I Think Decentralized AI Can Be A Game Changer For The Future Of AI?
dev.toΒ·15hΒ·
Discuss: DEV
⚑Proof Automation
26th June.
dev.toΒ·1hΒ·
Discuss: DEV
πŸ’»Programming languages
Large Language Models
blog.jsbarretto.comΒ·1dΒ·
Discuss: Hacker News
πŸ“Concrete Syntax
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.orgΒ·18h
πŸ—œοΈGraph Compression
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.orgΒ·3d
πŸ‘‘Coq Tactics
U-R-VEDA: Integrating UNET, Residual Links, Edge and Dual Attention, and Vision Transformer for Accurate Semantic Segmentation of CMRs
arxiv.orgΒ·18h
πŸŒ€Riemannian Computing
Advanced Full-Stack Development: Building Scalable Web Applications
dev.toΒ·9hΒ·
Discuss: DEV
🌊Stream Processing
Improving Stochastic Cubic Newton with Momentum
arxiv.orgΒ·18h
🧠Machine Learning
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.orgΒ·1d
🎯Dependent Parsing
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioΒ·4d
Ξ»Lambda Encodings
[D] Alarming amount of schizoid people being validated by LLMs, anyone else experienced this?
reddit.comΒ·1dΒ·
Discuss: r/MachineLearning
🎯Gradual Typing
Show HN: AI-SDK-Cpp – Unified C++ SDK for OpenAI, Anthropic, and More
github.comΒ·30mΒ·
Discuss: Hacker News, r/cpp
πŸ”ŒInterface Evolution
Fast and Distributed Equivariant Graph Neural Networks by Virtual Node Learning
arxiv.orgΒ·2d
πŸŒ€Riemannian Computing
Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
arxiv.orgΒ·3d
πŸ—οΈConstructive Analysis