Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·1d
⚔️Lean Tactics
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·3d
🌳Archive Merkle Trees
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·2d
🔒Linear Types
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·1d·
Discuss: Hacker News
🧭Content Discovery
[D] Alarming amount of schizoid people being validated by LLMs, anyone else experienced this?
reddit.com·1d·
Discuss: r/MachineLearning
🎯Gradual Typing
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·3d·
Discuss: DEV
🧬Functional Programming
🚀 Thrilled to Join the Tech Community!
dev.to·5h·
Discuss: DEV
🌀Brotli Internals
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·2d
🔗Topological Sorting
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic
Advanced Full-Stack Development: Building Scalable Web Applications
dev.to·5h·
Discuss: DEV
🌊Stream Processing
[$] Supporting kernel development with large language models
lwn.net·1d
💻Local LLMs
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
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·14h
🗜️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·14h
🌀Riemannian Computing
Improving Stochastic Cubic Newton with Momentum
arxiv.org·14h
🧠Machine Learning
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·1d
🎯Dependent Parsing
Advancements in Computer Science Learning: A Synthesis of Recent Research in AI and Machine Learning
dev.to·9h·
Discuss: DEV
🧠Machine Learning