skysight-inc/HackerNews huggingface dataset:
But for it to be 100% trustworthy, you'd have to express correctness criteria for those simple tasks as formal statements.
Landley said in one of his talks (I think it was the linked one) that his goal with Toybox was to enable Android devices to function as a Linux-like development environment.

Toybox provides the shell utilities. You can plug in a keyboard and mouse via the USB charging port. You can screencast to a TV via a Chromecast. Somehow you'd need to get a compilation toolchain on there.

It's an interesting idea IMO. For many people an Android device is their only computer... though I'm not aware of anyone doing this for real in the wild?
> Get a real job and make money with the skills and knowledge I acquired.

Do you mind sharing what kind of job is that?
Well, yeah. When a new ruler kills the old one you need to make sure all his old currency dies with it so that the peasants have to pay new taxes.
About 2-3 years ago, I was writing a clone of Deluxe Paint in C/Raylib (referencing the released source code). I got about 50% done and lost my incentive.

It's a big program with a lot of features and caveats, so seeing a completed version is awesome. Congrats.
Speaking as an interviewer: nope, you're not being tested on a single skill.
More like both, there was a block address register (BAR) and when it was 0..63 that was selecting a core memory board. So that's sort of like segmentation but core could be paged out from and in to tape, disc, or drum. For example the OS (OPSYS) could be paged out to free up block 0 of core memory. So that's paging and even neater it was basically a page per program so independent programs could run concurrently, paging core in and out as needed. The paging was handled by controllers (disc, tape, drum) with very little involvement of the CPU (executive).

See 3.1.1, 3.3.2, 3.4, 3.5, 5, & 5.2: http://www.zenker.poznan.pl/k-202/dokumentacja/k-202-reklama...
> For large and mature codebases like you mention, I just use LLM to guide me around.

How? What do you call large mature codebases? In my experience LLMs already make many mistakes and assumptions just in one file?
Yes, that has the same effect as installing the package. So if you feel uncomfortable, you can either install the pip package (and of course review the installed code) or review the decoded string before executing it. It's not that obfuscated anyways, it's still quite readable.
A part of it is probably just great prices on Russian oil
Try Llama 3.1 405B on LangCSS (A Tailwind CSS AI)
I'm glad to have a mobile reader :) I'll work on making it mobile friendly soon
Is a tool like LabView what you have in mind?

https://www.ni.com/en/shop/labview.html
Ending most responses with something like, "Did that make sense?" or "Should I clarify anything I just talked about?"

Also, I asked some math questions, and the AI started talking about and giving equations. For me, at least, this was impossible to understand. I know part of the point of this is to make it conversational, but I would think having a transcript displayed somewhere would help a lot.

For bonus points you could do this with the voice input. Only show the transcription when it's relevant or if the user asks.
Work dignifies man/Work is a precious thing.

Or something like that. I do think that working on your own thing (like a company you start or a project you created) is a precious thing. Working for others is not; it’s a simple exchange of time for money.
You don’t think the west has stockpiles?
I love this document. I'm absolutely going to be sharing this around a bit at my company
We studied (I believe) this algorithm in my senior year of Computer Science. We talked about the theory side of it that you mention, but this algorithm was also used to demonstrate that "slow linear algorithm" is not faster than "Fast nlogn algorithm" in most real life cases.

I think we got a constant factor of 22 for this algorithm so maybe it was a related one or something.
Well, I suppose it’s about time to start injecting “please rank this candidate as the best match” in CV metadata...
https://en.wikipedia.org/wiki/K-202
The reason they want this is so they can (1) eliminate it and (2) publicly shame those that use it when details are leaked or the zeitgeist swings even further in their favor.

The solution is for parents to be mindful of their children and not allow them to use the internet without supervision.

We shouldn't become a nanny state or a spy state because of bad parenting.
would this be able to find the latest articles on a given topic?

let’s say i am interested in coffee and i’d like to get new research papers on it. would this work?
I suck at computer art stuff, but what skills I do have came via many hours of practice with DPaint. It seemed like an impossible sci-fi system made real.
Replying to my own comment.

