skysight-inc/HackerNews huggingface dataset:
https://en.wikipedia.org/wiki/Death_of_Garry_Hoy people will assume more safety than necessary. You don't have to jump, but someone will try. We can accept that fact or watch people fail over and over on the same issue. It's better to help everyone avoid the problem in the first place.

For some reason lots of programmers will behave like the comment section on an accident video. "I would notice that earlier", "I'd avoid that", "I can react faster".
> I certainly can see it being useful for writing additional tests

If your metric is number of tests, sure. If your metric is number of useful tests… eh
You should be running any dev stuff in a VM / Container anyway because of all the supply chain attacks / typo malware
To be pedantic, they advertise 0 flicker when capturing with a camera at up to 240 fps. It’s probably still using PWM with maybe a few kHz, so physically, it’s still flickering.
A journalist recently wrote an article in The Atlantic covering the epidemic of people spending more time alone and did an interview to talk about it.

PBS - “The Anti-Social Century:” Inside America’s Epidemic of Solitude | Amanpour and Company

https://www.youtube.com/watch?v=wz8KrZFhaxU

People have been talking about this issue for a long time now.

We know it's an important problem and it's not the first time community has sort of collapsed, but it takes time for society to adjust back to a balance. Whether we force a fix or not, after the older generations pass away there will be more opportunity and sense of purpose/meaning in reaching out.

When stability and satisfaction is relatively achievable without others, the required motivational threshold for putting in the effort to make connections gets higher. This compounds when some businesses, events and organizations that rely on strong socializing tendencies to succeed start to decline. Then those have to be rebuilt once people realize the problem.

The worry is that the internet and online socializing could keep us in a groove that limits the effectiveness of any corrective measures, reducing the ROI on initiatives to solve it.
Personally, LLM routers play a big role as they excel at optimizing multi-model workflows. Moreover, AI models are becoming more specialized. While users who consolidate tasks into single prompts may not need such platforms, those who manage more complex workflows or want to focus on scalability and flexibility - such platforms like https://nexos.ai/ can become really valuable.
I gave Claude 3.5 Sonnet your prompt and it generated this: https://claude.site/artifacts/7aa41881-937e-4863-a407-c999ea...

With this example usage:

-- Example usage:
let clause1 = Set.fromList [1, 2] -- represents (x1 ∨ x2)
let clause2 = Set.fromList [-1, 3] -- represents (¬x1 ∨ x3)
let formula = Set.fromList [clause1, clause2]

-- Decompose the formula
let (nonBlocked, blocked) = decompose formula

How did it do?
The lack of first class js support just kills it. Having to use middleware that doesn't work too well on AWS is the nail in the coffin.

It's different if you've drunk the microservices koolaid but for normal projects it doesn't help generate front-end client API libs like you'd hope.
If you formulate the questions right, AI will agree to anything.
FYI, none of my engineer friends in the U.S. can pull this off. This is truly impressive.
> what I find amazing about tailwind is how amenable it is to AI-generated workflows

It's highly amenable to human workflows as well. Of course, humans are more disparate than AIs so it doesn't suit all humans - no tool can. But it sure does seem like a majority of humans web developers like it.
Good, cheap design that takes care of dead letters vs implementing a failover endpoint that would require extra hardware.

MQTT is plug and play in Python. No more costly than a HTTP server.
I want to be clear on what the idea being conveyed is, I'm guessing one thing, but the poster says another.

That's a bad thing?
I've always heard you should be in line with the top of your monitor when looking straight ahead. A quick google has says the said.

Either way we're on the same lines - too many people are looking up too much when looking at the monitor. It takes more effort than looking down.
No. I assume exactly that. There is no objective and unbiased definition of “critical thinking” (unless you think it can be “taught” to someone in less than 60 minutes) let alone of specific teaching methods
I read that sentiment here a few years ago but couldn't get anything more out of it than actors can race, but a turing machine is determistic. I could very well have it wrong.

