The Stallman report
Normalization of sexual relations between adults and minors Richard Stallman has consistently advanced the political position that minors can consent to sex with adults. Stallman’s position on minors having sex with adults is the only position addressed in this report for which Stallman has issued a retraction: Many years ago I posted that I could not see anything wrong about sex between an adult
Linux/4004 Slowly booting full Linux on the intel 4004 for fun, art, and absolutely no profit TL;DR I booted Debian Linux on a 4-bit intel microprocessor from 1971 - the first microprocessor in the world - the 4004. It is not fast, but it is a real Linux kernel with a Debian rootfs on a real board whose only CPU is a real intel 4004 from the 1970s. The video is sped up at variable rates to demonst
May 22, 2024 In response to a recent Boats article, I mentioned that Rust’s type system drastically changes things for verification. This comment seems to have aroused a lot of interest, so I figured I’d expand on it, explaining how Rust simplifies formal verification and why this had the verification community excited for a while now. I assume that most of you reading this post won’t be experts i
The sad state of property-based testing libraries Posted on Jul 2, 2024 Property-based testing is a rare example of academic research that has made it to the mainstream in less than 30 years. Under the slogan “don’t write tests, generate them” property-based testing has gained support from a diverse group of programming language communities. In fact, the Wikipedia page of the original property-bas
I’ve been excited about OpenAI as an organization since it was first announced in December 2015. After the announcement, I stayed up all night writing down thoughts on the significance of it. Even before that, around 12 years ago, I decided to devote my life to something in the rough vicinity of OpenAI’s mission (ensuring AGI benefits all of humanity). So leaving what is essentially my dream job –
oss-security - Re: CVE-2024-6387: RCE in OpenSSH's server, on glibc-based Linux systems
Follow @Openwall on Twitter for new release announcements and other news [<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list] Date: Mon, 8 Jul 2024 18:21:06 +0200 From: Solar Designer <solar@...nwall.com> To: oss-security@...ts.openwall.com Cc: Qualys Security Advisory <qsa@...lys.com> Subject: Re: CVE-2024-6387: RCE in OpenSSH's server, on glibc-based Linux systems Hi, Today
数学証明が社会協定である理由
かなり前に紹介した“証明支援系が一流数学へと飛躍する” の前置きの中で御登場願った欧州某国の知人(非英語圏の方です)が来日を終えて無事に帰国したことを知らせてくれたので、その返信として月並みですが、How did you like Japan?と書き送ったところ、旅行記かと思う程詳細な感想を書き寄越してくれました。その最後のごく一部分をそのまま書けば以下の通りです。 Lastly, I was surprised that most Japanese people didn't understand English. I couldn't have enjoyed myself in Japan without you. I'm indebted to your help. If you're ever here, please feel free to contact me anytim
Akiya of Japan: How to Buy Abandoned Houses (Akiya) in Japan
We have long heard that houses in Japan are expensive. What if, all of a sudden, someone tells you that you can buy a cheap house in Japan? Imagine the waves such a statement will cause! The same thing happened with the Akiya phenomenon in Japan. A relatively unknown word, “Akiya,” suddenly became a commonly used word among foreigners in Japan and many outside Japan. You will frequently hear forei
Some time ago I received an invitation to appear on a podcast. The team at Ruby Rogues had heard about my work on super_diff and shoulda-matchers (two of my most starred and most maintained repos), and wanted to know, would I like to come on the show and talk about it? After much deliberation, I decided to take the interview. On the scheduled day and time, I joined the call… and from the first mom
Look ma, I wrote a new JIT compiler for PostgreSQL – Pinaraf's website
Sometimes, I don’t know why I do things. It’s one of these times. A few months ago, Python 3.13 got its JIT engine, built with a new JIT compiler construction methodology (copy-patch, cf. research paper). After reading the paper, I was sold and I just had to try it with PostgreSQL. And what a fun ride it’s been so far. This blog post will not cover everything, and I prefer other communication meth
At a first glance, the table seems about right, in that the sites that feel slow unless you have a super fast device show up as slow in the table (as in, max(LCP*,CPU)) is high on lower-end devices). When I polled folks about what platforms they thought would be fastest and slowest on our slow devices (Mastodon, Twitter, Threads), they generally correctly predicted that Wordpress and Ghost would b
Recently I gave a talk at RailsWorld (hopefully they’ll post the video soon), and part of my presentation was about eliminating allocations in tokenizers. I presented a simple function for measuring allocations: def allocations x = GC.stat(:total_allocated_objects) yield GC.stat(:total_allocated_objects) - x end Everything in Ruby is an object, but not all objects actually make allocations. We can
How fast is javascript? Simulating 20,000,000 particles The challenge, simulate 1,000,000 particles in plain javascript at 60 fps on a phone using only the cpu. Let’s go. Ok, this is not a particularly difficult challenge if you did all the work on a gpu but the rule of the challenge is to use the CPU only or as much as possible and to stay in js land so no wasm. I know what you are thinking. This
Home Blog 2023-12-21 TL;DR: I think that a focus on memory safe languages (MSLs) versus non memory-safe languages is a bit of a red herring. The actual distinction is slightly bigger than that: languages which have defined behavior by default, with a superset where undefined behavior is possible, vs languages which allow for undefined behavior anywhere in your program. Memory safety is an importan
Ridgeline subscribers! Happy new year!! I meant to send a 2023 Year in Walking post, but then my arm got infected, and the year came crashing down, and now I figured I should address this new New York Times ranking ASAP. So here we are. Walking review coming soon, but we’ll have to wait a little longer. A few months ago The New York Times asked me for my picks for places to visit in 2024. For me,
March 24, 2024 · 9 min · 1915 words · Robin Kåveland | Suggest Changes I worked for a few years in the intersection between data science and software engineering. On the whole, it was a really enjoyable time and I’d like to have the chance to do so again at some point. One of the least enjoyable experiences from that time was to deal with big CSV exports. Unfortunately, this file format is still v
A Brief Meeting With Google After The Apocalypse – Brandon Saltalamacchia
It’s not often I get invited to Google’s headquarters. In fact this is only the second time I have ever been invited. The first was many years ago, before the founding of Retro Dodo, and it was actually an invite by YouTube to check out their studio for creators (which no longer exists). This time however, was focused more on the devastation that has occurred thanks to algorithm changes that infec
Origins Over half a year ago (in April, to be exact), I eventually decided to learn Rust for good. My previous attempt during the 2022 AoC had failed rather quickly, after a few days of completing the exercises - I finally realized that I needed a real project to work on. For the last few years, I've been dealing with the different kinds of distributed systems (mostly using C#), including the typi
Rust's iterators optimize nicely—and contain a footgun | nicole@web
I saw a claim recently that in functional programming using "map/filter iterates over the list twice, while the foreach loop iterates only once." The author continued that "Haskell can fuse maps together as an optimization but I don't think you safely fuse arbitrary map/filters? I dunno." There are really two claims here: in functional programming, map/filter will do two iterations there is an opt
Ariana Grande, Brandy, Monica - the boy is mine (Remix) (Official Lyric Video)
The official lyric video for Ariana Grande’s “the boy is mine remix” with Brandy and Monica. Listen & download here: https://arianagrande.lnk.to/tbimremix ►Subscribe to Ariana Grande: http://ArianaGrande.lnk.to/subscribe ►Follow Ariana Grande Instagram: https://www.instagram.com/arianagrande/ Facebook: https://www.facebook.com/arianagrande TikTok: https://www.tiktok.com/@arianagrande Websit
Building the Same App Using Various Web Frameworks [ learning engineering 🛠 ] · 8 min read Recently, I’ve been wondering if I should migrate from my current web app stack (FastAPI, HTML, CSS, and a sprinkle of JavaScript) to a modern web framework. I was particularly interested in FastHTML, Next.js, and Svelte. FastHTML: Many folks have started building with it since Jeremy Howard launched it a m
How I Use "AI"
I don't think that "AI" models [a] I hate this word. It's not AI. But I want people who use this word, and also people who hate this word, to find this post. And so I guess I'm stuck with it for marketing, SEO, and clickbait. (by which I mean: large language models) are over-hyped. Yes, it's true that any new technology will attract the grifters. And it is definitely true that many companies like
Blinded By the Light DOM
For a while now, Web Components (which I’m not going to capitalize again, you’re welcome) have been one of those things that pop up in the general web conversation, seem intriguing, and then fade into the background again. I freely admit a lot of this experience is due to me, who is not all that thrilled with the Shadow DOM in general and all the shenanigans required to cross from the Light Side t
Askar Safin
MV3 Chrome extension with iframe, which embeds any site July 19, 2024 I created manifest v3 Chrome/Chromium extension with <iframe>, which can host any site, even those, which set X-Frame-Options: deny. Also, my extension contains many hacks for some real world sites. So, this is the code: https://sr.ht/~safinaskar/blog-browser/ . The code is heavily commented. And this is list of hacks: – First o
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Linux/4004 - Dmitry.GR
xavxav - Visions of the future: formal verification in Rust
The sad state of property-based testing libraries
Why I’m Leaving OpenAI and What I’m Doing Next
Why I'm Retiring From Opensource | Elliot Winkler
How web bloat impacts users with slow devices
Eliminating Intermediate Array Allocations
How fast is javascript? Simulating 20,000,000 particles
Memory Safety is a Red Herring
Yamaguchi City — My 'New York Times' Pick This Year
Friends don't let friends export to CSV
Iggy.rs - building message streaming in Rust
Building the Same App Using Various Web Frameworks