Things you can do with a Software Defined Radio (2024)
blinry.org
Bertrand Russell to Oswald Mosley (1962)
lettersofnote.com
Launch HN: Rowboat (YC S24) – Open-source IDE for multi-agent systems
github.com
UTF-8 as told by Rob Pike
doc.cat-v.org
CIA Freedom of Information Act Electronic Reading Room
cia.gov
We're launching a new Google app for Windows experiment in Labs
blog.google
Self Propagating NPM Malware Compromises over 40 Packages
stepsecurity.io
Implicit Ode Solvers Are Not Universally More Robust Than Explicit Ode Solvers
stochasticlifestyle.com
1975 Sep 16 MOS Technology samples 6502 at WESCON, here's how they designed it
embeddedrelated.com
Generative AI as Seniority-Biased Technological Change
papers.ssrn.com
Microsoft Favors Anthropic over OpenAI for Visual Studio Code
theverge.com
Teen Safety, Freedom, and Privacy
openai.com
60 years after Gemini, newly processed images reveal details
arstechnica.com
Java 25 Officially Released
mail.openjdk.org
Migrating to React Native's New Architecture
shopify.engineering
Scientists uncover extreme life inside the Arctic ice
news.stanford.edu
After escaping Russian energy dependence, Europe is locking itself in to US LNG
davekeating.substack.com
Learn x86-64 assembly by writing a GUI from scratch (2023)
gaultier.github.io
"Your" vs. "My" in user interfaces
adamsilver.io
Abstract:
"We present the design of CompFuzzCI, a framework for incorporating compiler fuzzing into the continuous integration (CI) workflow of the compiler for Dafny, an open-source programming language that is increasingly used in and contributed to by industry. CompFuzzCI explores the idea of running a brief fuzzing campaign as part of the CI workflow of each pull request to a compiler project. Making this effective involved devising solutions for various challenges, including how to deduplicate bugs, how to bisect the project’s revision history to find the commit responsible for a regression (challenging when project interfaces change over time), and how to ensure that fuzz testing complements existing regression testing efforts. We explain how we have engaged with the Dafny development team at Amazon to approach these and other problems in the design of CompFuzzCI, and the lessons learned in the process. As a by-product of our work with CompFuzzCI, we found and reported three previously-unknown bugs in the Dafny compiler. We also present a controlled experiment simulating the use of CompFuzzCI over time on a range of Dafny commits, to assess its ability to find historic bugs. CompFuzzCI prioritises support for the Dafny compiler and the fuzz-d fuzzer but has a generalisable design: with modest modification to its internal interfaces, it could be adapted to work with other fuzzers, and the lessons learned from our experience will be relevant to teams considering including fuzzing in the CI of other industrial software projects."
https://github.com/CompFuzzCI