1. Open letter accuses BBC board member of having a conflict of interest on Gaza (www.theguardian.com)
Miriam Margolyes, Alexei Sayle and Mike Leigh among signatories to letter criticising Jewish Chronicle ties
2025-07-08
23 篇热帖
2. SVGs that feel like GIFs (koaning.io)
The moving image below is only 49Kb and has an incredibly high resolution. It's similar to a GIF but instead of showing moving images, it shows moving SVGs!
3. Bootstrapping a side project into a profitable seven-figure business (projectionlab.com)
Bootstrapping a side project into a profitable seven-figure business in four years.
4. Firefox is fine. The people running it are not (www.theregister.com)
Opinion: Mozilla's management is a bug, not a feature
5. New sphere-packing record stems from an unexpected source (www.quantamagazine.org)
After just a few months of work, a complete newcomer to the world of sphere packing has solved one of its biggest open problems.
6. Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left (medium.com)
7. DOJ goes after US citizen for developing anti-ICE app (appleinsider.com)
The developer of an iPhone app for sharing sightings of Immigration and Customs Enforcement officers has been publicly threatened by the US Attorney General.
8. Thunderbird 140 “Eclipse” (blog.thunderbird.net)
Our future's so bright, we need ISO-approved shades. Find out what's shiny in our new Extended Security Release, Thunderbird 140 "Eclipse."
9. Show HN: OffChess – 100k+ Offline, Ad-Free Chess Puzzles App (offchess.com)
Offline Chess puzzles app.
10. Show HN: Interactive pinout for the Raspberry Pi Pico 2 (pico2.pinout.xyz)
An interactive, accessible and beautiful GPIO Pinout guide for the Raspberry Pi Pico 2
11. My first verified imperative program (markushimmel.de)
Important note: This post is out of date! It describes an old, early version of the mvcgen tactic. As of Lean 4.25.0, the syntax has changed a bit (for the better) and the system has become much more convenient to use. To learn more about mvcgen as it is released today, I recommend the official introduction that is part of the Lean reference manual. My reasoning why I find all of this very cool hasn’t changed, of course, so if you’re interested in that, read on.
12. Blind to Disruption – The CEOs Who Missed the Future (steveblank.com)
How did you go bankrupt?" Two ways. Gradually, then suddenly.” Ernest Hemingway, The Sun Also Rises Every disruptive technology since the fire and the wheel have forced leaders to adapt or die. This post tells the story of what happened when 4,000 companies faced a disruptive technology and why only one survived. In the early 20th…
13. LookingGlass: Generative Anamorphoses via Laplacian Pyramid Warping (studios.disneyresearch.com)
14. First malaria treatment for babies approved for use (www.bbc.com)
Until now, there had only been drugs for older children which carried an overdose risk for the young.
15. Running a Certificate Transparency log (words.filippo.io)
Maybe you, yes you, should run a Certificate Transparency log. It’s cheaper, easier, and more important than ever.
16. Analyzing database trends through 1.8M Hacker News headlines (camelai.com)
We analyzed 1.8 million Hacker News headlines spanning February 2007 to June 2025 to examine database engine popularity trends. Using camelAI connected to a ClickHouse database, we uncovered which databases the HN...
17. Batch Mode in the Gemini API: Process More for Less (developers.googleblog.com)
Discover how Batch Mode in Gemini API allows developers to submit large jobs, offload processing, and get results in 24 hours, offering simplicity, convenience, and cost-savings.
18. Leveraging Elixir's hot code loading capabilities to modularize a monolithic app (lucassifoni.info)
How hot code loading solves client-specific engineering problems in my startup Alzo
19. Zorin OS (zorin.com)
Discover the alternative to Windows and macOS designed to make your computer faster, more powerful, secure, and privacy-respecting.
20. Show HN: Jukebox – Free, Open Source Group Playlist with Fair Queueing (www.jukeboxhq.com)
21. Serving a half billion requests per day with Rust and CGI (jacob.gold)
In my previous post Serving 200 million requests per day with a cgi-bin, I did some quick performance testing of CGI using a program written in Go. Go works excellently for CGI programs, for many of the same reasons it works so well for CLI programs and system daemons. But, out of curiosity, I decided to do a bit more CGI testing with other languages. CGI is good technology, actually There’s a misconception that because CGI is old or because many CGI scripts had security vulnerabilities, CGI itself is somehow insecure or bad.