skysight-inc/HackerNews huggingface dataset:
IRA (re-industrialized a significant portion of Red states in Power Systems, Battery, and Solar PV manufacturing), CHIPS (bringing back mass semiconductor fabrication with 5 mega fabs and re-introducing packaging and OSAT in the US), Infra Bill/IIJA, and Child Tax Credit during COVID.

There's a reason the GOP aren't touching most of the provisions in the first 3 Acts (especially with Vance as Veep). [0][1]

Vance is backed by Horowitz and Andreessen, and both heavily benefited from the IRA and CHIPS various provisions (but got hit by the capital gains tax changes that Biden proposed a couple months ago [2]).

The biggest issue was the Biden admin's inability to promote the impact of all of these. Biden hasn't been campaigning across America as much as his predecessors.

[0] - https://www.eiu.com/n/us-election-its-impact-on-industrial-p...

[1] - https://www.eiu.com/n/us-election-its-impact-on-us-trade-pol...

[2] - https://a16z.com/the-little-tech-agenda/
One can acknowledge that they are legally permitted to say whatever deranged crap they like, without necessarily having to walk amongst them.

You can, in general, in democratic countries, say more or less what you like (some exclusions apply). However, you can’t generally compel others to listen to it.
That's great news for Yandex, I hope they are able to find success. Search needs competition.
Inflation Reduction Act is one of the big ones.
We live in unprecedented times.

The last time we had a sitting president not seek reelection like this was LBJ and he announced his intentions in March, 1968 [1]. We don't have the communications media we have now. This had a massive impact. The Democrats were largely unprepared, in part because RFK was assassinated in June.

This ushered in Nixon who expanded the war in Vietnam, started the illegal bombing of Cambodia that killed hundreds of thousands [2], started the War on Drugs [3], reshaped the Supreme Court and ultimately created a crisis leading to his resignation in 1974.

Biden should've announced last year he wasn't seeking reelection, giving time for a real primary process. But we are where we are.

Some will point to Biden's achievements, and there definitely are some major achievements, but elections are forward-looking. It's not just about how Biden is now. It's how we would've expetged him to be 1 year from now, 2 years from now, 4 years from now. And those prospects weren't good.

I do believe this was the right decision (albeit way too late). This is an opportunity to reset what otherwise was looking like a bleak race for so many of us.

[1]: https://www.history.com/news/lbj-exit-1968-presidential-race

[2]: https://www.history.com/news/nixon-war-powers-act-vietnam-wa...

[3]: https://www.britannica.com/topic/war-on-drugs
No, it is a sign that both terms occupy close relationships in the brain. I consistently fumble the name of my elder sister with the name of my eldest daughter and I know many people who have similar mixups.
This comment triggers Poe's Law for me. Given this comment by itself, I would have guessed this was satire. Unfortunately, from a fuller picture, I guess this is actually fundamentalism.
This Plant Is So Extreme Scientists Think It Could Thrive on Mars
It's also my favorite beginners resource. And free.

Straightforward and short. Takes you to the interesting bits very quickly.
Someone in Trump's own party attempted to assassinate him last week, and failed. For most people, having someone in your own party try to kill you would be a huge negative, but the person I was responding to attempted to spin it as a positive.
Interface design in the age of qualiatech: Do you want to be a button?
"Look, I view myself as a bridge, not as anything else," Biden said. "There's an entire generation of leaders you saw stand behind me. They are the future of this country."

https://amp.cnn.com/cnn/2020/03/09/politics/joe-biden-bridge...
I am not a fanboy of LLMs or genAI but how is this a great test litmus test for their usefulness? How many humans on earth could do that today? Ten thousand at the most?
My experience was that they're entirely useless for cases where you can't find examples of that kind of code on the web. They just hallucinate APIs that don't exist to solve your problem. I would suspect that GLSL is rare enough, and different enough from other programming languages to pose problems for the LLMs here.
LuaJIT spends about 2000 lines[1] on its C parser which even includes a limited expression evaluator, though not a preprocessor. My experience suggests explicit memory management could add half again that (LuaJIT’s piggybacks on its GC), and writing one is something like a month of work even if you know exactly what you’re doing (I didn’t), but in any case it’s not a monumental task.

