Introducing the Application Attack Matrix for Modern App Security | Oligo Security
oligo.securityยท8h
๐Ÿ”’WASM Capabilities
Comprehend TSVECTOR and TSQUERY in Postgres for Full-Text Search | by R. Gupta | Geek Culture | Medium
medium.comยท4d
๐ŸŒณTrie Structures
Show HN: An obsidian plugin inspired by the 'I deleted my second brain' article
versen.substack.comยท11hยท
Discuss: Substack
๐ŸŒฑPersonal Wikis
Design Considerations for an Anthropophilic Computer
web.stanford.eduยท5hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธVintage Macintosh
LLM Failures
funcall.blogspot.comยท21hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Complexities of Media Streaming
aschey.techยท2dยท
Discuss: Lobsters
๐ŸŽตAudio Streaming
Crucial FreeBSD Toolkit
vermaden.wordpress.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
200 million requests per day with Go and cgi-bin
golangweekly.comยท20h
๐Ÿ”งBinary Parsers
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.comยท22mยท
Discuss: Hacker News
โšกIncremental Computation
Time Space Breakthrough, Ancient Memory Systems & An I-Ching Inspired Hyper-Stack Scheduler
hackernoon.comยท3d
โšกCache Theory
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.orgยท16h
โœ“Automated Theorem Proving
Recap of all types of LLM Agents
towardsdatascience.comยท1h
โšกProof Automation
Code vs LLM in a simple planning poker agent example
dev.toยท3hยท
Discuss: DEV
โš”๏ธLean Tactics
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.comยท2dยท
Discuss: Hacker News
ฮปLambda Formalization
Finetuning CLIP to Reason about Pairwise Differences
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
SmartThinker: Learning to Compress and Preserve Reasoning by Step-Level Length Control
arxiv.orgยท1d
๐ŸงฎSMT Solvers
GTA1: GUI Test-time Scaling Agent
arxiv.orgยท16h
๐ŸŽฏEmulator Accuracy
Automated Reasoning for Vulnerability Management by Design
arxiv.orgยท16h
๐Ÿ”’WASM Capabilities
Basic Computations in Fault Tree Analysis
arxiv.orgยท16h
๐Ÿ“ŠStatic Analysis
Python Fundamentals: blocking IO
dev.toยท8hยท
Discuss: DEV
๐ŸŒŠStream Processing