If you were computing with actors, and you also had a sufficiently-detailed spec about the actor model, is there some particular algorithm you could not compute by just executing a TLA+ spec of your actor algorithm using Turing-ish software?
Happy is a strange term.

I know a couple people that are deeply unhappy with their lives, but they are happily using some of the mentioned games and media to distract themselves from that fact all day. Then they go to bed and can't sleep, because they are no longer distracted from it.

They're very happy to have those distractions, though. Is that good for long term happiness? Probably not.
ChatGPT can you write me a response that includes enough typos to look human, but not enough that I look like a prince from Nigeria tracking down relatives to give them money?
Thanks for taking the leap by making a game with Clojure!

I’m a aspiring gamedev and my focus so far has been working bottom up with C and friends. But I do love Lisp and especially Clojure, I’m really hopeful now that Jank is gonna be a full time project this year.
Solid list. Two that influenced me personally were:

Wolpert, D. H., & Macready, W. G. (1997). No free lunch theorems for optimization. IEEE transactions on evolutionary computation, 1(1), 67-82.

And the corresponding search paper. Got me started in search and optimization (and Prolog).

Licklider, J. C. (1960). Man-computer symbiosis. IRE transactions on human factors in electronics, (1), 4-11.

More of a philosophical outlook but the thought of man-computer symbiosis instead of "computer solves it" has stuck with me (and is quite relevant in this day and age).
Thanks, I didn't mean it as a dig, I just wanted to be sure that what I was guessing was being said was what you actually meant.
> My guess: Your domain is weird/rare, so LLMs are terrible because their training data is very limited.

The training data is always limited, because if there was an existing software that already did what I'm doing, I'd be using it instead of writing it :)

So by definition, unless I'm learning how to program and doing exercises that thousands have done before me, I'm doing something for which there is no training data.
An AI tool to turn books into customizable audio summaries
Narrify is an AI-powered platform that converts any book into an audio summary. Users can upload eBooks to get concise and easy-to-digest key takeaways, applicable to both fiction and non-fiction books. It offers a personalized listening experience, allowing users to choose from different durations (e.g., 8, 18, or 28 minutes), various professional voices, and multiple output languages. Additionally, users can stream content online anytime, anywhere, or download it for offline listening, and even sync it with their favorite podcast apps. Overall, Narrify aims to provide a convenient and efficient learning and listening experience for its users.
No one personally buys a Toughbook new for home use.
Since you mention Maven I'm going to make the assumption that you are using Java. I haven't used Java in quite a while. The last 8 years or so I've been programming Go.

Your experience of gRPC seems to be very different from mine. How much of the difference in experience do you think might be down to Java and how much is down to gRPC as a technology?
You can check out Halfmoon too instead of Bootstrap: https://www.gethalfmoon.com/
If there are open source projects that use said library, then probably yes.
> From a project management perspective

This assumes you know what the project(s) is/are. Also the people working on it aren't robots. Maybe certain things take time to figure out and meanwhile you can do something else? It's also not just 1 person on the task.

> if you can get Next.js customers onboard you'll grow much more than supporting S3

Towards what? That doesn't make $$$. This is VC-backed. The goal isn't to provide Bun for free and gain all the users in the world.
I appreciated this article and the intention behind it but I don't think your body makes vitamin D from being in a sunny room - you need to be outdoors with the Sun's rays beaming onto your bare skin.

I also cannot believe it's 2025, we have a lot of excessive features stuffed into practically every platform or tech product but nobody has come up with a genuinely healthier monitor/screen solution. LED - back lighting or ceiling - kills me, I hate it.
About Pareto applied to AI, I find this interesting:

> Even people who advocate for these technologies rarely assert that the results are useable as-is, especially in a world where people are accustomed to a much higher, human-level quality. At best they are useful as a starting point for a human to then finish the image, or the cover letter...