[1] https://repo.or.cz/luajit-2.0.git/blob/HEAD:/src/lj_cparse.c
Agree but easy enough to look each up or have something like perplexity direct you to articles to verify
https://www.manning.com/books/get-programming-with-haskell

Get Programming With Haskell by Will Kurt. Made up of small lessons that all build on top of each other and will really help you understand what's going on.

I wanted to like Effective Haskell but honestly didn't. YMMV.
PyPy has formally verified the integer abstract domain using Z3, a quite important part of our jit optimizer (will write about that in the coming weeks).

We also run a fuzzer regularly to find optimization bugs, using Z3 as a correctness check:

https://pypy.org/posts/2022/12/jit-bug-finding-smt-fuzzing.h...

The peephole optimizations aren't themselves formally verified completely yet. We've verified the very simplest rules, and some of the newer complicated ones, but not systematically all of them. I plan to work on fully and automatically verifying all integer optimizations in the next year or so. But we'll see, I'll need to find students and/or money.
I've said that the US needs an elected king. The guy you want to have a beer with, to throw out ceremonial first pitches, even to welcome other heads of state is the king. The person who runs the government and balances congress is the president and should be super boring. I'm imagining George W Bush as idea King material while Gore would have been ideal President material.
Just off the top of my head: CHIPS, American Rescue Plan, IIJA, Inflation Reduction Act. Those were all just the 117th Congress.
If one disqualifies people based on speech impediments, is it much of a stretch to disqualify people for their skin color or religion?
Donate to humanitarian aid organizations to offset your tax bomb dollars
> early nineties
> running Linux

"Unix" though, right?
Learning haskell is like learning to program from scratch. Do you remember the your journey learning to code for the first time? If you're anything like me, that was a lot of banging your head against the wall, trying all sorts of different resources, giving up only to try again a little while later, and then one day everything starts to click. It's all part of the journey.

Haskell is so different from all the languages people tend to learn so it feels much like learning to code all over again. That being said, it's totally worth it! I'm a much better developer (in any language) thanks to all the wonderful things haskell has taught me. I'm much better at designing clean abstractions, I have more tools for solving problems, I have more fun coding, and new challenges don't scare me so much because I know I just need to go through the process and I'll come out the other side even better.

To answer your question, there was no one resource that worked for me. It was just a matter of time and effort going through lots of resources until one day my brain had established new neural connections and things clicked. I read several books and watched lots of people writing haskell and explaining the new (to me) concepts on twitch and youtube.
The right-wing party in Poland (PiS) still won the latest election (as in - got the most votes), but didn't anyone willing to form the coalition with them that would secure enough votes to form government - other major parties campaigned on being explicitly anti-PiS. So, even though PiS won, they are the opposition now, and the wide anti-PiS coalition is in power.
I’m not sure that’s useful - most of HN would fail that too :-).

Or rather, as I honestly don’t know what a GLSL shader is, and barely know what a canvas is, it would be a bit like the scene from blackadder - I would love for Baldrick to read this book, but that will mean teaching him to read, which will take about ten years.
Having 6 levels of trust (or was it 7?) must qualify as the worst UX decision of all time. People barely keep their contact lists up to date (in fact, nobody), let alone categorise them.

I had high hopes for Autocrypt, which solves much of PGPs terribad UX (maybe we should call it a porcelain?), but as the author and anyone has noted: simply nobody uses PGP. People barely use email anymore.

Social media, messengers such as Signal is where people communicate.
But, currently, Republican primaries are largely democratic and Democratic primaries are at best a marketing period in which their membership makes no binding decisions. Compromise with the tea party forced Republican primaries to democratize, which eventually ended with the party being forced to accept Trump as a candidate against every wish of party insiders. Democrats have "superdelegates," and a ton of other ways to fix the primary, and have gone to court to establish legally that they have no obligation to run it fairly or honestly.

