~hackernews | Bookmarks (12164)

Interview with Dr. Ken Iverson (1982)

arraycast.com
1
Web Highlighter Userscript

github.com
1
Native Dual-Range Input

muffinman.io

I just released @stanko/dual-range-input - a native dual-range input. Here is how it looks with the...
I just released @stanko/dual-range-input - a native dual-range input. Here is how it looks with the default styles:The "native" part is somewhat open for discussion. I call it native because the library uses two native HTML range inputs. This means that all of the native interactions and accessibility features are p...
1
Pisces: UK regulated market for private shares [pdf]

publishing.service.gov.uk
1
Introducing Qodo Cover: Automate Test Coverage

qodo.ai
1
Self-Funding Harberger Taxes

gwern.net

Copyright mechanism proposal to solve the orphan works problem: self-assessed Harberger taxes on any inherited copyright...
Copyright mechanism proposal to solve the orphan works problem: self-assessed Harberger taxes on any inherited copyright are then invested, and dedicated to eventually buying out the owners. Works are either immediately public-domained, or the owners voluntarily ‘sell’ them if their value underperforms a baseline in...

economics/copyright
1
The Hoare Cube

wordpress.com

I wrote earlier this year about my attempt to understand the repercussions of toggling and when...
I wrote earlier this year about my attempt to understand the repercussions of toggling and when giving a semantics to Hoare triples. In response to that post, Yann Herklotz helpfully pointed me to Patrick Cousot’s POPL 2024 paper [10], which does all this and a lot more besides. In particular, Cousot’s paper include...
2
How Typing Transformed Nietzsche's Consciousness

mit.edu

essential knowledge philosophy science & tech technology
2
Show HN: Outerbase Studio – Open-Source Database GUI

github.com
2
Grifters, believers, grinders, and coasters

seangoedecke.com
1
AI Helps Researchers Dig Through Old Maps to Find Lost Oil and Gas Wells

lbl.gov

Experts estimate there are hundreds of thousands of oil and gas wells in the United States...
Experts estimate there are hundreds of thousands of oil and gas wells in the United States that are not formally documented or owned. Undocumented oil and gas wells can potentially leak chemicals into the water and air, including methane, a powerful greenhouse gas. Researchers have found oil and gas wells not listed...
1
Return To Office mandates and brain drain

ssrn.com

betty xing mark ma ssrn yucheng yang yuye ding
1
Show HN: I combined spaced repetition with emails so you can remember anything

ginkgonotes.com
1
What fossilized dino feces can tell us about their rise to dominance

arstechnica.com

Paleontologists have long puzzled over how the dinosaurs—originally relatively small and of minor importance to the...
Paleontologists have long puzzled over how the dinosaurs—originally relatively small and of minor importance to the broader ecosystem—evolved to become the dominant species some 30 million years later. Fossilized feces and vomit from dinosaurs might hold important clues to how and why this evolutionary milestone cam...
1
Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification

github.com
1
S3 Tables

meltware.com

AWS announced S3 Tables yesterday, which brings native support for Apache Iceberg to S3. It’s hard...
AWS announced S3 Tables yesterday, which brings native support for Apache Iceberg to S3. It’s hard to overstate how exciting this is for the data analytics ecosystem. Here’s a quick rundown of my thoughts so far: The integration is deep. This isn’t a separate service that sits on top of S3. Rather AWS has added a ne...
1
Lead Exposure Drove a Hidden Mental Health Crisis in the U.S., Study Reveals

wiley.com
1
Ashby (YC W19) Is Hiring Principal Platform Engineers

ashbyhq.com

hr software people software recruiting software
1
Launch HN: Parsagon (YC W21) – AI for public affairs and government relations

ycombinator.com

Hi HN! I’m Sandy, and I’m excited to introduce Parsagon. Parsagon is using AI to automate...
Hi HN! I’m Sandy, and I’m excited to introduce Parsagon. Parsagon is using AI to automate workflows for government affairs professionals, starting with an AI search for public policy. Here's a demo: https://parsagon.io/explore-searchCurrent search portals for political monitoring are outdated. (By political monitori...
1
Lead exposure in last century shrank IQ scores of half of Americans

duke.edu

DURHAM, N.C. -- In 1923, lead was first added to gasoline to help keep car engines...
DURHAM, N.C. -- In 1923, lead was first added to gasoline to help keep car engines healthy. However, automotive health came at the great expense of our own well-being. A new study calculates that exposure to car exhaust from leaded gas during childhood stole a collective 824 million IQ points from more than 170 mill...
1
DC accuses Amazon of excluding some residents from Prime benefits

wusa9.com
1
Can we make a camera see behind walls? [video]

youtube.com

science & technology
1
Debian Stable and the Framework 16

dataplane.org

My primary, personal computing platform for over 20 years has almost always been Debian on a...
My primary, personal computing platform for over 20 years has almost always been Debian on a ThinkPad laptop. Getting Linux running on the latest laptop hardware is often an experience worth documenting, as I have done a few times. I last wrote about Debian on a P15 Gen2 laptop in 2022. That just might have been my ...
1
DSQL Vignette: Reads and Compute

brooker.co.za

In today’s post, I’m going to look at half of what’s under the covers of Aurora...
In today’s post, I’m going to look at half of what’s under the covers of Aurora DSQL, our new scalable, active-active, SQL database. If you’d like to learn more about the product first, check out the official documentation, which is always a great place to go for the latest information on Aurora DSQL, and how to fit...
1