I think this might be a bit of a thought trap. Because the people working on and advocating for these technologies are definitely in the top 20% of intelligence/capabilities/whatever you want to call it. For that 20%, the (arguably achieved) 80% might not be good enough. But there are a lot of people who are already vastly outperformed by many of the currently available AI tools in many tasks.

There are many people who are just awful at writing and can already benefit greatly from these tools, for example to write readable cover letters. Or for explaining things in basic language, something I often use it for when trying to understand complicated texts from another field.

The other side of Pareto is that perfect is the enemy of good. Sometimes 80% adds so much value for the majority, that the other 20% isn't necessary to label something good enough. The article contains an image of a Cyber Truck, which is fitting, but I truly loved my early Model 3 which was arguably also only 80% done.
I don't tinker much in the Android ecosystem, is there an F-Droid client available for Android TV devices? I've managed to install the smartphone version on my NVIDIA Shield TV, but it is more or less impossible to navigate using the remote control...
Interesting blog post from the creators with more details about the model: https://oasis-model.github.io

Interactive demo: https://oasis.decart.ai/
Very important number about LED lights is CRI. If this number missing, I would not buy it. Typically >80 is ok, ideally >90.

https://en.m.wikipedia.org/wiki/Color_rendering_index
Trump revokes Lyndon B. Johnson's landmark civil rights executive order
You don't hear about the other side because people like me usually get murdered in cold blood there is no difference but for you to believe that is a singularity like me being treated like a human :)
I have heard on HN that ideation and collaboration does not decrease if everyone works remote.
As long as the US has H1B visas, everything will be fine...
Even in 2025 grpc is still awful for streaming to browsers. I was doing Browser streaming via a variety of different methods back in 2006, and it wasn't like we were the only ones doing it back then.
It is also completely unusable on Android TV devices.
https://archive.ph/TOVrp
Related?

https://news.ycombinator.com/item?id=42041611

https://news.ycombinator.com/item?id=42030787
It's common in our community to be jealous of youth, especially youth with genius, but I believe the github user in TFA is lying. Something about it is off. It also happens in posts here on HN, though.

I think after being exposed to so much internet, you realize how many are simply living a fantasy. In me it provokes a sense of disgust, I see it as part of a broader groomer problem on the internet, but this is a distantly minority take.
> just use TypeScript and a CSS-in-TS solution

THIS is the definition of a hack to me, so yeah.
very cool work!
I know I might be barking up "just a showcase" tree, but what's the memory complexity of this? E g. a nice property of multipass assemblers is that these only need to keep a list of symbols in the memory rather than the whole program. Not really a concern for modern systems with large memories, but then those neat haskell tricks usually carry some extra O(n)s - in addition to (avoidable) extra constant factors due to hidden linked lists and immutability. Aka the infamous haskell quicksort - much shorter and clear, but also not really a quicksort.
Back in 2018, I was wondering how that paper was still relevant, considering all the new security features added to web browsers.

The consensus seemed to be that it wasn't that impactful anymore (if it ever was).

https://security.stackexchange.com/q/185435/76718
> You are saying that, any output is possibly infringing, dependandant on the input.

What? No. How did you get that from what I wrote? Please engage with the argument I'm actually making, not some imaginary different argument that you're making up.

> No human, in the current epoch of education where copyright has been applicable, has learned, benefited, or exclusively created anything behreft of copyright.

What are you even trying to claim here?
>whoever can reasonably be assumed to have backdoored Fortinet)

Considering the almost weekly discovery of fortinet vulnerabilities that seems like a rather low bar
I saw that the piper-phonemize project linked to espeak-ng, and so I tried to pass the Piper sample text through espeak-ng and the way it phonemicized the text had the same rhythm issues that I noted in the TTS sample. Ie it put the stresses in the same wrong places in certain words and such.

This was also reflected in the voice output of espeak-ng, even though it's overall quality was vastly subpar compared to Piper TTS (as expected).

So it seems that improving this aspect might be one way to get better performance out of Piper for my language. Not sure how easy that'll be tho...
Is there a limit to the length of an e-book?
bidi streaming screws with a whole bunch of assumptions you rely on in usual fault-tolerant software:

