Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·47m
⚡functional programming
Briefly Noted: Summer Reading
thepsmiths.com·44m·
Discuss: Hacker News
⚖️Inference Rules
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Georeferenced database of invasive non-native species occurrences in Brazil
nature.com·8h
🌲Deforestation
Operationalizing Pinecone: A Vector Database
pub.towardsai.net·3d
🪢Rope Data Structures
Am I wrong? Simple algorithm efficiency analysis.
reddit.com·2d·
Discuss: r/AskProgramming
💾Cache-Oblivious Algorithms
The 'Magic' of LLMs: The Function of Language
lesswrong.com·2d
🔍ML Language
AttentiveGRUAE: An Attention-Based GRU Autoencoder for Temporal Clustering and Behavioral Characterization of Depression from Wearable Data
arxiv.org·17h
✨Effect Inference
Fundamentals metrics for Software Engineering derived from Math Statistics
dev.to·1d·
Discuss: DEV
🔗Hash Functions
GANs: How AI Creates Images from Noise
pub.towardsai.net·11h
📊LR Parsing
Building an Agentic AI for SQL Generation and Optimization in Snowflake
pub.towardsai.net·7h
🗃️Query Compilation
INDEXING - HASHING - AND -QUERY
dev.to·17h·
Discuss: DEV
🌸Bloom Indexing
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.org·17h
🚂Error Propagation
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·17h
✅Type Checking
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·15h·
Discuss: Hacker News
⚡Cache Optimization
Automated Microfluidic Device Characterization via Iterative Bayesian Optimization and Digital Twin Validation
dev.to·23h·
Discuss: DEV
🔬Nanopasses
Week 1 / 50 - Cybersecurity Journey - Malware Analysis
dev.to·1d·
Discuss: DEV
🔐Security Types
Geometry Meets Vision: Revisiting Pretrained Semantics in Distilled Fields
arxiv.org·17h
🗺️Region Inference
NEURODNAAI: Neural pipeline approaches for the advancing dna-based information storage as a sustainable digital medium using deep learning framework
arxiv.org·17h
📋JSON Parsing
Sparse Query Attention (SQA): A Computationally Efficient Attention Mechanism with Query Heads Reduction
arxiv.org·3d
🌸Bloom Indexing