HN user

internet_points

1,961 karma
Posts43
Comments635
View on HN
qz.com 1mo ago

To end animal suffering, the most ethical choice is to kill wild predators

internet_points
3pts1
www.washingtonpost.com 1mo ago

Trump officials planned to mark 2.7M living people as dead, whistleblower claims

internet_points
10pts0
www.youtube.com 1mo ago

What's so special about Emacs? [video]

internet_points
3pts0
dogma25.dk 2mo ago

Dogma 25 – Vow of Chastity (2025)

internet_points
42pts47
www.techpolicy.press 2mo ago

There Are No Machines of Loving Grace Without People

internet_points
3pts0
lars.ingebrigtsen.no 2mo ago

The Site for Prevention of Laptop Sales

internet_points
7pts0
www.nature.com 3mo ago

The big math changes to small math by same change and solve in Matlab BVP4C

internet_points
1pts0
github.com 3mo ago

IHP v1.5.0 released: full database layer rewrite, perf improvements, typed SQL

internet_points
3pts0
discourse.haskell.org 4mo ago

Dataframe 1.0.0.0

internet_points
114pts25
www.congress.gov 5mo ago

Copyright office will not find human authorship where AI program generates works

internet_points
1pts1
thedeveloper101.github.io 5mo ago

My Experience at the North American Haskell Hackathon AmeriHac

internet_points
2pts0
old.reddit.com 5mo ago

Doom on Emacs

internet_points
3pts1
community.qobuz.com 5mo ago

Qobuz AI Charter

internet_points
1pts0
michiel.buddingh.eu 5mo ago

The Enclosure feedback loop: how LLMs sabotage by privatizing a public good

internet_points
4pts0
www.ft.com 6mo ago

Microsoft chief Satya Nadella warns AI boom could falter without wider adoption

internet_points
9pts6
safetyinsights.org 6mo ago

The Ironies of artificial intelligence (2023)

internet_points
2pts0
mchav.github.io 6mo ago

Learning better decision tree splits – LLMs as Heuristics for Program Synthesis

internet_points
1pts0
discourse.haskell.org 6mo ago

Dataframe Jan 2026 updates: db, torch interop, parquet fixes, perf improvements

internet_points
3pts0
tee.fail 6mo ago

TEE.fail: Breaking Tees via DDR5 Memory Bus Interposition

internet_points
2pts1
discourse.haskell.org 6mo ago

The Hazy Haskell Compiler

internet_points
1pts0
app.media.ccc.de 6mo ago

The art of text rendering [video]

internet_points
3pts0
github.com 7mo ago

Layoutz.hs: declarative, composable sections, trees, tables and interactive TUIs

internet_points
2pts0
mchav.github.io 8mo ago

Introduction to program synthesis pt 2: Automatically generating features for ML

internet_points
2pts0
github.com 8mo ago

Cheaper: Producing a program with less developer time

internet_points
1pts0
www.gimp.org 9mo ago

Gimp 3.0.6 Released, fixing crash only affecting Turkish and Norwegian

internet_points
3pts0
en.wikipedia.org 9mo ago

Hatch Act

internet_points
2pts0
old.reddit.com 9mo ago

IANA adopts text/org mime-type

internet_points
2pts0
lars.ingebrigtsen.no 10mo ago

Who knows what actors lurk in the hearts of movies? The LLM knows

internet_points
3pts1
mchav.github.io 10mo ago

Rewriting Dataframes for MicroHaskell

internet_points
60pts4
github.com 10mo ago

Integrated Haskell Platform (IHP) v1.4.0 released

internet_points
4pts0

The author Cat Hicks also co-hosts https://www.changetechnically.fyi/ which has some interesting episodes, e.g. https://www.changetechnically.fyi/2396236/episodes/17541876-...

In https://mastodon.social/@grimalkina/116743715688970777 she gives a concise explanation of the minimal groups paradigm where "People assigned to arbitrary groups immediately form strong allegiances, even though they haven’t been given any other psychologically meaningful cues about their group"

