lc: List files in categories (and columns) – from Coherent Unix clone
Comments
https://github.com/gdm85/lc
Comments
https://github.com/gdm85/lc
GitHub
GitHub - gdm85/lc: List files in categories (and columns) - from Coherent UNIX
List files in categories (and columns) - from Coherent UNIX - gdm85/lc
Wasmer (YC S19) Is Hiring a Rust Engineer in Europe
Comments
https://www.workatastartup.com/jobs/41643
Comments
https://www.workatastartup.com/jobs/41643
Y Combinator's Work at a Startup
Rust - Software Engineer (FTE) at Wasmer
**Role:** Rust Expert
**Type:** Full-time
**Location:** Remote
# About The Role
We are seeking a skilled Rust Engineer with industrial-strength software engineering skills to help us enable WebAssembly on any infrastructure compiled from any programing…
**Type:** Full-time
**Location:** Remote
# About The Role
We are seeking a skilled Rust Engineer with industrial-strength software engineering skills to help us enable WebAssembly on any infrastructure compiled from any programing…
Who Can Understand the Proof? A Window on Formalized Mathematics
Comments
https://writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
Comments
https://writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
Stephenwolfram
Who Can Understand the Proof? A Window on Formalized Mathematics
Stephen Wolfram discusses understanding proofs discovered using automated theorem proving. Based on Wolfram’s proof of the simplest axioms of logic of Boolean algebra.
Scientists drill 2 miles down pull 1.2M-year-old ice core from Antarctic
Comments
https://apnews.com/article/antarctica-old-ice-core-climate-change-epica-6f76c57abf254dd9cb698f767db5507b
Comments
https://apnews.com/article/antarctica-old-ice-core-climate-change-epica-6f76c57abf254dd9cb698f767db5507b
AP News
Scientists drill nearly 2 miles down to pull 1.2 million-year-old ice core from Antarctic
An international team of scientists announced Thursday they’ve successfully drilled one of the oldest ice cores yet, penetrating nearly 2 miles (2.8 kilometers) to Antarctic bedrock to reach ice they say is at least 1.2 million years old.
Show HN: Boulette - Protect you from yourself (even as root).
Comments
https://github.com/pipelight/boulette
Comments
https://github.com/pipelight/boulette
GitHub
GitHub - pipelight/boulette: A terminal confirmation prompt that prevents you from accidentally damaging remote hosts.
A terminal confirmation prompt that prevents you from accidentally damaging remote hosts. - pipelight/boulette
Cuttle – a MTG like game using a standard 52 card deck
Comments
https://www.pagat.com/combat/cuttle.html
Comments
https://www.pagat.com/combat/cuttle.html
Pagat
Cuttle - card game rules
How to play Cuttle, a combat card game for two players using standard playing-cards.
OpenAI's bot crushed this seven-person company's web site 'like a DDoS attack'
Comments
https://techcrunch.com/2025/01/10/how-openais-bot-crushed-this-seven-person-companys-web-site-like-a-ddos-attack/
Comments
https://techcrunch.com/2025/01/10/how-openais-bot-crushed-this-seven-person-companys-web-site-like-a-ddos-attack/
TechCrunch
How OpenAI's bot crushed this seven-person company's website ‘like a DDoS attack’ | TechCrunch
OpenAI was sending “tens of thousands” of server requests trying to download Triplegangers' entire site which hosts hundreds of thousands of photos.
A Laptop Stand Made from a Single Sheet of Recycled Paper
Comments
https://www.core77.com/posts/134948/A-Laptop-Stand-Made-from-a-Single-Sheet-of-Recycled-Paper
Comments
https://www.core77.com/posts/134948/A-Laptop-Stand-Made-from-a-Single-Sheet-of-Recycled-Paper
Core77
A Laptop Stand Made from a Single Sheet of Recycled Paper
This g.stand, by Seoul-based industrial design firm grape lab, is made from a single sheet of recycled paper. It weighs just 45g (1.5oz), but is sturdy enough to hold "even the heaviest laptops," the firm writes. "The carefully designed origami structure…
My AI/LLM predictions for the next 1, 3 and 6 years
Comments
https://simonwillison.net/2025/Jan/10/ai-predictions/
Comments
https://simonwillison.net/2025/Jan/10/ai-predictions/
Simon Willison’s Weblog
My AI/LLM predictions for the next 1, 3 and 6 years, for Oxide and Friends
The Oxide and Friends podcast has an annual tradition of asking guests to share their predictions for the next 1, 3 and 6 years. Here’s 2022, 2023 and 2024. This …
Why Greenland Is of Growing Strategic Significance
Comments
https://www.twz.com/news-features/why-greenland-is-of-growing-strategic-significance
Comments
https://www.twz.com/news-features/why-greenland-is-of-growing-strategic-significance
The War Zone
Why Greenland Is Of Growing Strategic Significance
Donald Trump seems more insistent than ever on controlling Greenland, but regardless of his controversial intentions, the island is of real strategic importance
Hyundai just launched its cheapest EV in Japan, starting at only $18,000
Comments
https://electrek.co/2025/01/10/hyundai-just-launched-cheapest-ev-japan-starting-18000/
Comments
https://electrek.co/2025/01/10/hyundai-just-launched-cheapest-ev-japan-starting-18000/
Electrek
Hyundai just launched its cheapest EV in Japan, starting at only $18,000
Hyundai’s cheapest EV is now available in Japan. Starting at just $18,000, the new Hyundai Inster EV is the most...
Photoroom (YC S20) Is Hiring a Senior Front End Engineer in Paris (React, MobX)
Comments
https://jobs.ashbyhq.com/photoroom/81de4c1e-f4ee-4c14-a196-6e869fa6b320
Comments
https://jobs.ashbyhq.com/photoroom/81de4c1e-f4ee-4c14-a196-6e869fa6b320
Black boxes from Jeju Air 2216 stopped recording four minutes before crash
Comments
https://www.cnn.com/2025/01/11/asia/south-korean-airline-black-boxes-stopped-recording-intl-hnk/index.html
Comments
https://www.cnn.com/2025/01/11/asia/south-korean-airline-black-boxes-stopped-recording-intl-hnk/index.html
CNN
‘Black boxes’ from crashed South Korean plane stopped recording about four minutes before disaster, officials say
Flight recorders from the passenger jet that crashed in South Korea last month, killing more than 170 people, stopped working minutes before the plane belly-landed and exploded on the runway, investigators said Saturday.
Nearly All Binary Searches and Mergesorts Are Broken
Comments
https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
Comments
https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
research.google
Extra, Extra - Read All About It: Nearly All Binary Searches and Mergesorts are
Posted by Joshua Bloch, Software EngineerI remember vividly Jon Bentley's first Algorithms lecture at CMU, where he asked all of us incoming Ph.D. ...
Using black magic to make a fast circular buffer
Comments
https://lo.calho.st/posts/black-magic-buffer/
Comments
https://lo.calho.st/posts/black-magic-buffer/