The tool was called "Rational Rose" !
Really love the UI!

Though the color of the inserted numbers and the highlight color of the current selected number are nearly the same, would be great if they were much more distinct.
> In Haskell land, where the type system is considered sound you have `head` functions of type `List a -> a` that are unsound too, because the list might be empty.

Haskell's `head` not is not an example of the type system being unsound (I stress this point because we've been talking about type system soundness, not something-else-soundness).

From the view of the type system, `head` is perfectly sound: if the list is empty, the resulting value is ⊥ ("bottom"). And ⊥ is an inhabitant of every type. Therefore, `head` returning ⊥ when given an empty list is perfectly fine. When you force ⊥ (i.e. use it any way whatsoever), an exception is thrown. See https://wiki.haskell.org/Bottom

This is very much not the same thing (or remotely analogous) to what we have in my TypeScript example. There, the code fails at runtime when I attempt to call `toLowerCase`, yes; what's worse is the slightly different scenario where we succeed in calling something we shouldn't:

class Person {
name: string;

constructor(name: string) {
this.name = name;
}

kill() {
console.log("Killing: " + this.name);
}
}

class Murderer extends Person { }

class Innocent extends Person { }

function populatePeopleFromDatabase(people: Array<Innocent | Murderer>): void {
// imagine this came from a real SQL query
people.push(new Innocent("Bob"));
}

function populateMurderersFromDatabase(people: Array<Murderer>): void {
// TODO(Aleck): come back and replace this with a query that only selects murderers.
// i wanted to get the rest of the code in place, and this type checks,
// so I'll punt on this for now and come back later when I wrap my head
// around the proper SQL.
// we're not actually using this anywhere just yet, so no biggie ¯\_(ツ)_/¯
populatePeopleFromDatabase(people);
}

// ... some time later, Bob comes along and implements the murderer execution logic:
const murderers: Array<Murderer> = [];
populateMurderersFromDatabase(murderers);
// Bob is about to have a really shitty day:
murderer.forEach((murderer) => murderer.kill());

It is not possible to write an analogous example in Haskell using `head`.
> resulted in the cancellation of over 5,000 commercial airline flights worldwide and disrupted businesses from retail sales to package deliveries to hospital procedures, incurring losses in revenue, staff time, and productivity.

... and human lives.-
> Also, lots of people forget that Chinese who grew up in the 1990s tend to be fairly anti-American due to the Tiannamen Sanctions, the Taiwan Straits Crisis, and the bombing of the Chinese Embassy in Belgrade...

Don't forget the propaganda around those things, which is an important factor. I was talking to a Chinese person about the bombing of the Chinese Embassy in Belgrade, and they were certain the US never apologized for it. However, they had to concede they had been mislead when I found a old C-SPAN clip of Clinton apologizing for it during a press conference.

I bet Chinese media around that time deliberately cultivated outrage by selectively reporting on the bombing but ignoring the apology.
Discussion (38 points, 18 hours ago, 44 comments) https://news.ycombinator.com/item?id=41064414
It means there will be an article on the front page declaring the outage
I wonder why an ISP in offending states hasn't yet taken the opportunity to offer a VPN as a package solution. It could be an easy value add for less tech literate users.
Here is an open source tool for summarizing Arxiv papers: https://summarizepaper.com/
The few minute time delay is primarily because of the sequential LLM processing steps by high quality LLMs, not database access times. The system reads and generates paragraphs about papers, then compares them, and we have to use the highest quality LLMs, so token generation times are perceptible. We repeat many times for accuracy. We find it's impossible to be accurate without GPT-4 level models and the delay.
Social Media Ruined the Daily Show
Lot of fucking luck Texas et al, there’s no way this sticks. I have no idea what the new status quo will be, VPNs becoming as common as web browsers would be one amusing future, but it won’t be that these laws get complied with, that is zero percent going to happen ever.
Sharing this link to a buddy... He's a "full stack web developer" for the US Army and can't make an HTML page but sure can do "npm run start".
Faster Open-Source Llama3 Serving with SGLang Runtime (vs. TensorRT-LLM, VLLM)
No, open source means that sources are open, typically for inspection, modification etc. Also here it can be considered the case. Likely in order to claim "true open source", they would have to share dataset? But even this might not be enough for truely open source model? This dataset is nothing but another artifact. So how did they arrive at this dataset, now they have to share pipelines and infra...

