Why I'm excited about effect systems
osa1.net·2d
✨Algebraic Effects
Tang Nano 9K Series [tutorial]
learn.lushaylabs.com·2d·
Discuss: Hacker News
🔍FPGA Verification
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.com·6d
📝Concrete Syntax
Show HN: I built a professional portfolio you can chat with using an LLM
vishalbakshi.github.io·3d·
Discuss: Hacker News
🏛Digital humanities
Semi Analytical Solution of a Nonlinear Oblique Boundary Value Problem
arxiv.org·10h
🌀Differential Geometry
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·4d
📃Manuscript Tokenization
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·5d
📊Graph Databases
Critical Security Importance Digital Age Web Techniques（1751287605550100）
dev.to·1h·
Discuss: DEV
🔒WASM Capabilities
AWS open source newsletter, #211
dev.to·17h·
Discuss: DEV
🌊Streaming Systems
Uncovering smooth structures in single-cell data with PCS-guided neighbor embeddings
arxiv.org·10h
🌀Hyperbolic Geometry
【HarmonyOS 5】Detailed Explanation of Privacy Protection in HarmonyOS Applications
dev.to·22h·
Discuss: DEV
🔐Homomorphic Encryption
Varta
dev.to·20h·
Discuss: DEV
🎙️Whisper
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·6d
🎯Performance Proofs
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·5d
🔍Type Inference
Devlog #1 ahhhhh it's a snake
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751116236719200）
dev.to·2d·
Discuss: DEV
🌐Network Protocols
The Orakle Manifesto: Why Your AI Apps (Should) Belong to You
medium.com·1d·
Discuss: Hacker News, r/LocalLLaMA
👁️Observatory Systems
🔥Top 5 Amazing CLI Tools🤯
dev.to·21h·
Discuss: DEV
🪟Awesome windows command-line
Learning Instruction-Following Policies through Open-Ended Instruction Relabeling with Large Language Models
arxiv.org·4d
💻Local LLMs
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·4d
🌲Parse Trees