The same sort of democratization happened to British Labour under Ed Miliband, which culminated with the election of Corbyn as leader. In order to fix the problem, they had to purge and expel anyone from party membership that had any sort of firm value system.

Democrats don't have that option in the US, because in the US, people aren't members of parties; they're people who have registered to vote in that party's primary, or people known to have supported that party in the past. US corporate parties have employees, not members. Getting a portion of the public to participate in their primary is the closest thing they have to rallying the membership, and the way that both parties have written election law makes it difficult for them to change anything, or to prevent anyone from voting in them.
why were no political posts allowed when trump assassination attempt a week ago and this is now in front page?
Is that really true? Does it really benefit you much to read essentially unreliable abstracts of 10 papers instead of trying to go through one in detail? Why not just go with the original abstract at that point, or just skim the paper yourself?
Not really, no. At least not in the US.

The tension in the US system is between founders who believed in the virtue of the commoner and founders who feared mobocracy. At various levels of the system, the system is designed to be elitist. And the parties are fundamentally private institutions and can be as populist or elitist as they want (worth noting: in practice, the GOP constitution is more populist than the Democrat constitution, which is one of the reasons they nominated Trump; there weren't backstops in the GOP like superdelegates to push him off the ticket).
I wouldn’t say Biden stuck to his word. He fully intended to run, until people (rightfully) objected. I’m glad he ultimately backed down and stepped down. But this whole process would have been easier to nominate a real candidate if he would have stuck to his word from the beginning. He still deserves the blame for that, even if his most recent actions were correct.
On an evolutionary scale, it's probably a little simpler than correlation with cognitive competence.

A group united towards a stupid purpose can be more effective than individuals acting towards more reasonable purposes. If this is true, you can select for both following (susceptibility) and leading (charisma).
https://news.ycombinator.com/item?id=41026871

That comment was posted by 'readthenotes1.
Was it? I'm not saying you're wrong but I don't recall x64 ever referring to Itanium, not even colloquially. "IA-64" was the name that I remember.
These are assembly implementations of arbitrary precision integer arithmetic with correctness proofs in hol light.
Minorities wanted police reform. They weren't for abolishing the police.
So here's something I've been wanting to do for a while, but have kinda been struggling to figure out _how_ to do it. txtai looks like it has all the tools necessary to do the job, I'm just not sure which tool(s), and how I'd use them.

Basically, I'd like to be able to take PDFs of, say, D&D books, extract that data (this step is, at least, something I can already do), and load it into an LLM to be able to ask questions like:

* What does the feat "Sentinel" do?

* Who is Elminster?

* Which God(s) do Elves worship in Faerûn?

* Where I can I find the spell "Crusader's Mantle"?

And so on. Given this data is all under copyright, I'd probably have to stick to using a local LLM to avoid problems. And, while I wouldn't expect it to have good answers to all (or possibly any!) of those questions, I'd nevertheless love to be able to give it a try.

I'm just not sure where to start - I think I'd want to fine-tune an existing model since this is all natural language content, but I get a bit lost after that. Do I need to pre-process the content to add extra information that I can't fetch relatively automatically. e.g., page numbers are simple to add in, but would I need to mark out things like chapter/section headings, or in-character vs out-of-character text? Do I need to add all the content in as a series of questions and answers, like "What information is on page 52 of the Player's Handbook? => <text of page>"?
> We already know consciousness can arise from neuronal activity. Do you think no other substrate could give rise to consciousness?

Conjecture of another is reported by “Light Eaters” [0] which I’ve just started. Of course, materially sufficient is less than a slam dunk given plausible theory that many mental states are learned not innate [1] and consciousness is relatively recent development in humans [2].

0. https://www.amazon.com/Light-Eaters-Unseen-Intelligence-Unde...

1. https://www.amazon.com/How-Emotions-Are-Made-Secret/dp/15098...

2. https://en.wikipedia.org/wiki/The_Origin_of_Consciousness_in...
It only requires an entry in the local hosts file?
The truth we cannot change is that people simply want to follow charismatic leaders. We can sit and lament on how stupid that is, but we aren't magically fixing that anytime soon.
It is a justification, just not necessarily one you agree with.

Companies choose to work with Crowdstrike. One of the reasons they do that is ‘hands-off’ administration-let a trusted partner do it for you. There are absolutely risks of doing it this way. But there are also risks of doing it the other way.

The difference is, if you hand over to Crowdstrike, you’re not on your own if something goes wrong. If you manage it yourself, you’ve only got yourself working on the problem if something goes wrong.

Or worse, something goes wrong and your vendor says “yes, we knew about this issue and released the fix in the patch last Tuesday. Only 5% of your fleet took the patch? Oh. Sounds like your IT guys have got a lot of work on their hands to fix the remaining 95% then!”.
Trump's plan involved getting out even quicker. How was it going to be less disastrous?

It is always the same story, Dems bad, I would have done it right. He had a 'credible deterrent', and would have completely ended the Ukraine war (that had been going on since 2014). Just like he claims now he will end the war, and bring back all the Americans imprisoned abroad if re-elected. It's one thing to say that sort of stuff and present a plan for doing so. Trump says it, and then pivots to even more bullshit.

Do you really think a different president, with effectively the same military leadership, was going to execute the pull-out in a broadly different way on a shorter deadline, and call it a success?
Because HN is not a democracy. ;)
French Acrobatic Artist’s Low-Gravity Invention
I'm not even sure most people on HN feel that way, although there's plenty of criticism here. Most of the time I use ChatGPT I become genuinely upset within a few minutes because it's so brazenly awful and regularly ignores what I ask it. I see people on here promoting its ability to help them with writing code. I wonder if these are people that just don't know what good code looks like.
> Unfortunately his domestic achievements have been somewhat mediocre.

