Polen Focus Growth Portfolio Q3 2025 Commentary
seekingalpha.com·10h
🔍BitFunnel
Pricing — Raindrop.io
raindrop.io·1d
🌐WebRTC Archives
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·3d
🔗Functional Compilers
DataWave: General purpose framework for both structured and unstructured data
code.nsa.gov·1d·
Discuss: Hacker News
🌊Streaming Databases
Better vector search with graphs and spectral indexing
tuned.org.uk·1d·
Discuss: Hacker News
🗂️Vector Databases
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·4d·
Discuss: Hacker News
🔒Language-based security
Systems as Mirrors
iamstelios.com·17h·
Discuss: Hacker News
⚙️Proof Engineering
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·1d·
Discuss: r/programming
🏠Homelab Pentesting
Rust is a low-level systems language (not!)
reddit.com·19h·
Discuss: r/rust
🦀Rust Macros
🔥 MicroPython on ESP32: Build a Smart Sensor in 15 Minutes Without Writing C! 😱
dev.to·7h·
Discuss: DEV
🔌Single Board PC
Show HN: I built a LSP with its own parser to learn Rust
github.com·1d·
Discuss: Hacker News
⚡Dependent Rust
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·2d
⛪Church Encoding
The Conveyor Belt Protocol: Understanding Iterators
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Forecasting the Buzz: Enriching Hashtag Popularity Prediction with LLM Reasoning
arxiv.org·2d
⚖️Feed Ranking
Prototyping Real-time Social Sentiment with Python
dev.to·1d·
Discuss: DEV
📊Feed Optimization
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
🎵Audio ML
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1d·
Discuss: DEV
🔄Burrows-Wheeler
Daily Artificial Intelligence Digest - Oct 12, 2025
dev.to·21h·
Discuss: DEV
🤖AI Curation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·7h·
Discuss: DEV
📊Multi-vector RAG