~hackernews | Bookmarks (16606)

Adding row polymorphism to Damas-Hindley-Milner

bernsteinbear.com

Damas-Hindley-Milner (HM) is a type system for Standard ML and the ML-family languages. River and I...
Damas-Hindley-Milner (HM) is a type system for Standard ML and the ML-family languages. River and I wrote about it earlier this month. Check out that post if you would like an introduction or refresher. In this post, we’ll add row polymorphism to it. We’ll do it in the context of Algorithm J, but the core ideas shou...
1
In a first, Wikipedia takes down article globally after Delhi HC order

thehindu.com

Wikipedia has taken down an article titled ‘Asian News International v. Wikimedia Foundation,’ the entry on...
Wikipedia has taken down an article titled ‘Asian News International v. Wikimedia Foundation,’ the entry on the ANI news agency’s defamation lawsuit against the online encyclopedia’s parent foundation. This is the first instance of an English Wikipedia article being taken down by the foundation in the encyclopedia’s...

ani wikipedia page wikipedia ani lawsuit wikipedia vs ani case
1
Migration of the build system to autosetup

sqlite.org

Good evening, folks, As Richard just posted in the "announce" list for the 3.47.0 release: During...
Good evening, folks, As Richard just posted in the "announce" list for the 3.47.0 release: During the next release cycle, we are planning to do an overhaul of the "configure; make" system for SQLite. This is intended to be an improvement. We will try really, really hard not to break anything. But because we don't kn...
1
One Square Minesweeper

onesquareminesweeper.com
1
I Got Dysentary So You Don't Have To

eukaryotewritesblog.com

This summer, I participated in a human challenge trial at the University of Maryland. I spent...
This summer, I participated in a human challenge trial at the University of Maryland. I spent the days just prior to my 30th birthday sick with shigellosis. Dysentery is an acute disease in which pathogens attack the intestine. It is most often caused by the bacteria Shigella. It spreads via the fecal-oral route. It...
1
Defender Sound Studio

zapspace.net
1
A Stacktrace Puzzle

bugsink.com

Klaas van Schelven; October 17 - read time depends on puzzle time Don’t worry, an actual...
Klaas van Schelven; October 17 - read time depends on puzzle time Don’t worry, an actual article will follow, but first: a puzzle. Imagine you’re debugging a Python application, and you encounter the following stacktrace: Traceback (most recent call last): File "example.py", line 15, in show_something A raise Origin...
1
The Dawn of a New Era for Supernova 1987a

nasa.gov

Three decades ago, astronomers spotted one of the brightest exploding stars in more than 400 years....
Three decades ago, astronomers spotted one of the brightest exploding stars in more than 400 years. The titanic supernova, called Supernova 1987A (SN 1987A), blazed with the power of 100 million suns for several months following its discovery on Feb. 23, 1987.Since that first sighting, SN 1987A has continued to fasc...

astrophysics chandra goddard hubble
1
Two examples of hover styles on images

alexwlchan.net
1
Show HN: Ryde, a Rust Web Framework

github.com
1
Sei AI (YC W22) Is Hiring

ycombinator.com
1
Solving Sudoku with the Python package resolver

github.com
1
Solving the Mystery of ARM7TDMI Multiply Carry Flag

bmchtech.github.io

This blog post assumes a base level of knowledge - comfort in the C programming language...
This blog post assumes a base level of knowledge - comfort in the C programming language and bitwise math is recommended. Also, if you ever have any questions, any at all, while reading this blog post, feel free to reach out to me here.The Gameboy Advance has a pretty neat CPU - the ARM7TDMI. And by neat, I mean a c...
1
Arm is canceling Qualcomm's chip design license

bloomberg.com
3
California Businesses Stop Hiring

hoover.org

Between January 2022 and June 2024, employment in US private businesses increased by about 7.32 million...
Between January 2022 and June 2024, employment in US private businesses increased by about 7.32 million jobs. Of these 7.32 million jobs, about 5,400 were jobs created in California businesses—representing about .07 percent of the US figure. Put differently, if California private-sector jobs grew at the same rate as...
1
The Forest Service Is Losing 2,400 Jobs–Including Most of Its Trail Workers

backpacker.com
1
How the Unchecked Power of Companies Is Destabilizing Governance

stanford.edu

In The Tech Coup: How to Save Democracy from Silicon Valley, Stanford institute for Human-Centered AI...
In The Tech Coup: How to Save Democracy from Silicon Valley, Stanford institute for Human-Centered AI Policy Fellow Marietje Schaake aims to raise public awareness about a serious threat: the unchecked power of private companies. In addition to exerting vast economic power, tech companies are stepping into roles nor...
3
Amazon Says It Has a First Amendment Right to Union Bust

404media.co

amazon labor
3
Captive Portal IPv6 Support

github.com
1
RRR: A Succinct Rank/Select Index for Bit Vectors (2011)

alexbowe.com

algorithm binary compression data structures succinct
1
Several Russian developers lose kernel maintainership status

lwn.net
5
Why Simone Giertz, the Queen of Useless Robots, Got Serious

ieee.org

Simone Giertz came to fame in the 2010s by becoming the self-proclaimed “queen of shitty robots.”...
Simone Giertz came to fame in the 2010s by becoming the self-proclaimed “queen of shitty robots.” On YouTube she demonstrated a hilarious series of self-built mechanized devices that worked perfectly for ridiculous applications, such as a headboard-mounted alarm clock with a rubber hand to slap the user awake. But G...

failure invention robots simone giertz youtube
1
NIST Standard Reference Materials Catalog [pdf]

nist.gov
1
How fast is quantum entanglement? Scientists investigate it at attosecond scale

phys.org

materials physics physics news science science news
1