📊 Datalog - 2601 · Scour

Toward a universal foundation model for graph-structured data 🕸️Knowledge Graphs

arxiv.org·1d

Analysis of Virtual.1 by Bagolymadar 🔓Binary Exploitation

farena.in·5d·Hacker News

Shift-right: attack path analysis that never wastes a good incident 🛡️Security Type Systems

subimage.io·21h·Hacker News

apfel-chat: On-device AI chat for macOS 💻Terminal UIs

apfel-chat.franzai.com·2h·Hacker News

Program Analysis: A Pragmatic Approach 🚀Code Motion

homes.cs.washington.edu·1d·Lobsters

AI sentiment analysis of 26 central bank 📚Factor

monetary.live·17h·Hacker News

rdf-network-analysis.ipynb 🕸️Knowledge Graphs

colab.research.google.com·3d

Beyond Dense Connectivity: Explicit Sparsity for Scalable Recommendation 📋JSON Parsing

arxiv.org·10h

Kg – local knowledge graph memory for AI assistants 🧠Obsidian

github.com·1d·Hacker News

Uncovering Webloc: An Analysis of Penlink’s Ad-based Geolocation Surveillance Tech 🛡️Security Type Systems

citizenlab.ca·20h·Hacker News

HarshithReddy01/redos-analyzer: Static analysis tool that detects and automatically fixes ReDoS vulnerabilities in Python using sre_parse AST analysis. 🌳Tree Shaking

github.com·2d·Hacker News

Formal Modeling and Analysis of Distributed Systems from AWS ✓Formal Methods

p-org.github.io·3d·Hacker News

Show HN: BillSpike – Root cause analysis for cloud cost spikes 🌳Tree Shaking

news.ycombinator.com·23h·Hacker News

Logical Robots: Declarative Multi-Agent Programming in Logica 🧠Symbolic AI

arxiv.org·1d

cdnsteve/remembrallmcp: Persistent memory and code dependency graph for AI agents. MCP server with hybrid search, blast radius analysis, and 8-language support. Rust + Postgres + pgvector. 📋Tablegen

github.com·6d·Hacker News

How Anthropic detects third-party clients: system prompt analysis, not headers or TLS 🛡️Security Type Systems

gist.github.com·18h·Hacker News

Show HN: Artificial Intelligence Squared 💡Explainable AI

ai-squared.vercel.app·1d·Hacker News

Decreasing Disruption and Increasing Concentration of Artificial Intelligence | Minds and Machines 🔄Systems Thinking

link.springer.com·1d

Vibe Analysis 🏺Code Archeology

newsletter.dancohen.org·3d·Hacker News

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels 🗺️Region Inference

arxiv.org·2d

Loading more...