Ubuntu disables Intel GPU security mitigations, promises 20% performance boost
arstechnica.com·5m
🛡️RISC-V Security
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
This Intel Core i7 motherboard is probably the world's most powerful SBC - and yet it is as small as the Raspberry Pi 5
techradar.com·22m
🖥️Modern Terminals
How to Speed Up TPRM Approvals with Spectra Assure
reversinglabs.com·7h
🔒Hardware Attestation
Learning High-Quality Latent Representations for Anomaly Detection and Signal Integrity Enhancement in High-Speed Signals
arxiv.org·1d
🧠Machine Learning
How to (Almost) solve cybersecurity once and for all
adaptive.live·23h·
Discuss: Hacker News
🔐Systems Hardening
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·15h
🔍Concolic Testing
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Intel lays off hundreds of engineers in California, including chip design engineers and architects — automotive chip division also gets the axe
tomshardware.com·7h·
Discuss: Hacker News
🔩Systems Programming
Augmenting Penetration Testing Methodology with Artificial Intelligence – Part 3: Arcanum Cyber Security Bot
blackhillsinfosec.com·5h
🕵️Penetration Testing
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Getting an LLM to set its own temperature
amanvir.com·20h·
Discuss: Hacker News
🐛Fuzzing
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·23h·
Discuss: DEV
🦀Rust Borrowing
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Abusing copyright strings to trick software into thinking it’s running on your competitor’s PC
devblogs.microsoft.com·1d·
Discuss: Lobsters, Hacker News
🏺Kerberos Archaeology
May the Feedback Be with You! Unlocking the Power of Feedback-Driven Deep Learning Framework Fuzzing via LLMs
arxiv.org·1d
🐛Fuzzing
Threaded Code
muforth.dev·8h·
Discuss: Hacker News
🦀Rust Macros
What Is Wrong with Statement Coverage
bullseye.com·3d·
Discuss: Hacker News
🧪Property-Based Testing