Algorithms to Live By: Sliding Window
jordangoodman.bearblog.dev·1d
📈Complexity Theory
Online Recommendation Engines with CockroachDB
cockroachlabs.com·23h
🗄️Database Theory
Boot.dev Launches the Training Grounds
blog.boot.dev·23h
🧩Theorem Proving
busy beaver function
ncatlab.org·4d
🔄Category Theory
Getting Started with Python — Part 2
medium.com·1d·
Discuss: DEV
🧮Programming Language Theory
Brave discovers a security flaw in Perplexity’s Comet browser
the-decoder.com·2d
🧭SMT Solvers
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.org·1d
📊Information Theory
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·2d
🎲Probabilistic Programming
AI reveals how protein modifications link mutations to disease
medicalxpress.com·1d
⚙Functional Programming
[Project] cross.stream (`xs`): a local-first event stream store for the command line
reddit.com·1d·
Discuss: r/commandline
🔌Network Programming
I wrote a plugin to support many pandoc-markdown lists, and more
reddit.com·2d·
Discuss: r/ObsidianMD
🧮Programming Language Theory
I wrote this custom fiducial marker generating program in Rust
github.com·1d·
Discuss: r/opensource, r/rust
🔧Compiler Design
Can AI Have a Personality? Prompt Engineering for AI Personality Simulation: A Chatbot Case Study in Gender-Affirming Voice Therapy Training
arxiv.org·1d
📝Lisp
Linear Power System Modeling and Analysis Across Wide Operating Ranges: A Hierarchical Neural State-Space Equation Approach
arxiv.org·1d
🎲Probabilistic Programming
Context Engineering: Bringing Engineering Discipline to Prompts—Part 3
oreilly.com·2d
🔧Compiler Design
Multi-Agent Visual-Language Reasoning for Comprehensive Highway Scene Understanding
arxiv.org·1d
🎲Probabilistic Programming
Popular Nx Build System NPM Package Compromised with Data Stealing Malware
stepsecurity.io·20h·
Discuss: Hacker News
🦀Rust
How To Argue With An AI Booster
wheresyoured.at·2d·
Discuss: Hacker News
🧩Theorem Proving
Asta: Accelerating science through trustworthy agentic AI
allenai.org·1d
🧩Theorem Proving
Thoughts About how RLHF and Related "Prosaic" Approaches Could be Used to Create Robustly Aligned AIs.
lesswrong.com·4d
⚙Functional Programming