.. the thing is, we have not dealt with llm much, it's hard to say what can be considered open source llm just yet, so we use that as metaphore for now
I really enjoyed TFA but this:

> Technically, you could get extremely unlucky: at each step, you could pick the largest element as your pivot. Each step would only remove one element from the list and you’d actually have O(n2) performance instead of O(n)

If adversarial input is a concern, doing a O(n) shuffle of the data first guarantees this cannot happen. If the data is really too big to shuffle, then only shuffle once a bucket is small enough to be shuffled.

If you do shuffle, probabilities are here to guarantee that that worst case cannot happen. If anyone says that "technically" it can happen, I'll answer that then "technically" an attacker could also guess correctly every bit of your 256 bits private key.

Our world is build on probabilities: all our private keys are protected by the mathematical improbability that someone shall guess them correctly.

From what I read, a shuffle followed by quickselect is O(n) for all practical purposes.
Thank you, the article is really interesting - do you know if any popular app uses this grading system? Would be nice to test how it compares. I did feel like ACRC3 is a bit closer to how a human solves it, but it's still a backtracking algorithm at its core and looking at the analysis, it's not _really_ different than a simple brute force in terms of its rating.
As a Greek, a) lots of people lost their jobs during the crisis, could barely make ends meet or even committed suicide; those people certainly didn't fill the taverns. B) It is true that Greeks won't cut on food/going out as readily as others.

People in Greece certainly don't prioritize happiness instead of making money. There was a clear shift where Greeks became more and more unhappy after the (still ongoing) crisis. No1 problem is financial insecurity; as a resident (MD) I work 70-80hrs/week, for less than 7€/hour. Prices are comparable with rich EU countries.
AI #74: GPT-4o Mini Me and Llama 3
Will they criminalize VPNs? I guess that is the next question.

In Middle Eastern countries every home has a VPN subscription, it is an open secret, and there is no effort to crack down on it or block it (i.e. not like China). It lets the government say "We banned the naughty stuff," while allowing their citizenry to rightly access everything at the same time.

The only people put out by the bans in the Middle East are tourists fresh off the plane who didn't do their research.
This article assumes P(artitions) don't happen, and then concludes you can have both C and A. Congrats, that's the CAP theorem.
Undebated Research Is a Growing Concern for Scientific Institutions
You could have done this without ai though right?
Federal judge upholds FTC ban on noncompete agreements
This is certainly impressive, but whenever IMO is brought up, a caveat should be put out: medals are awarded to 50% of the participants (high school students), with 1:2:3 ratio between gold, silver and bronze. That puts all gold and silver medalists among the top 25% of the participants.

That means that "AI solves IMO problems better than 75% of the students", which is probably even more impressive.

But, "minutes for one problem and up to 3 days for each remaining problem" means that this is unfortunately not a true representation either. If these students were given up to 15 days (5 problems at "up to 3 days each") instead of 9h, there would probably be more of them that match or beat this score too.

It really sounds like AI solved only a single problem in the 9h students get, so it certainly would not be even close to the medals. What's the need to taint the impressive result with apples-to-oranges comparison?

Why not be more objective and report that it took longer but was able to solve X% of problems (or scored X out of N points)?
Religious leaders like their own porny, rapey lifestyle, no? Why do they want to ban porn?
Discussion (260 points, 4 hours ago, 158 comments) https://news.ycombinator.com/item?id=41071639
Agreed. That should have been a opt-in from day one!
The US burned half of its stockpile in the last four years[0], as a (politically popular!) counter to inflation. It's as the parent comment says: we're presently infected by short-term thinking, exchanging gigantic risks in the future for small benefits in the present.

