2371
LeCun's 2022 paper on autonomous machine intelligence does not cite prior work
1990: gradient descent learns subgoals. 1991: multiple time scales and levels of abstraction. 1997: world models learn predictable abstract representations...
2372
Letters about Soap (1997)
Our faculty members are world-class researchers and teachers who have attracted funding from federal agencies and industry for not only research, but also teaching, curriculum development and K-12 outreach. Faculty areas of expertise include cybersecurity, high- assurance computing, cyber-physical systems, artificial…
2373
Intel gets worse, but Power11 might get better
Just in case we needed any more reassurance we made the right move with OpenPOWER: Phoronix is reporting that Intel is about to get even ...
2374
All you need is links
When Tim Berners Lee talks about how he designed the web, he uses an analogy from physics, describing his process as a quest to find “fundamental laws” which can generate a desired system:
2375
Phases of Netflix’s real-time data infrastructure
The blog post will share the four phases of Real-time Data Infrastructure’s iterative journey in Netflix (2015-2021). For each phase, we will go over the evolving business motivations, the team’s unique challenges, the strategy bets, and the use case patterns we discovered along the way.
2376
If Programming Languages Were Futurama Characters
Map your (least) favorite programming language to your favorite Planet Express crew member based on its characteristics.
2377
2378
2379
I Avoid Async/Await
Whatever your stance on async/await, I’d like to pitch to you on why, in my experience, async/await tends to make code more complicated…
2380
Is CBL-Mariner going to become Microsoft Linux?
Microsoft is increasingly standardizing on its in-house CBL-Mariner Linux distribution. Is this Microsoft Linux?
2381
US military's mysterious X-37B space plane zooms toward orbital record
That Earth-circling U.S. military X-37B robotic space drone is closing in on a new long-duration record.
2382
My take on how DuckDuckGo can outperform Google
The Current Status Quo
2383
System memory allocator free operation zeroes out deallocated blocks in iOS 16
The system memory allocator free operation zeroes out all deallocated blocks in iOS 16.1 beta or later. Invalid accesses to free memory might result in new crashes or corruption, including NULL -pointer dereferences and non-zero memory being returned from calloc .
2384
2385
Two Years of Life with PinePhone
On June 9th, 2020, early into a still raging pandemic, I received my PinePhone UBports Community Edition. It's incredible how fast these two years went by, and how much the PinePhone experience improved in the meantime. This is just a subjective post about what I remember, you may also consider it a
2386
Ventura Issues
I’m more surprised by the nature of many of these issues, by how ridiculous they are compared with the sheer age and supposed maturity of a 20+ year-old operating system.
2387
Abstraction: Not what you think it is
What abstraction really means in programming, from PL theory, by Jimmy Koppel: why functions, interfaces, and indirection are not abstraction.
2388
A lock-free, concurrent, generic queue in 32 bits
While considering concurrent queue design I came up with a generic, lock-free queue that fits in a 32-bit integer. The queue is “generic” in that a single implementation supports elements of any arbitrary type, despite an implementation in C. It’s lock-free in that there is guaranteed system-wide progress. It can…
2389
An automatic theorem proving project
I am very happy to say that I have recently received a generous grant from the Astera Institute to set up a small group to work on automatic theorem proving, in the first instance for about three y…
2390
How I finally get daily journaling done with a workflow on my iPhone
Hello, I’m Michael Sliwinski, founder of Nozbe - to-do app for business owners and their teams. I write essays, books, work on projects and I podcast for you using #iPadOnly in #NoOffice as I believe that work is not a place you go to, it’s a thing you do.
2391
Extreme explorations of TypeScript's type system
Some of the most creative, wacky explorations of what you can do in TypeScript's type system!
2392
2393
I killed my startup
It's been over a year since I killed my startup, and a few weeks ago I revisited the spot where I decided to do it. It's about time I talk about it
2394
The Death of Process
To write great policies, arm those in the future who will kill your darlings
2395
Galois field instructions on 2021 CPUs
CPUs like to operate on data types such as uint8_t , uint16_t , uint32_t , and uint64_t . These data types can be viewed as integers modulo 2 8 , 2 16 , 2 32 , and 2 64 respectively. Addition and multiplication can be defined on these integers modulo 2 N in a way which is familiar to most people; for example, in…
2396
Verifying distributed systems with Isabelle/HOL
We use distributed systems every day in the form of internet services. These systems are very useful, but also challenging to implement because networks are unpredictable. Whenever you send a message over the network, it is likely to arrive quite quickly, but it’s possible that it might be delayed for a long time, or…
2397
In defense of coding interviews
What did whiteboards ever do to you?
2398
Verilog Is Weird
Verilog is the most commonly used language for hardware design in America (VHDL is more common in Europe). Too bad it's so baroque. If you ever browse the Verilog questions on Stack Overflow , you'll find a large number of questions, usually downvoted, asking “why doesn't my code work?”, with code that's not just a…
2399
2400
How to make decisions like a poker player
Thinking in bets is a decision-making framework developed by poker player Annie Duke. Here's how it can make you a better decision-maker: