Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
λFunctional Programming
Flag this post
You Shouldn't Use ORMs
🗄️Databases
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
🎭Program Synthesis
Flag this post
Ruby and Its Neighbors: Smalltalk
💎Refinement Types
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·2d
💰TigerBeetle
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·2d
✓Formal Verification
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
🔥DataFusion
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·2d
📊Profile-Guided Optimization
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·3d
🗄️Database Internals
Flag this post
Prog8
💾Retro Computing
Flag this post
How to Design Efficient Memory Architectures for Agentic AI Systems
pub.towardsai.net·1d
🧠Memory Models
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·3d
🔍RAG
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·1d
📐Linear Algebra
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·2d
💬Prompt Engineering
Flag this post
Loading...Loading more...