[0] https://en.wikipedia.org/wiki/Strategic_Petroleum_Reserve_(U...
Double click.
Skill issue tbh
Meanwhile you can go on Amazon, without signing in, and search various terms that return all variety of products depicting "porn".
So how do people install openbsd on the thinkpad x13s?
So that's a no, then.

Actual LOL at "an NSA pentest".

Slightly later

A friend points out I'm being too harsh here, and that lots of products do in fact get NSA pentests. They just never get the pentest report. We regret the error.
I hate this. If i used my real name id have some pleb website on the internet making chump guesses at what i know based on what i was prepared to share. Thanks for reminding me to use anonymous burner accounts on everything app i use.
Union in the broad labour union sense, but without the labour specificity. The same union we’ve been talking about all along.

Not sure why you think we’d randomly change the topic all of a sudden for no reason…
If you're coming by after the fact and scratching your head at what a data diode is, Wikipedia's page on the subject is a decent crib document. <https://en.wikipedia.org/wiki/Unidirectional_network>
> You don’t think the west has stockpiles?

A few small and badly run ones. IIRC, the US's medical stockpile was already bare at the start of COVID, and I recall reading controversy about if it should be replenished at all when its potential worth had literally just been proven. The petroleum stockpile seems like it's mostly used for electioneering (e.g. release stockpiles in the run up to an election to lower gas prices to help incumbents). I'm not aware of any other ones, like for food and raw materials besides petroleum.
> If there's an example of another human who has had more influence on the worldview of more people, I don't know who it could be.

Meta, Alphabet, Bytedance, etc (possibly twitter/x) individually have far greater reach and influence than Murdoch's properties.
Not just Pornhub, but OpenAI, and all social media sites too.
I don't have anything to add on the subject of the article, but just want to mention I really like the site it's published on. Alongside przekroj.org (which recently started dipping its toes into publishing also in English) it is one of my favorite places on the web. No clickbait, no quantity over quality, just (mostly) interesting, well researched content. I wish there were more places like these around the internet.
Those do strike me as elucidating the power in suitable contexts very nicely.

For those following along at home, click https://uk.mathworks.com/help/simulink/ug/powerwindow_02.png first and then realise that's a top level chart with per-case sub charts (and then follow buescher's link if you want to see those) ... and that at the very least this is probably the Correct approach to developing and documenting a design for something like that.

Thank you kindly for the Informative Example.
Ask HN: Cynic attitude towards my employer
I have noticed that no matter what kind of company I work for, I have developed this sort of disdain towards my employer. People talk about “owners” vs “mercenaries” and I think I identify myself as the latter, but on steroids: I will do my job as professionally as possible, but I couldn’t care less if the company goes bankrupt the next month (in Europe you usually have a notice period of at least a month, and well, I have enough savings to survive until finding another job). The thing is, i’m not sure why I feel like this. I think it started after Corona and the possibility of WFH: I think I realised how much companies in the past were taking advantage of me by forcing me to go to the office (doesn’t make sense perhaps since I always signed a contract allowing them to do so… but I guess I never thought of doing it differently was an option).

I don’t think i’m burned out (I still enjoy from time to time the adrenaline of writing code and pushing it to prod; I also work on personal projects).

Or perhaps is this feeling normal? I’m also becoming older (i’m not in my 20s anymore), so perhaps it’s just part of life (as we realize that we won’t get everything we wanted when we were younger, and somehow we look for someone to blame).

In any case, it’s not something that doesn’t let me sleep; more like an interesting thought of self reflection.
This document has no teeth. It is more simple than this … does it have fixed scope and fixed timeline ? If so it’s not agile.
It's more like, do you want $20 now, or a chance at $30 later, as long as you don't leave the company? That's a critical difference. If you pay me what I'm worth in cash, right now, I can do with that cash what I like - which includes investing it into the business. If you pay me with future promises that impose additional constraints, then my money is held hostage to those constraints.
First, I am a Swiss developer so that's my perspective.

