~hackernews | Bookmarks (16879)

DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data

arxiv.org
1
Cwal: Scripting Engine Without a Language

wanderinghorse.net

cwal (pronounced "sea wall") is a scripting engine/garbage-collection library implemented in C (which is where the...
cwal (pronounced "sea wall") is a scripting engine/garbage-collection library implemented in C (which is where the "c" comes from - its original name was "sewal"). cwal itself does not provide a scripting language, only the pieces needed for a custom script parser to manage its memory, scoping, variables, a value ty...
1
NASA's Europa Clipper Launch

youtube.com

science & technology
1
Busy Status Bar from Flipper Devices

busy.bar

busy status bar customizable led screen pomodoro timer device stay focused device stop distraction device
1
Boring Tech Is Stifling Improvement

yonkeltron.com

Wed Oct 09 2024Even US folks may not have seen the headlines about it, but a...
Wed Oct 09 2024Even US folks may not have seen the headlines about it, but a section of Interstate 95 near me collapsed in June of 2023. As the the collapse took place on June 11th, the original repair estimate had a timeline measured in months. However, through the leadership and collaboration of Pennsylvania offic...
2
Permacomputing Aesthetic in Computational Art, Design and Culture (2023) [pdf]

monoskop.org
1
Scientists successfully breed corals to improve their heat tolerance

phys.org

Credit: Dr. James Guest A new study has shown that selective breeding can lead to a...
Credit: Dr. James Guest A new study has shown that selective breeding can lead to a modest rise in coral heat tolerance. Led by experts at Newcastle University's Coralassist Lab, the study documents the world's first effort to selectively breed adult corals for enhanced heat tolerance, i.e. the ability of adult cora...

materials physics physics news science science news
2
US Government UAP Footage

aaro.mil
1
Avoiding a Geopolitical open-source Apocalypse

thenewstack.io
1
Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel 2024

nobelprize.org
1
Show HN: X11 tool to share a screen area in any video meeting

github.com
1
The Inevitability of Mixing Open Source and Money

pocoo.org

written on Monday, October 14, 2024 This year, one of the projects I was involved in...
written on Monday, October 14, 2024 This year, one of the projects I was involved in at Sentry was the launch of The Open Source Pledge. The idea behind it is simple: companies pledge an amount proportional to the number of developers they employ to fund the Open Source projects they depend on. I have written about ...
1
A Music Map of every genre and subgenre

musicmap.info
1
Upgrading Uber's MySQL Fleet

uber.com
1
Therapeutic Benefits of Alcohol?

ycombinator.com
1
Show HN: I made a git rebase TUI editor

github.com
1
Show HN: Chasing a Win32 Bug in SetCommState

foldl.github.io
1
'I lost £165k to fraud in an hour' – customers say they were let down by Revolut

bbc.com

BBCA man who had £165,000 stolen from his Revolut business account by fraudsters has told BBC...
BBCA man who had £165,000 stolen from his Revolut business account by fraudsters has told BBC Panorama he believes the company’s security measures failed to prevent the theft.He says criminals managed to bypass the ID verification process to gain access to his account.So far, Revolut has refused to refund this money...
1
In Xsight – OS/2 Museum

os2museum.com

For a long time, I have tried to find a GUI environment running on SCO XENIX...
For a long time, I have tried to find a GUI environment running on SCO XENIX (because, honestly, what could be more useless?). Back in the day, meaning late 1980s and early 1990s, SCO sold Xsight, which was an adaptation of (at least initially) X11R3 to SCO’s XENIX and UNIX SVR3.2 operating systems. But Xsight has p...
1
Blocking the "Sign in with Google" Prompt

superuser.com
1
Self-referential variable initialization in C

ahti.space
2
Graph Databases for Crime-Fighting: How Memgraph Maps and Analyzes Criminal

memgraph.com

Graph databases, such as Memgraph, are highly effective in crime-fighting and intelligence work because they excel...
Graph databases, such as Memgraph, are highly effective in crime-fighting and intelligence work because they excel at uncovering and analyzing relationships between entities, such as individuals, communication channels, and locations. In counter-terrorism and counter-intelligence operations, graph databases are ofte...
1
Lore Segal Saw the World in a Nutshell

theatlantic.com

books
1
A review after using Rust on embedded in production for over a year

lohr.dev

When I mention that we use Rust on the embedded ESP32 platform the most common reaction...
When I mention that we use Rust on the embedded ESP32 platform the most common reaction is a jaw-dropping "This is possible?!". Yes, it is indeed possible! - And we at STABL Energy have used it successfully for over a year now. And because so many people seem interested in why we use Rust and how it is going for us,...
1