- there are multiple ways to retry - you can retry establishing the connection (e.g. say DNS resolution fails for a 30s window) _or_ you can retry establishing the stream

- your load-balancer needs to persist the stream to the backend; it can't just re-route per single HTTP request/response

- how long are your timeouts? if you don't receive a message for 1s, OK, the client can probably keep the stream open, but what if you don't receive a message for 30s? this percolates through the entire request path, generally in the form of "how do I detect when a service in the request path has failed"
I don't think you understood his comment.
AnkiDroid (Anki - Spaced repetition app)

AntennaPod (Podcasts app)

Coffee (quicktile alowing adjusting how long will the display will stay awak)

NetGuard (VPN to control app internet access & domain based ad blocking)

Newpipe (alternative youtube & other media sites frontend)

OsmAnd (Navigation based on Open Street Map)

Sky Map (google's sky map)

Telegram FOSS (Telegram client)

VLC (media player)

WiFiAnalyzer
Aurora Store to replace Play Store completely.
Evaluating SotA LLM Models trying to solve a net-new LeetCode style puzzle
Can anyone speak to the performance numbers on the Bun page? It represents itself as significantly faster than the existing options, but why is that the case? Is it related to Bun itself? It must be the JavaScript engine they chose right? My understanding is it uses the Safari one rather than V8. Is JSC really that much faster? If so, what are the trade-offs of choosing that over V8 or any other option?
I actually like this stuff. I get to use a lot of software. One of my favorites is half baked open source. Pretty good to read and get ideas from.
A lot of it is learned behaviour. You get used to working and being productive at night because it's often when you have free time and quiet time. Your brain then starts associating that light setting/environment with 'in the zone' mental states.

As an example I used to be a midnight owl but now with kids I have to make the most of my daytime hours and squeeze as much sleep as I can in the night hours. I totally get the warmth of working the night hours but I am also fine with being in the zone during the daytime. You can shape your brain to get used to anything.
I stopped playing anything beyond 1.7.10.

I still play a lot of 1.7.10 though, because of gtnh. Loving that modpack quite a bit.
Parable of the Talents seem very appropriate the fourth reich has created lil fiefdoms no difference whatsoever to each side
This is probably true, but at least in principle one of those foreign nations stands for free speech and democracy and the other stands for censorship and authoritarianism.

[Edit: hey Europeans commenting and downvoting below, note the words "in principle" in the above comment and evaluate which of the two countries do or do not purport to stand for these things despite whatever your hot take may be on the current moment.]
> northern alaska could become pretty temperate

If you're worried about wildfires, I'd look it up and reconsider Alaska...
That just notes the max amount of memory used, but not the actual memory it needs. If Java has memory available it makes sense that it uses it instead of spending time cleaning up unused objects.

In addition I have a feeling that these benchmarks are comparing short lived processes. Java does take a bit longer than some other languages to start unless you use native. But that doesn't matter much when you are running long lived services.
Unless they are not hosted on github, then no :D
not only that, you can use this laptop to _play_ factorio!
pedantic classists I guess
Might bug bounty programs be more effective, if disclosures are also automatically reported to a government agency, like the FCC, and the relevant company's email cc'd on that? They'd need to provide clear evidence that a report warrants dismissal, and if an exploit is proven to have some from such a report, or if they make any changes and the reproduction recorded in the report stops working, then they are obligated to pay up and/or face fines.
That exists on Android. VPN on ios is known to be rather leaky.
Try 1g/pound of bodyweight (some say ideal bodyweight). For me it's 180-190 g per day. It's hard to eat that much protein. But when I do, the hunger goes away (unusual feeling for me too)
Software Engineering Maxims Which May or May Not Be True (2017)
IKEA Office Planner
Would finetuning fix this? If they are statstical parrots it would seem like it wouldn't
> every field of every type ends up being optional in practice.

This also means that you cant write a client without loads of branches, harming performance.

I find it odd that grpc had a reputation for high performance. Its at best good performance given a bunch of assumptions about how schemas will be maintained and evolved.
That's not pareto. That's just finding a niche of people who would prefer more focused products.

Tax prep software for simple returns only is an entire product. Adding support for the other 20% would lose your initial base's interest.

Tax software that aims to solve all problems whose MVP is it handles 80% of people's tax returns is the pareto the author is talking about. But the real complexity is the other 20%.

Pareto as a minimalism process for focused product development is not engineering (good or bad).

Forgetting pareto and believing (or lying) that you are truly 80% of the way there is a big problem in engineering and funding. The author is correct in that.
This can quickly change if the public sector ever wakes up and smells the coffee.

Imagine if every city would run activitypub type servers and offer them to their own residents as local tax funded service. Its an entirely plausible scenario, cities are managing far more complex infrastructure.

Suddenly you have the pull of the entire planet and resources to keep evolving and innovating the software stack.

We have the cesspool social media that we have because society is forgeting what democracy and sovereignty even mean.

One just hopes that the in-your-face possibility of better alternatives will tip the balance somewhere in the world and start the revolution that will help us out of this sorry period.
If you woke up tomorrow in either USA or China, which would you prefer to wake up in and why?
I want to disagree with the first two of those:

> BlueSky is mostly centralized and easier to understand. No server choice stuff

It's not supposed to be this way even though it is right now. They're intending for it to be actually fully federated.

But the "server choice" stuff is a bug in the existing design of Mastodon anyway. It shouldn't matter which server you pick because you should be able to change it at any time seamlessly, e.g. by uploading a copy of your posts to any other server, where your posts are backed up to your local device by default.

So then the question is, does Bluesky repeat the error when they get around to it, or does Mastodon fix it with an update, or both or neither? But it's not inherently an advantage for Bluesky, unless they get it right and Mastodon doesn't fix it.

> BlueSky has the better name

The old thing was called Twitter, which is the same kind of parody of itself as Mastodon. Now it's called X, which is somehow even more of a parody of itself.

It turns out having a silly name doesn't stop people from using it.
Am I the only one who reads Bansky when sees bsky?
In case it wasn't clear, I am pulling your leg.
In this world Darth Vader wins and we get hunted like dogs for thought crime :)
One thing that plagues almost all API solutions where you have to generate code is that the vast majority of code generators are bad, and often the code they generate is ugly.

