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

Why is it always cynicism when you're right?
drwho.virtadpt.netยท1d
๐Ÿ”BitFunnel
Flag this post
Show HN: Make funky websites without coding
junglewriter.comยท2hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Flag this post
Practical seed recovery for the PCG pseudo-random number generator
tosc.iacr.orgยท1dยท
Discuss: Hacker News
๐Ÿ”Cryptographic Archaeology
Flag this post
Accelerating GenAI Workloads With Seekable OCI
thenewstack.ioยท10h
๐ŸŒŠStream Processing
Flag this post
Game Theory in E-Commerce feedback
news.ycombinator.comยท14hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Flag this post
Compilation is communication
mmapped.blogยท5dยท
๐Ÿ›ก๏ธProof-Carrying Archives
Flag this post
Do AI Reasoning Models Abstract and Reason Like Humans?
aiguide.substack.comยท4dยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
Flag this post
Experiences with GPT-5-Codex
johndcook.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Flag this post
Multi-Agent Debate for LLM Judges with Adaptive Stability Detection
arxiv.orgยท2d
๐ŸงฎKolmogorov Complexity
Flag this post
State Space Prompting via Gathering and Spreading Spatio-Temporal Information for Video Understanding
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Flag this post
COSTAR-A: A prompting framework for enhancing Large Language Model performance on Point-of-View questions
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Flag this post
Federated Conditional Conformal Prediction via Generative Models
arxiv.orgยท1d
๐ŸคSecure Multiparty
Flag this post
Pruning Cannot Hurt Robustness: Certified Trade-offs in Reinforcement Learning
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Flag this post
Channel Estimation under Large Doppler Shifts in NOMA-Based Air-Ground Communications
arxiv.orgยท1d
โšฝSphere Packing
Flag this post
Tech With Tim: ULTIMATE AI Coding Tutorial with Warp Code
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Flag this post
Tech With Tim: ULTIMATE AI Coding Tutorial with Warp Code
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Hypermedia APIs
Flag this post
Krish Naik: What Is LLM Poisoning? Interesting Break Through
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Flag this post
Intelligent Dynamic Handover via AI-assisted Signal Quality Prediction in 6G Multi-RAT Networks
arxiv.orgยท23h
๐Ÿง Machine Learning
Flag this post
Competitive Advantage Attacks to Decentralized Federated Learning
arxiv.orgยท2d
๐ŸคSecure Multiparty
Flag this post
Python for Everyone: Learn, Code, and Create
dev.toยท21hยท
Discuss: DEV
๐Ÿ”—Lisp
Flag this post