Polen Focus Growth Portfolio Q3 2025 Commentary
seekingalpha.com·20m
🔍BitFunnel
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·3d
🔗Functional Compilers
Pricing — Raindrop.io
raindrop.io·1d
🌐WebRTC Archives
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·3d·
Discuss: Hacker News
🔒Language-based security
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·2d·
Discuss: Hacker News
🔍BitFunnel
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·16h·
Discuss: r/programming
🏠Homelab Pentesting
Bitter lessons building AI products
hex.tech·2d·
Discuss: Hacker News, Hacker News
🔄Language Evolution
AI receptionist that answers real phone calls
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
Show HN: I built a LSP with its own parser to learn Rust
github.com·1d·
Discuss: Hacker News
⚡Dependent Rust
I created and open sourced an LLM and backend orchestration system
reddit.com·3d·
Discuss: r/golang
🔓Open Source Software
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·1d·
Discuss: DEV
🇨🇳Chinese Computing
Trying to find an app to overview my homelab
reddit.com·20h·
Discuss: r/homelab
🏠Homelab Archaeology
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·2d
🗺️Competency Maps
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·1d·
Discuss: DEV
🌐WASI
The Future of Web Development: Integrating Artificial Intelligence
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
The Library Method: Understanding @cache
dev.to·2d·
Discuss: DEV
⚡Cache Theory
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·2d
⛪Church Encoding