The airlines would like all of your money next time they cancel your flight.
It’s just a programming language. Write something and fail and ask for feedback and help when stuck.

Source: I’ve been using Haskell for fun and profit on and off since 2004
I've been mixing up names for as long as I can remember. I'm not even 40. Of all the things to judge him on this rates pretty low on my list, especially since Biden has a bit of a history of "gaffes" like this.

That said, it's pretty obvious a lot of energy and fire that Biden previously had is no longer present. Or at least very inconsistently present.
Prosecutor vs convicted rapist and convicted felon could run well. It's not 2020 anymore, the wave of anti-cop hysteria has well and truly ended.
My biggest issue with it is how everytime I open it, it asks me to install a new version. Like, I am glad they're working on the software, but I'm getting fatigued from the inevitable popup
Glad to hear txtai is on your list.

I recently wrote an article (https://medium.com/neuml/vector-search-rag-landscape-a-revie...) comparing txtai with other popular frameworks. I was expecting to find some really interesting and innovative things in the others. But from my perspective I was underwhelmed.

I'm a big fan of simplicity and none of them are following that strategy. Agentic workflows seem like a big fancy term but I don't see the value currently. Things are hard enough as it is.

If your team is already using another framework, I'm sure anything can work. Some of the other projects are VC-backed with larger teams. In some cases, that may be important.
Heard of SIPRNet, NIPRNet, and JIWCS?
Real World Haskell was pretty good last time I read it. It has lots of concrete code examples that you can use in real world applications. It won't bore you to death with abstract theory and instead it will blend it with real world problems and make learning both fun and useful at the same time.
If it is falsifiable but not falsified, that’s considered a credit to the hypothesis. The strongest of our scientific theories have been tested thousands of times but not falsified.
If you can’t tell, is it spam?
I mean, yes, probably? The Nissan Leaf came out before the Tesla Model S, and the Renault Zoe at about the same time (after, particularly in the Zoe’s case, many years of knocking around as concept cars). VW e-Golf shortly after. This was all a consequence of a combination of li-on batteries getting (just) good enough and government subsidies (California and half of the EU were all but begging the manufacturers to make electric cars, for years); once those conditions were met, about four or five manufacturers launched entrants within a year or so of each other. The Leaf and Zoe are far more archetypical electric cars than the Model S; Tesla’s first truly mass-market car, the 3, didn’t come out til years later.

An idea that Tesla in some sense invented the modern electric car become popular later (probably driven by strength in the US; the Leaf and Zoe were not particularly US-market-friendly cars, and the Zoe was never even released there), but it’s kinda ahistorical.
I am terribly sorry. I got this wrong.

It is end to end encryption they don't support as this article explains. Yes, it is two very different things however just as important.
Is Meta still a company?
great new account you have there
So Trump set the schedule but it was Bidens fault they didn't have time to move out all equipment?
Why create an anonymous account for this if this is your honest opinion & you don't see anything wrong with it?
He is clearly not competent enough to be president. He is, arguably, barely competent enough to be a ventriloquist's dummy at this point, which is effectively what he is. We just don't know who the ventriloquist is.

Does anyone believe that he should have his finger on "the button" controlling thousands of nuclear weapons? If you were in charge of a boomer or a Minuteman III silos and you got a launch order purportedly from Biden, would you execute that order? If so, really? If not, what deterrent is currently in place?

If that's the situation, then he's not the president and should either step down or be replaced via mechanisms of the 25th Amendment.
> triumvirate

The two historical examples that immediately come to mind (and explain the Latin term) both didn't end well.

I agree with the rest of the points you make. I think in Europe, the CnC is always a military post and needs to have done officer training and risen through the ranks, whereas the head of government (whether nominal or actual) is strictly a civilian role.

Whether European models would scale up to something the size of the USA is another question.
How’s that logic work when the platform depends upon content?
HP Quality Center showed me what truly awful SDLC software looks like.
It will be an interesting case study but I think there is a chance that the short runway will allow her to maintain some semblance of high energy. Basically, if you thought American elections were too drawn out, here is your opportunity to be proven right.
One thing I've used GPT and Gemini for is to summarize HN threads. It does OK finding top level points but in the conversation (thread) there are (generally) some one-off points I find key but neither AI can identify these "key topics at the leaf" (I don't know what else to call them).

