1471
Using Google’s code history to write more code
Posted by Petros Maniatis and Daniel Tarlow, Research Scientists, Google Software isn’t created in one dramatic step. It improves bit by bit, one l...
New
The latest blog posts to take off on Hacker News. 2,475 posts.
1472
Targeted attack on our management with the Triangulation Trojan
So you’ve heard of blockchain. But how can you use it in your enterprise today? Vitaly Mzokov explores the benefits and security challenges.
1473
Rust to Assembly: Understanding the Inner Workings of Rust
How Rust compiles to assembly: enum memory layout, smart pointers, static vs dynamic dispatch, vtables, closures, vector iteration and async state machines.
1474
The planning of U.S. physician shortages (2020)
Misguided modeling created a "physician surplus" narrative, the harmful consequences of which we are still dealing with today.
1475
Brave Browser introduces vertical tabs
Brave's vertical tabs feature is now available for Windows, macOS, and Linux users to experience a new way to manage open tabs.
1476
1477
Operation Triangulation: iOS devices targeted with previously unknown malware
While monitoring the traffic of our own corporate Wi-Fi network, we noticed suspicious activity that originated from several iOS-based phones. Since it is impossible to inspect modern iOS devices from the inside, we created offline backups of the devices, inspected them and discovered traces of compromise.
1478
I went down the rabbit hole of buying GitHub Stars, so you won't have to
Exposing the dark side of GitHub and open source projects
1479
Introduction to Open Source Laptop Project by Lukas Henkel
Ever dreamt of designing your own open-source laptop? For a while now I´ve been fascinated by this idea. As you can probably imagine, this is a monumental task that will require a lot of time and resources. Working alone on a project of this size makes matters even more difficult.
1480
1481
OpenAI's plans according to sama
Last week I had the privilege to sit down with Sam Altman and 20 other developers to discuss OpenAI’s product plans. Sam was remarkably open. The discussion touched on practical developer issues as well as bigger-picture questions related to OpenAI’s mission and the societal impact of AI. Here are the key takeaways.
1482
Zulip 7.0: Threaded open-source team chat
We’re excited to announce the release of Zulip Server 7.0, containing hundreds of new features and bug fixes! Zulip is an open-source team chat application designed to help people collaborate to solve any challenge. With conversations organized by topic, Zulip is ideal for both live and asynchronous …
1483
Improving mathematical reasoning with process supervision
We’ve trained a model to achieve a new state-of-the-art in mathematical problem solving by rewarding each correct step of reasoning (“process supervision”) instead of simply rewarding the correct final answer (“outcome supervision”). In addition to boosting performance relative to outcome supervision, process…
1484
RISE: Accelerate the development of open source software for RISC-V
Enabling commercial-ready software for application processors using RISC-V architecture for segments including mobile, consumer electronics, datacenter, and automotive
1485
SVG Images from Postgres
We are excited to announce a new set of functions to generate svgs from Postgres and PostGIS! This gives you really easy maps, images, or charts directly from your database. Once you start reading through these samples, you'll want to start playing with images from your database.
1486
When LIMIT 9 works but LIMIT 10 hangs
I got a Slack message from colleagues at a major partner. They’d updated their dev environment to support WebSockets, so that Neon’s serverless driver could be used there, but then they’d run into a weird issue. The nub of it was this: This hangs: This works Reproducibly, the query without an ORDER BY ran fine […]
1487
1488
A new class of tiny, self-propelled robots that can zip through liquid at speed
CU Boulder engineers have designed a new class of "microrobots" several times smaller than the width of a human hair that may be able to treat human illnesses
1489
Notes apps are where ideas go to die (2022)
Insurance for your mind.
1490
Directly compiling Scheme to WebAssembly: lambdas, recursion, iteration
It's been just over three months since we announced the Guile on WebAssembly project (codenamed Hoot ). Since then we've brought on two fantastic hackers to develop the project and progress has been quick.
1491
Box64 and RISC-V
Box64 and RISC-V, the challenges of wrtting the Dynarec, and benchmarks
1492
Nvidia DGX GH200: 100 Terabyte GPU Memory System
At COMPUTEX 2023, NVIDIA announced NVIDIA DGX GH200, which marks another breakthrough in GPU-accelerated computing to power the most demanding giant AI workloads.
1493
A Mechanistic Interpretability Analysis of Grokking
Neel Nanda reverse engineers neural networks that have "grokked" modular addition, showing that they operate using Discrete Fourier Transforms and tr…
1494
Federal judge: Border searches of cell phones require a warrant
With United States v. Smith (S.D.N.Y. May 11, 2023), a district court judge in New York made history by being the first court to rule that a warrant is required for a cell phone search at the border, “absent exigent circumstances” (although other district courts have wanted to do so).EFF is...
1495
Databricks acquires serverless Postgres vendor bit.io
bit.io is joining Databricks, where co-founders Adam Fletcher and Jonathan Mortensen and the team will apply their expertise to deliver groundbreaking new developer experiences for data and AI.
1496
1497
WASIX, the Superset of WASI Supporting Threads, Processes and Sockets
Today we are very excited to launch a new initiative that will start shaping the future of WebAssembly on both the browser and the server. WASI was ann...
1498
Statement on AI Risk
A statement jointly signed by a historic coalition of experts: “Mitigating the risk of extinction from AI should be a global priority alongside other societal-scale risks such as pandemics and nuclear war.”
1499
Dynamic Forms with LiveView Streams
Learn how to use to_form/1 and LiveView Streams to create a dynamic list of forms.
1500
Sigils are underappreciated (2022)
Sigils have a bit of a bad reputation. According to their detractors, sigils are “just a way of encoding type information” in variable names – basically a glorified version of apps Hungarian notati…