3241
Š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....
New
The latest blog posts to take off on Hacker News. 5,273 posts.
3242
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…
3243
Parking reform legalized most of the new homes in Buffalo and Seattle (2023)
Studies from two very different cities showed the same result.
3244
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.
3245
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…
3246
3247
Sir, there's a cat in your mirror dimension
Pets do the darndest things, especially if you teach them a bit of math.
3248
Compiler Explorer
Or the 'Matt Godbolt shows us some compiler magic' edition!
3249
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
3250
Optimizing ClickHouse: Tactics that worked for us
At LaunchDarkly, we ingest nearly 100 terabytes of observability data from our customers every month.
3251
Fast linked lists
Using linked lists to optimize performance in a JSON schema validator.
3252
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…
3253
Bossware is a big legal risk
Monitoring employees in the name of productivity or security can cause a lot more problems than it solves.
3254
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.
3255
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…
3256
HBase Deprecation at Pinterest
Alberto Ordonez Pereira | Senior Staff Software Engineer; Lianghong Xu | Senior Manager, Engineering;
3257
3258
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.
3259
Using ARG in a Dockerfile – beware the gotcha
Learning about the subtle gotcha with ARG and FROM instruction ordering in Dockerfile definitions.
3260
Claude is now available in Europe
Claude, Anthropic's trusted AI assistant, is now available for people and businesses across Europe.
3261
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…
3262
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.
3263
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.
3264
Release of Fugaku-LLM – a large language model trained on supercomputer Fugaku
Release of “Fugaku-LLM” – a large language model trained on the supercomputer “Fugaku”
3265
DOS game “F-15 Strike Eagle II” reverse engineering/reconstruction war stories
Misadventures in 16bit reverse engineering, programming WTFs and general rants about the IT industry.
3266
New mRNA cancer vaccine triggers immune response to malignant brain tumor
In a first-ever human clinical trial of four adult patients, an mRNA cancer vaccine developed at the University of Florida quickly reprogrammed the immune…
3267
Amazon S3 will no longer charge for several HTTP error codes
Discover more about what's new at AWS with Amazon S3 will no longer charge for several HTTP error codes
3268
Apple and Google deliver support for unwanted tracking alerts in iOS and Android
Apple and Google have teamed up to deliver support for unwanted Bluetooth tracking alerts in iOS and Android.
3269
GPT-4o
We’re announcing GPT-4 Omni, our new flagship model which can reason across audio, vision, and text in real time.
3270
Good, Kind, Caring People Became the Bad Guys
Xoilac tv là kênh xem bóng đá trực tiếp 24/7 phát sóng trực tiếp bóng đá hơn 20 giải đấu. Chất lượng hình ảnh HD 4K, tốc độ ổn định, xem ttbd trên mọi thiết bị.