2013
view article1996
view article1988
view article1988
view article1979
view article1973
view article1970
view article1967
view article1952
view article1940
view article1938
view article1938
view article1913
view article1908
view article1898
view article1886
view article1886
view article1866
view article1863
view article1848
view article1839
view article1819
view article1778
view article1775
view article1767
view article1767
view article1754
view article1535
view article1450
view article987
view articlePradyumna's site
Protect your right to run local AI. Sign in ten seconds, call your state office in two minutes.
Generate shareable SVG K-line and candlestick charts from GitHub repository commits and code changes.
I'm Jesse. I make stuff. Software, hardware. Very occasionally, trouble.
zkGolf is a competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4. Pick a challenge, write a leaner circuit, and prove it stays correct against the spec.
So. For the past few days I've been deep in a fun and very rewarding, but also extremely scary debugging saga. To cut a long git-bisecting story short: Since Linux 6.9 (May 2024), the tool that locks the laptop's drive on suspend had been silently failing. Like many of my friends, I use full-disk encryption (LUKS) to protect my data if my laptop is lost, seized or stolen. Highly recommended to everyone; in combination with tested and automated backups, it contributes greatly to peace of mind. (Under Windows, the canonical software to do that is VeraCrypt.) Except that, for more than two years, the encryption key remained resident in memory across suspend, leaving it there for the taking by anyone who seized the still-powered laptop. (It
Scott's foreword: Cynthia Dwork is Gordon McKay Professor of Computer Science at Harvard, and a pioneer in the fields of differential privacy and algorithmic fairness. On my recent travels to the SigmaWest science camp and then STOC, there was much talk about a recent Trump administration action that would ban not only differential privacy, but…
When workflow metadata and application data live in the same Postgres database, they can be updated in the same database transaction, which simplifies tough problems like workflow task idempotency and atomicity.
Entirety of `rustc`, translated to C. . Contribute to FractalFir/crustc development by creating an account on GitHub.
This is my attempt to get Vulkan going on NetBSD. Contribute to segaboy/vulkan-netbsd development by creating an account on GitHub.
ActivityPub-federated video streaming platform using P2P directly in your web browser - Chocobozzz/PeerTube
For almost 30 years, the body of the climber became a macabre landmark for thousands attempting to reach the summit.