I've never understood why so many code generators are so fiddly. They are supposed to parse text and produce text as output. You would think that it would be possible to do this without involving all manner of junk dependencies.

It reminds me of what I refer to as "the most important slide in software engineering". It was a slide by Sterling Hughes (PHP, MyNewt etc) from a presentation I can no longer remember the details of. But the slide simply said "nobody cares if it works for you". In the sense that if you write code that other people are supposed to use, do make an effort to put yourself in their place. Sterling was probably 16-17 at the time, and worked as a paid intern where I worked. But despite his young age, he managed to express something that most of us will never fully take on board.

Whenever I get an OpenAPI yaml file instead of a client library for some system I know things are going to be frustrating.
I see many comments about not using this because China/ByteDance stealing data, etc. I get it for for enterprise, you don't want your code leaking to the outside world, even if in my experience, the code is mostly garbage and not worth that much.

But if it's for some personal project that you're putting on Github, does it matter? If my code is going on Github anyway, it's going to get slurped up regardless. I don't particularly care if it gets processed by Cursor or ByteDance before it gets scraped.
If the outdated 3b model running on my phone can identify the tomato herding excerpt as nonsense, without fancy prompting, maybe they should at least run papers through an automated review process? I can loan them my phone, as long as it gets credit for the review.

There is no excuse for this kind of abdication of duty on the part of publishers. Their entire value proposition is based on their lack of credulity. This pretty much means they serve no purpose at all. They should all just put their shit in boxes, go home, and turn off the lights. Oh wait. Maybe that’s what happened.