🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Introducing pileof.tools
nkantar.com·3d
📡RSS Automation
Typing to Think, Typing to Prompt
kvncnnlly.com·3d·
Discuss: Hacker News
🎙️Whisper
Snapchat open source cross-platform mobile framework. Looking for beta testers
news.ycombinator.com·5d·
Discuss: Hacker News
🌀Brotli Dictionary
The GPT-5 Launch Broke the AI Internet (And Not in a Good Way)
docker.com·3d
🔌Interface Evolution
Accelerating exoplanet climate modelling: A machine learning approach to complement 3D GCM grid simulations
arxiv.org·2d
⚡Incremental Computation
Bob v0.40.0: Modular Code Generation for your Database
reddit.com·3d·
Discuss: r/golang
🌀Brotli Internals
Back to the basics: Minimal genomes yield viable plants for biotech applications
phys.org·3d
🧬Copy Number Variants
Crafting Aspedan: Our Vision, Development Journey, and Ambitions
dev.to·1d·
Discuss: DEV
⚡gRPC
Fine-Tune Your Topic Modeling Workflow with BERTopic
towardsdatascience.com·4d
📊Feed Optimization
Making my own DB
reddit.com·4d·
Discuss: r/golang
🗄️SQLite Internals
An (m,k)-firm Elevation Policy to Increase the Robustness of Time-Driven Schedules in 5G Time-Sensitive Networks
arxiv.org·3d
📡Network Calculus
Predicting Invasive Species Spread via Network-Driven Agent-Based Modeling and Dynamic Bayesian Inference
dev.to·1d·
Discuss: DEV
🔶Voronoi Diagrams
Estimating carbon pools in the shelf sea environment: reanalysis or model-informed machine learning?
arxiv.org·2d
🧠Machine Learning
Adaptive Group Normalization with Dynamic Kernel Rotation for Convolutional Neural Network Generalization
dev.to·1d·
Discuss: DEV
🌀Riemannian Computing
Scaled-Dot-Product Attention as One-Sided Entropic Optimal Transport
arxiv.org·4d
🧠Machine Learning
Real-Time PCIe Bandwidth Optimization via Adaptive Granularity Packet Prioritization
dev.to·12h·
Discuss: DEV
🌊Stream Processing
Automated Ethical Review of Genomic Editing Clinical Trials via Multi-Modal Reasoning
dev.to·3d·
Discuss: DEV
⚡Proof Automation
MOC: Meta-Optimized Classifier for Few-Shot Whole Slide Image Classification
arxiv.org·3d
🧠Machine Learning
GoViG: Goal-Conditioned Visual Navigation Instruction Generation
arxiv.org·3d
🗺️Competency Maps
A Comprehensive Survey of Datasets for Clinical Mental Health AI Systems
arxiv.org·3d
🎵Audio ML