Polen Focus Growth Portfolio Q3 2025 Commentary
seekingalpha.com·2h
🔍BitFunnel
Pricing — Raindrop.io
raindrop.io·1d
🌐WebRTC Archives
Google's Gemini Enterprise platform aims to break down AI silos in companies
heise.de·21h
🏠Homelab Orchestration
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
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·3d·
Discuss: Hacker News
🔒Language-based security
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·19h·
Discuss: r/programming
🏠Homelab Pentesting
Show HN: Aidlab – Health Data for Devs
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Rust is a low-level systems language (not!)
reddit.com·12h·
Discuss: r/rust
🦀Rust Macros
Show HN: I built a LSP with its own parser to learn Rust
github.com·1d·
Discuss: Hacker News
⚡Dependent Rust
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·1d·
Discuss: DEV
🌐WASI
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·2d
🗺️Competency Maps
The Conveyor Belt Protocol: Understanding Iterators
dev.to·1d·
Discuss: DEV
🧬Functional Programming
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
Vibe Coding Assistant - Combining NoCode with AI Generation
dev.to·2h·
Discuss: DEV
🎙️Whisper
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·2h·
Discuss: DEV
🎬WebCodecs
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