Quite a lot of my searches for practical advice (building, maintenance, event planning, shopping etc. etc) have the best hits from forums that on the face of it rarely seem relevant, e.g. forums for bmx bikers or moms etc. Old-school forums with real humans sharing real experiences.

And Illich (where the term "tool" is quite broad, including anything from a knife to a highway system):

Tools foster conviviality to the extent to which they can be easily used, by anybody, as often or as seldom as desired, for the accomplishment of a purpose chosen by the user. The use of such tools by one person does not restrain another from using them equally. They do not require previous certification of the user. Their existence does not impose any obligation to use them. They allow the user to express his meaning in action.

Industrial tools deny this possibility to those who use them and they allow their designers to determine the meaning and expectations of others. Most tools today cannot be used in a convivial fashion.

memory prices coming down

Are they?

I suspect AI labs are buying stuff not just for their own use, but to make local use too expensive to be an option :-( And they can always make the "best" frontier model even bigger (though only fractionally better) so it's always out of reach of local use, while consumer laptops have nearly the same amount of memory they had a decade ago.

    m                  o
    o
    d
    e
    l             o
    s
    i        o
    z    o
    e  2020 2022 2024 2026
    
    
    c                  
    h
    e
    a
    p             o      
    R        o     
    A    o                
    M                   o
       2020 2022 2024 2026

Today it is a ruin, but one that remains unmistakably alive.

wat? why is it still alive? the paragraph just ended like that, no further explanation? I get the feeling I should not trust these words. (Looking at the pre-2023 articles by the same writer, they are in a very different writing style. Sigh.)

That "ABOVE: aerial view of fortified structure of Sharba" picture though is amazing. Like it was swallowed by the sand, or it's an outgrowth, a welt being covered by a skin of sand.

And https://en.wikipedia.org/wiki/Qanat (foggaras) is intriguing.

In my experience, waiters tend to be quite good at splitting bills. I feel like many of them remember what people had, maybe they get good mental maps of seating or person <-> meal type just like taxi drivers used to get good mental maps of London before GPS.

(And printed menus tend to have allergy info too, just like online menus sometimes don't.)

Yeah I took vitamin D all through my kids' nursery years, every morning, had strong belief in it.

I still was sick all the time. That combination of not enough sleep (kids crying in the night etc.), work stress and insane amount of viruses from nursery is killer.

Politicians these days are expected to have harder and harder skin. I've seen lots of stories in the news lately of (in particular young) politicians from scandinavia who dropped out of politics due to harassment, anonymous threats etc. And even more people who never get into politics, because of hearing about such stories. I sure as hell would not get into politics today.

I fear for what our political system will look like when only those who have become completely numb to such threats remain. What kinds people are they, those who can live with hundreds of daily hate messages and death threats, doxing of oneself and family members, having to live with security guards and secret addresses? What are we losing by allowing this kind of "freedom of speech"?

If your morals consist of eye-for-an-eye retribution, then maybe his actions make sense. But I do not believe that that gives us a better society.

There's also a bit of east/west rivalry going on. Politicians and newspapers based in the east deride it, those in the west cheer it on. (Compared to the yearly budget the per-year cost doesn't seem like a big deal, but I don't know enough to have a strong opinion.)

It has me through my open source contributions, but interestingly it claims the same regardless of what I use as a given name, as long as I keep the (fairly unique) surname. So my whole extended family are open source contributors.

Weell, it's not completely untyped, but it is runtime type-checked. There's stuff like `(if (integerp foo)` and `(defcustom ... :type '(choice (const tag "abs" abs) 'integer))`

And then there are more ambitious projects like the static analyzer and language server https://github.com/emacs-elsa/Elsa I haven't tried Elsa yet since it seems to require setting up a package manager like Eask (I don't really understand why I have to install a package manager to run a language server, especially when they support four emacs-specific package managers?) and the docs were very light on whether eglot is supported or just lsp-mode.