.MNT Research GmbH unveils the slimmer, more powerful, but just as open MNT Reform Next laptop. hackster.io/news/mnt-resea…

if you want to stay in the loop about our new Open Hardware laptop MNT Reform Next, the Crowd Supply prelaunch page is now online: crowdsupply.com/mnt/mnt-reform…

Accidentally uncovering a seven years old vulnerability in the Linux kernel Article by Anderson Nascimento about finding and analyzing a slab use-after-free vulnerability in the TCP sockets implementation. allelesecurity.com/accidentally-u…

Did you know I made a board scan wiki with all the scans I've made to date. These are excellent for fixing devices wiki.nataliethenerd.com

making a semantically equivalent frankenstein's monster out of your fuzzing target is most of the fun in fuzzing (outside of making the fuzzer itself)

Collection is growing! Rodrigo

Want a 5-min break from RL?? Bringing to you my latest paper, to be presented at ICML Conference this July -- ‘ExpProof : Operationalizing Explanations for Confidential Models with ZKPs’ Explanations, though starting out as a debugging tool, are now proposed as a means to prove

Really enjoyed TyphoonCon🌪️ keynote of Andy Andy Nguyen about his journey of hacking gaming consoles. One of the best and most inspiring talks on bug hunting I have ever seen!

Understanding Linux Mount and Unmount Operations blogs.oracle.com/linux/post/und…

commoncrawl.org/blog/host--and…

This is a great resource -- developer.apple.com/library/archiv…

@____@

洞

Vibe coding with Erik Meijer using LLMs to generate circuits specified and formally verified in Agda and Lean, LLM transliterated into SystemVerilog with corresponding UVM tests and SVA formal properties for model checking, as well as LLM generated FSM Mermaid diagrams. Took

drowning in context

Don't tell Dijkstra. On the foolishness of "natural language programming". cs.utexas.edu/~EWD/transcrip…

A fabulous interview with the inspiring Andy Gordon where he makes a compelling case for developing software from natural language prompts, something he puts into practice at Cogna. An inspiring career spanning the Haskell bind operator; lambdas in Excel; to LLMs for no-code