Formal Methods, Distributed Algorithms, Model Checking, Correctness

PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·38m·
Discuss: Hacker News
🔥PyTorch
Flag this post
channels-console - Real-time monitoring, metrics and logs for Rust channels
github.com·6h·
Discuss: r/rust
Hyper
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Hephaestus: AI workflows that discover and create their own tasks as they work
reddit.com·14h·
Discuss: r/LocalLLaMA
FastAPI
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·18h
📱Edge AI
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·1d
💬Prompt Engineering
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·1d
📱Edge AI
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·18h
🕸️Mesh Networks
Flag this post
Cj: a tiny no-deps JIT in C for x86-64 and ARM64
reddit.com·4h·
Discuss: r/programming
⚙️JIT Compilation
Flag this post
Beyond Scarcity: How LLM-Driven Synthetic Data Generation is Reshaping AI
pub.towardsai.net·18h
💬Prompt Engineering
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·2d
⛓️Blockchain
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·18h
🔍eBPF
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🎯Hindley-Milner
Flag this post
AI That Shows Its Work: The Transparent Revolution of PALs
dev.to·7h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·18h
💬Prompt Engineering
Flag this post
Building a Smart Task Tracker Agent for Telex.im with ASP.NET Core
dev.to·12h·
Discuss: DEV
🤖Automation
Flag this post
Attention Is All You Need for KV Cache in Diffusion LLMs
paperium.net·1d·
Discuss: DEV
🔁Cache Coherence
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post