What prompt am I missing? Find the edge-case details and other similar "what's only mention once" I can't get it to highlight.
Makes me think of something my high school physics teacher tried to drill into us: if you zoom in on an exponent enough, it looks like a straight line.

Maybe we're transitioning between stages of a sigmoid. Or maybe we're still on an exponential trajectory, but on a timescale of one lifespan, the change still looks linear (if very fast).
Endorses Kamala so probably no 'mini-primary' or other challengers which is a bit of a shame. Kamala was pretty uninspiring in the primary and hasn't seemed to get a lot done as vice president while trump has gathering momentum and, maybe more importantly, money. The 'king making' party apparatus that pushed Biden despite the health issues has a lot to answer for.
Thanks for the tip, I'm looking to jump ship to MX-Linux, just procrastinating the move right now.
There's a fundamental problem with all these "summary" tasks, and it's obvious from the disclaimer that's on all these AI products: "AI can be wrong, you must verify this".

A summary for which you must always read the un-summarized text is useless as a summary, this should be obvious to literally everyone, yet AI developers stick their heads in the sand about it because RAG lets them pretend AI is more useful than it actually is.

RAG is useless, just fucking let it go and have AI stay in it's lane.
OpenAI's 5 Levels of 'Super AI' (AGI to Outperform Human Capability)
“Most people” (and still talking tech crowd) are still figuring out what these very early version of AI can do, what they’re good at, what they’re not good at, etc.

Most non-tech people think AI is no different to “algorithms” and is just another IT buzzword that means “computer people click a few buttons and it does all the work for them”.
some have a delay until the benefits are evident, too, and a delay longer than roughly a half an election cycle makes them perhaps semi invisible?