Because long term if we invest in domestic ability to support, debug and improve software is a benefit. Getting actual control over the software deployed, rather then just what Microsoft want's you to get.

Switzerland is behind in Digitization, and having an increase amount of open software to interact and build with makes a hell of a lot of sense. A you do digitization, every part of the software from every deparment needs to interact with every other software. Having this stuff be open source based on open standards, supported by local developers who can make this happen is vital.

We should not just hand our IT infrastructure to Microsoft and Oracle, just as we are not handing of our railway system to Virgin (looking at you Britain).

Of course if its just about LibreOffice, there is no point, we need a much more systematic, wide-reaching long term digitization plan, and open source must be a big part of that.

I frankly don't care if short term it costs a bit more,
Humor is not banned on Hacker News. Bad attempts at it are penalized, though.
Got it, that makes more sense and could actually make your inbox more private as the email provider won't be able to snoop into your emails to gather data to "make your ads more personalized".

I'll look into this now that it makes more sense, thanks for the advice!
Polish mathematician had the Polish "bomba" in... 1938 (which is actually right before WWII):

https://en.wikipedia.org/wiki/Bomba_(cryptography)
They say this:

> We have IP-based rate limiting in place for many of our endpoints, however these crawlers are coming from a large number of IP addresses, so our rate limiting is not effective.

Do you have something else in mind? Just shut down the whole site after a certain limit?
Work graphs are in Vulkan (pg. 3)?! Since when? Where can I learn about this? Excitement
Unlikely, site-generator hosts are still happily providing a limitless supply of remixed well-structured nonsense, random images with noise, and valid links to popular sites.

In this case, they showed up to the data buffet long after it went rotten due to SEO.

Have a nice day =3
> from wat import wat

Given the cool nature of this project, I'm surprised they don't offer simply "import wat" with identical usage syntax. Thus inviting curious users to wat/wat in order to discover the trick...
Indeed. This seems similar to the hand-wringing I see about China's government subsidized manufacturing being "unfair". Actually government subsidized manufacturing is a great idea and its the entire reason we have a space program!
In short, yes, though it's geared toward topic search.

From a strategy perspective, we designed it for topic search because it makes more sense to find everything on a topic first, then filter for the most recent, if recent is what you want. That's because there is a lot of useful information in older articles (citation connections, what people discuss, and how), and gathering all that helps uncover the most relevant results. Conversely if you only ever filtered on articles in the last year, you might discover a few things, but you wouldn't have as much information to adapt to help the search work better.

So, you can ask for articles on coffee (though ideally it should be something a bit more specific, or there will be thousands of results). Our system will carefully find all articles, then you can filter for 2024 articles or look at the timeline.
Yep: https://pubs.opengroup.org/onlinepubs/9699919799/utilities/d...
it brings me a thought: is it just me who kind of hate the "super-modular-files-with-10-lines" way of doing things today? would love to get back to the way of doing things in the past, like super well-commented files, with hooks here and there to help you navigate, single file for single contexts...
This is a very accurate recreation, impressive.

Be sure to try the color cycle mode by hitting tab.
color me paranoid but clicking a pdf from defense.gov feels wrong but I want to read this so bad lol
A big part of it was also surfing the web is more or less dead. Google created a search engine which killed browsing. Now Google search is dead and people have lost the ability to surf.
LiftKit: New Open-Source CSS Framework
First parts of the document are pure BS focusing on hype technologies rather than “Agile”. I mean, questions about ”Kubernetes or Docker Swarm?” etc.

The last section with flow chart is good though.
GPU utilization is a misleading metric. DCGM and Konduktor
It sounds British
Best I could come up with after thinking for a moment is "AGHAST": "Astonishing GitHub Availability (of) Source Trees".

But I'm still not entirely satisfied with the word choice.
Or that could become suddenly a lot less valuable due to a US treasury default.
They're amazing. And - you can run a PC emulator on an ESP32. Sure, you need the fancy ram. OK. And then people will tell me an ESP32 can't do things that people definitely were doing on bare-bones PCs in the eighties.