15451
Aggregating all cinema showtimes in Germany with Clojure
How I build a website for choosing movies
New
The latest blog posts to take off on Hacker News. 80,898 posts.
15452
Apple announces new accessibility features, including eye tracking
Apple today announced new accessibility features coming later this year, including Eye Tracking, Music Haptics, and Vocal Shortcuts.
15453
The Worst Website in the Entire World
The Worst Website In The Entire World is owned by Broadcom
15454
What went wrong with UniSuper and Google Cloud?
Update 2024-05-21: Miles Ward has an update with more details in this X thread: UniSuper’s production Google Cloud VMware Engine (GCVE) private cloud was automatically deleted one year after it’s creation due to a misconfiguration in how it was created. When it was created, there was a bug in the creation script which…
15455
I coded something dumb and I'm proud of it
When Simplicity is Preferrable to Efficiency
15456
How to get 7th graders to smoke
OR: "fuzzy, wet, and unfalsifiable"
15457
Fastest rate of natural carbon dioxide rise over the last 50k years
CORVALLIS, Ore. – Today’s rate of atmospheric carbon dioxide increase is 10 times faster than at any other point in the past 50,000 years, researchers have found through a detailed chemical analysis of ancient Antarctic ice. The findings, just published in the Proceedings of the National Academy of Sciences, provide…
15458
Štar: an iteration construct for Common Lisp
Štar is a concise and extensible iteration construct for Common Lisp which aims to be pleasant to use, easy to understand, fast if needed, general, and not to look like Fortran....
15459
Translation of Rust's core and alloc crates to Coq for formal verification
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrapordefault or all other primitive functions. For each…
15460
Parking reform legalized most of the new homes in Buffalo and Seattle (2023)
Studies from two very different cities showed the same result.
15461
The most talented person in the world
Jodie is a cross-functional 3D designer and blogger. She has special interests in open source 3D printing for R&D and has spent a lot of time at different projects across the globe to learn more about 3D printing. Most of what she has learned is from hands-on experience.
15462
The new APT 3.0 solver
APT 2.9.3 introduces the first iteration of the new solver codenamed solver3, and now available with the –solver 3.0 option. The new solver works fundamentally different from the old one. How does it work? Solver3 is a fully backtracking dependency solving algorithm that defers choices to as late as possible. It…
15463
15464
Sir, there's a cat in your mirror dimension
Pets do the darndest things, especially if you teach them a bit of math.
15465
Compiler Explorer
Or the 'Matt Godbolt shows us some compiler magic' edition!
15466
Firefox search update
Innovation and privacy go hand in hand here at Mozilla. To continue developing features and products that resonate with our users, we’re adopting a new a
15467
Optimizing ClickHouse: Tactics that worked for us
At LaunchDarkly, we ingest nearly 100 terabytes of observability data from our customers every month.
15468
Fast linked lists
Using linked lists to optimize performance in a JSON schema validator.
15469
New work extends the thermodynamic theory of computation
In a paper published in Physical Review X on May 13, a quartet of physicists and computer scientists expand the modern theory of the thermodynamics of computation. By combining approaches from statistical physics and computer science, the researchers introduce mathematical equations that reveal the minimum and maximum…
15470
Bossware is a big legal risk
Monitoring employees in the name of productivity or security can cause a lot more problems than it solves.
15471
New gel breaks down alcohol in the body
Researchers at ETH Zurich have developed a protein-based gel that breaks down alcohol in the gastrointestinal tract without harming the body. In the future, people who take the gel could reduce the harmful and intoxicating effects of alcohol.
15472
What factors explain the nature of software?
I sometimes find myself asked to give advice on how organisations should go about creating software, but often my advice doesn’t gel with those who sought it. Sometimes that’s because only one answer was ever considered acceptable; sometimes I am ignorant of important wider context and my answer is unworthy of…
15473
HBase Deprecation at Pinterest
Alberto Ordonez Pereira | Senior Staff Software Engineer; Lianghong Xu | Senior Manager, Engineering;
15474
15475
The notifier pattern for applications that use Postgres
Maximizing Postgres connection economy by using a single connection per program to receive and distribute all listen/notify notifications.
15476
Using ARG in a Dockerfile – beware the gotcha
Learning about the subtle gotcha with ARG and FROM instruction ordering in Dockerfile definitions.
15477
Claude is now available in Europe
Claude, Anthropic's trusted AI assistant, is now available for people and businesses across Europe.
15478
A review on protein language models
Protein “language” is a lot like human language. Given the similarities, researchers have been building and training language models on protein sequence data, replicating the success seen in other domains, with profound implications. In this post, I will explore how transformer models have been applied to protein data…
15479
Upstreaming Linux kernel support for the Snapdragon X Elite
Discover the power of Snapdragon X Elite with upstreamed Linux kernel support. Explore areas of focus and unlock new potential with Snapdragon Linux today.
15480
Intel announces the Aurora supercomputer has broken the exascale barrier
At ISC 2024, Intel announces Aurora is the fastest AI supercomputer, has broken the exascale barrier, and details the importance of an open ecosystem in HPC and AI.