🔍 KLEE

Symbolic Execution, Program Analysis, Bug Finding, LLVM-Based

Assembly output to figure out lvalues from rvalues, assignment to array vs pointer
godbolt.org·1d·
Discuss: r/C_Programming
📏Linear Types
Flag this post
How I Reverse Engineered a High-Volume Solana Arbitrage Bot
clumsy-geranium-e59.notion.site·10h·
Discuss: r/programming
💰TigerBeetle
Flag this post
Reverse Engineering Yaesu FT-70D Firmware Encryption
landaire.net·22h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Announcing Dart 3.10
blog.dart.dev·1d·
Discuss: Hacker News
🔎Quickwit
Flag this post
Ask HN: What open source LLM agent do you guys use and why?
news.ycombinator.com·15h·
Discuss: Hacker News
🖥️SerenityOS
Flag this post
Rippling's Gunicorn pre-fork journey – Rippling
rippling.com·12h·
Discuss: Hacker News
🎆Firecracker
Flag this post
Building an autograd engine in pure Rust
evis.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Exhaustive profiling toolkit: elfutils and libdwfl_stacktrace
developers.redhat.com·1d
📊Profiling Tools
Flag this post
TAI #178: Kimi K2 Thinking Steals the Open-Source Crown With a New Agentic Contender
pub.towardsai.net·2d
💬Prompt Engineering
Flag this post
TawPipe: Topology-Aware Weight Pipeline Parallelism for Accelerating Long-Context Large Models Training
arxiv.org·1h
🌀Naiad
Flag this post
CoCo-MILP: Inter-Variable Contrastive and Intra-Constraint Competitive MILP Solution Prediction
arxiv.org·1d
📊Dynamic Programming
Flag this post
When Correct Is Not Safe: Can We Trust Functionally Correct Patches Generatedby Code Agents?
paperium.net·1d·
Discuss: DEV
🛡️AI Security
Flag this post
ParaRNN [from Apple Research]
github.com·1d·
Discuss: Hacker News
🔥PyTorch
Flag this post
Unlocking Deep Learning's True Potential: The Polyhedral Optimization Edge by Arvind Sundararajan
dev.to·23h·
Discuss: DEV
📱Edge AI
Flag this post
Linux kernel patch from Thomas Gleixner improves Postgres benchmark by 15%
lore.kernel.org·2d·
Discuss: Hacker News
🔒Futex
Flag this post
A Tensor Residual Circuit Neural Network Factorized with Matrix Product Operation
arxiv.org·1d
🧮Vector Databases
Flag this post
Abstract Classes in TypeScript: Enforcing an Architectural Imperative
dev.to·12h·
Discuss: DEV
📐Type Theory
Flag this post
Error Correction in Radiology Reports: A Knowledge Distillation-Based Multi-Stage Framework
arxiv.org·1h
🌀Naiad
Flag this post
ImpossibleBench: Measuring LLMs' Propensity of Exploiting Test Cases
dev.to·21h·
Discuss: DEV
🔍Reverse Engineering
Flag this post
PROPA: Toward Process-level Optimization in Visual Reasoning via Reinforcement Learning
arxiv.org·1h
💬Prompt Engineering
Flag this post