Lens Libraries

Feeds to Scour
SubscribedAll
Scoured 39 posts in 23.0 ms

Notepad++ Zero-Click RCE via Path Traversal (CVE-2026-52884)

 🔓Binary Exploitation  Content type: Code
github.com··Hacker News

15-150: Principles of Functional Programming

 ✓Formal Methods
brandonspark.github.io·

Beyond Vector Similarity: A Structural Analysis of Graph-Augmented Retrieval for Industrial Knowledge Graphs

 🔍RAG  Content type: Academic
arxiv.org·
Less-relevant results

MarkSentry – zero-trust document-to-Markdown for RAG pipelines

 💬REPL Design
sunilgentyala.github.io··Hacker News

Kan Extensions in Haskell

 ∘Category Theory
bartoszmilewski.com··Hacker News

tensor product of stable (infinity,1)-categories in nLab

 ∘Category Theory
ncatlab.org·

SCOUT: Semantic scene COverage via Uncertainty-guided Traversal

 🗺️Region Inference  Content type: Academic
arxiv.org·

GraphRAG – a knowledge graph LLMs can traverse and write back to

 🕸️Graph Databases  Content type: Code
github.com··Hacker News

Auditable Graph-Guided Root Cause Analysis for Kubernetes Incidents

 📦Dependency Analysis  Content type: Academic
arxiv.org·

DeytaHQ/khora: Library for creating knowledge repositories from multi-source data and expose a single query substrate

 🕸️Graph Databases  Content type: Code
github.com··Hacker News

Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell

 🔍Type Inference  Content type: Blog
irfanali.org··Hacker News, r/compsci, r/programming, r/programming

Predictive Assistance and the Temporal Dynamics of Exploratory Compression

 💬Prompt Engineering  Content type: Academic
arxiv.org·

Amber Tree: A Middle Ground Between Rowan Red and Green Trees

 🕸️WASM  Content type: Blog
blog.gplane.win··Hacker News, r/rust

Rayforce

 💬REPL Design  Content type: Code
github.com··Lobsters, Hacker News

Syd Domain Transitions

 🛡️Security Type Systems
man.exherbo.org··Hacker News

Exploratory Responsiveness and Adaptive Rigidity under AI-Assisted Optimization

 🤖AI  Content type: Academic
arxiv.org·

Quivers: a year of linear algebra by drawing arrows

 ∘Category Theory  Content type: Blog
lisyarus.github.io··Hacker News

Composable Data Access with Lenses

 ✅Property Testing
claudiu-ivan.com··Hacker News

Red Teaming MCP Servers: 24 Attack Payloads and the Blueprint for Agentic Defense-in-Depth

 🏠Self-Hosting
pub.towardsai.net
·

A worm in my Erlang cluster, and adventures in microfluidics

 ✨Gleam  Content type: Blog
lucassifoni.info··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help