skysight-inc/HackerNews huggingface dataset:
For some reason in software there seems to be an incredibly large space for non-evidence based thinking and belief systems.

I wonder if that's because in a lot of cases (depending on the domain) the space of possible valid/working solutions is near infinite, and if you don't have hard requirements that are backed up by measurements you're free to concieve of any valid system structure and justify it as 'better' without that ever being something that can be observed and measured.
Software is results driven, there's no value in simply warming a seat for X YOE, talking about code instead of actually executing.
Is this memory safety here in the room with us?
I feel like that's true for most of the relatively low-level disk and partition management tooling. As unpopular an opinion as it may lately be around here, I'm enough of a pedagogical traditionalist to remain convinced that introductory logical volume management is best left at least till kindergarten.
Semi senior?

I usually tend to take people who add prefixes like senior to their function title, less seriously. I've seen young devs who write better code than so called senior devs.
This is a good point, maybe i'm too pessimistic on these sorts of businesses
Fun, but so hard to see the pieces!
I would agree with you if the risk was only the in-flight asymmetric crypto data. But as I understand it, when you use non-pq asymmetric crypto to roll the symmetric key in, then you would still risk the unbreakable symmetric encryption when the carrier protocol gets broken. Reusing the same key would be an amateur mistake. Now, 'just replace the asymmetric crypto' becomes, 'your data is only safe in-flight because everyone knows our shared symmetric key'

All of this is very low risk but anyone wishing to have post quantum encryption probaly wouldn't appreciate three letter agencies having all of the symmetric keys if you ever used the weaker algo versions in a post quantum world.

>You can just replace the non-pq asymmetric protection with pq asymmetric protection.

Would you really feel safe with that?
"Absence of evidence is not evidence of absence" is simply false, however much fun it may be to say. Let us suppose, for instance, that we had indeed scanned over the entire universe and found that there was no evidence for life. Would we then be justified in saying "the absence of evidence is not evidence of absence"?

Of course not. What other evidence of absence do you expect to uncover, other than a lack of evidence for existence? Do you expect to go out into space and have some sort of space god hand you a genuine, bona-fide certificate of nonexistence of something?

It is important not to overestimate the strength of the absence of evidence, but setting the strength to zero is just as wrong.

If we look in many places where we expect to find life, because we have a theory that life is easy and essentially appears the cosmological instant it is possible, and we have a theory that the conditions for life are easy and abundant, yet we look out into the universe and see no evidence of this, yes, we are completely justified in adjusting our understanding of the probabilities involved. The more of the universe we see, and the more it lacks various sorts of life (all the way from the simplest, sparsest bacteria-type life up to galaxy-spanning intelligences, each to their own degree) the more we are justified in coming to conclusions about their probabilities.

Another thing people have problems with in this debate is understanding the difference between justified beliefs and true beliefs. If we hypothetically examined all but one-trillionth of the observable universe and found it bereft of any other life, we would be justified in the conclusion that the most likely scenario is that there isn't any. We could end up being wrong if that remaining one-trillionth just so happened to contain other life, but we would still be justified, having collected extensive "absence of evidence". We can not claim that we have seen enough of the universe to know that it is true that there is no other life, and we have not seen enough of it to be justified in claiming there is no bacterial life, but I do feel at this point we are pretty justified in claiming that at least this galaxy and the nearest ones do not have any galaxy-spanning, multi-million-year civilizations in them, for instance. Maybe they're there and they just don't do anything visible, but that's a pretty precise claim.
> Two kinds of purchases are possible: one-time purchases and subscriptions.

https://hypercritical.co/hyperspace/#purchase
DoT (DNS over TLS) would have been enough for privacy from your ISP, using a dedicated port. It's only when you want to protect from censorship that you need to hide the (encrypted) DNS traffic among other traffic that can't be easily blocked.
Is a 3000 dollar valve with 220,000 worth of paperwork. Without the paperwork and a pedigree it’s basically useless
49 other states now have the authority to do the same.
Yes. But all the good stuff Musk did was before he started using drugs.
How do I test that??

I code in vim (or nano) with some basic sh scripts (certainly not bash). Then I would remotely query gemini via curl, or wget, something along those lines.

I could not see any pointers on some "web API" documentation, or maybe it is dramatically hidden in some javascript-only text.

And even if it is "somewhere", how do I register for a secret for this web API? I can bet, if it is possible, you must have a blink based browser, and care was probably taken at _NOT_ being compatible with noscript/basic (x)html browsers.

I hope I am wrong, if not, I can only despise those people as they are doing it clearly on purpose, and hope only for hardcore regulation on technical interfaces.
This is a talk from DistrictCon. There is video available here: https://www.youtube.com/watch?v=wdfe2BnXQjU
Deleted comment based on a misunderstanding.
Looks super cool - good stuff
Open solutions available to replace?
In the age of docker anything almost anything can be a single file binary if you don’t mind pushing gigs of data around.
Most cookbooks seem to optimize for taste.

Are there any cookbooks that optimize for nutritional/health value of food with a reasonable emphasis on taste? Not looking to be just pointed to vegan cookbooks.
Is there anything available to learn about this on a domain with a high reputation, such as an academic journal? I realize even those aren't perfect, however.
Jane Street leadership have said that programming languages matter. I think they just really believe in FP.
I never thought of crontabs as revenue drivers until I read this.

How do you manage the crons and monitor for uptime?
Have you tried using SQLite in the browser and have it play nice with a DB in the back?
i had a friend who told me that on high enough doses every picture becomes like a movie, you can just stare into it and imagine that whole world
It could be a one way correlation; i.e. the only way a bad kebab restaurant can survive is to be near a train station.
>> Alao, 33, a Nigerian gay man, put it more bluntly: ‘Straight men have a lot to learn from us.’

Men aren't women, and gay men are more like women.

Straight guys don't need this "intimate companionship" as much as women, this is the result of the complete feminization of society.

Straight men socialize through shared hobies, not "chit chat" or "the need for intimacy". In other words, men socialize through action (excluding aside coworkers, which one is forced to be with).
Deepclaude with 3.7 Sonnet Support
I've gone ahead and added support for `claude-3-7-20250219` on Deepclaude.

Go wild!
This is idealistic. In reality, we have more control over tools than how they are used - in general we have more control over changes earlier in the pipeline. Precious little control, but more control.
> Perhaps you forget or ignored to read the complete sentence.

The rest of that sentence is not true though. Read this post: https://news.ycombinator.com/item?id=43146300

How do you square that math with your assertion that "most of the money are going to the research managers and admin staff"? You can at least admit you are expressing very strong opinions here for someone who doesn't have a firm grasp on the issues and no relevant experience working in this area. You're not aware of the fractal of complexity in this area, and you boiled it down into a heuristic which is smugly wrong.

> not sustainable with so much wastage on unnecessary overheads.

You can't really articulate how these things are wasteful, so why are you concluding the overheads are unnecessary? See my sibling reply to the OP using the analogy of a skyscraper.

You are a person coming in the middle floor of the sky scraper saying "What are all these beams for? They seem unnecessary, let's get rid of them."

The engineers and architects who built the sky scraper told you those beams are holding up the roof.

You say "I know better, they are waste and unnecessary overhead!"

The engineers and architects point out towers of the past were much smaller. People expect towers today to be taller than ever before, and if you want taller buildings you need more and more support beams. Gutting the tower of support beams will cause it to collapse in short order.

We can talk about how to rearchitect the tower to use fewer beams overall, because that's a worthwhile discussion. But this approach of "slash all the waste!" is basically a game of Jenga, because you aren't sure what's actually waste and what's load bearing.

> the main reasons the richest of countries and empires falls...

The main reason empires fall is because people who have no experience building them take over and drive them into the ground with their own hubris and ignorance.
CC was written by a man who worked with a highly respected man .. let that sink :)
Will geometry kernels ever be fully robust, or is there still a holy grail to be discovered here?
great project. Love the simplicity and autodetection. Base64 decode would be a nice mode to add.
I have the (layman) impression that there is no inside - that spacetime is so stretched around the event horizon that there is no spacetime beyond it.

But, then, I've never seen anywhere that the mass of the black hole (which is very much a real thing that exists in spacetime) is distributed over the event horizon, which would be at the biggest amount of mass a given region of spacetime can hold, and is not concentrated on a point with infinite density inside it.
I experimented with a similar, "hardlink farm"-style approach for deduplicated, browseable snapshots. It resulted in a small bash script which did the following:

- compute SHA256 hashes for each file on the source side

- copy files which are not already known to a "canonical copies" folder on the destination (this step uses the hash itself as the file name, which makes it easy to check if I had a copy from the same file earlier)

- mirror the source directory structure to the destination

- create hardlinks in the destination directory structure for each source file; these should use the original file name but point to the canonical copy.

Then I got too scared to actually use it :)
If we're being real here: it's excellent framing for their customers who very likely does this but slower (and with an equal amount of empathy). The framing is excellent in terms of the basics of pitching: know your audience identify bottlenecks, present a solution to remove bottlenecks, and clearly demonstrate how.

The optics of presenting this in a public domain full of people who relate more to the factory worker than the middle manager is indeed tonedeaf, though.
Still, did no one watch the press release video upstream of this post? Either they are posting garbage press releases without really reviewing the content, or (worse) one or multiple people genuinely saw no problem with it.
At least cell phone networks through their standards processes have pushed most consumer networks and consumer hardware to be IPv6 by default ("by only option" in many cases with DNS64 and NAT64 filling in the gaps).

The real pressure we need are to corporate networks. Too many of them think they can use 10.0.0.0/8 forever. Too many of them own giant chunks of public IPv4 space and think they are immune to the address exhaustion. At least the prices for IPv4 addresses are going up at major clouds like AWS and Hetzner. But it still seems too slow of a price rise to hit enough bottom lines that major corporations are feeling the pressure yet.
Who will be hurt the most by this?

Not rich billionaires like Musk.

The answer is the working class folks who voted for Trump?

The same answer applies to who will be hurt the most by tariffs.

Amazingly, lots of ordinary folks were hoodwinked into giving rich billionaires more control --- over themselves and their lives. Stupid is as stupid does.
For those mentioning that there's no price listed, it's not that easy as in the App Store the price varies by country. You can open the App Store link and then look at "In App Purchases" though.

For me on the German store it looks like this:

Unlock for One Year 22,99 €
Unlock for One Month 9,99 €
Lifetime Unlock 59,99 €

So it supports both one time purchases and subscriptions. Depending on what you prefer. More about that here: https://hypercritical.co/hyperspace/#purchase
It's an echo chamber.

It is - what? - a fifth anniversary of "the world will be a completely different place in 6 months due to AI advancement"?

"Sam Altman believes AI will change the world" - of course he does, what else is he supposed to say?
Not a Christian but there are parts of the King James that I really like. If you grew up in the west it can connect at a really deep level since so much of our culture is built on it. There are really boring and downright bad parts too. It’s a mess of a book, I like it
Sounds like a job for AI.
Does that $55B include the correction for the $8B -> $8M "reading is hard" mistake
Probably decoration on an engineer or mechanic's desk and it got cleared out. If it broke or aged-out, it was probably just getting tossed in the scrap metal bin, so no one really cares if it turns into office decor.
Twitter was not the government.
hmm, I though about this a lot. But tbh I think MCP is sort of a gimmick... probably the better way is for agents just to understand the http apis directly. Maybe I'm wrong, very happy to be convinced differently.
Do you think MCP server for the cloud version would be useful?
You do realize that most of this is US propaganda, right? Xinjiang is like a fully developed economy and Uyghurs are doing well. I visited Beijing last summer and asked some Uyghur workers who discussed their conditions openly.

The re-education camps were for a small part of the Uyghur populace that were involved in terrorism against other Uyghurs and Chinese.
Arc-AGI-2 Preview
I was joking that the salute he gave at Trump's inauguration was just a von Braun salute.
Session, SimpleX, Jami, Briar are a few.
Ranking (information retrieval) https://en.wikipedia.org/wiki/Ranking_(information_retrieval...

awesome-generative-information-retrieval > Re-ranking: https://github.com/gabriben/awesome-generative-information-r...
Pssst, it is the usual WebAssembly sales pitch.

Linear memory accesses aren't bound checked inside the linear memory segment, thus data can still be corrupted, even if it doesn't leave the sandbox.

Also just like many other bytecode based implementations, it is as safe as the implementations, that can be equally attacked.

https://webassembly.org/docs/security/

https://www.usenix.org/conference/usenixsecurity20/presentat...

https://www.usenix.org/conference/usenixsecurity21/presentat...

https://www.usenix.org/conference/usenixsecurity22/presentat...
On Linux
Because there are still a lot of things robots simply can't do, like picking items and packaging them. Seems incredibly simple, right? It's not. It's also the reason we won't have self driving vehicles before the collapse of western society.
There have been a few of these types of discussions on HN -- search phrases like "internet from scratch" -- really fun reading.
Good. The code I've seen from Game devs, the bad practices justified, and the ego is excessive.
So many meme picks but they couldn't even get My Struggle in the top 100

Pathetic.
UEV patents are held by the DOD so the US get's to decide who get's the machines.
That era of aviation was nuts. I wish I was around for it. Men with slide rules working out the limits of material science, aerodynamics, and everything else, all at once. Because it wasn't enough to just push one limit, you had to push half a dozen others to get things to that first limit. And the rate of advance was just staggering.

The XB70 flew in late 1964. Concorde was doing revenue flights in 1976, cruising at Mach 2, with passengers being served luxury food.

> The Air Force learned that pushing the technological envelope resulted in plane that was difficult to build, difficult to maintain, difficult to fly, and perhaps even more importantly, was incredibly expensive; the program cost nearly 1.5 billion dollars, or around 11 million dollars per flight.

And nothing has changed. Pushing the limits is expensive. Always has been, always will be.
how would that work? Can you control the browser without debug mode? Especially in production the browsers are anyway running on single instance docker containers so the file system is not accesible... are there exploits that can do harm from a virtual machine?
No shade against Sonnet 3.7, but I don't think it's accurate to say way higher than any other model in the space. o1 and o3-mini go up to 100,000 output tokens.

https://platform.openai.com/docs/models#o1
Two event horizons, because gravitation cancels out in the center of a black hole.

ps.
Energy is sucked up from the center by second event horizon, but matter is pushed inside, forming a dense and cool crystal, a solid foundation for second order effects to play.
Even if you did find the unsavoury stuff on Ao3 it might take a while to get to it in the story whereas in an image you could be blasted with the sin of more than a thousand words all at once
Are you saying it was okay to distrust EnTrust but DigiCert is too big to fail?
You could implement some sort of right of first refusal for any multi-family build on that land.
I’m certainly guilty of using one of these hosted cli tools in a pinch (crontab I can’t quit you), but adding an LLM in the mix just adds more complexity. Getting a few of these tools under your fingers is probably way easier than building an app to try and figure it out for you.
Thank you. I didn't know about this. Just posted an appeal to them. Let's see what happens.
This is great, I can't wait to be able to use a NonMax type in place of NonZero in a couple of places.
I can't remember the last time I worked on a team without automatic linting enforced on check-in. Why would people choose to waste time arguing over that can be automated?
$1.8
I think we're generally in agreement here, yeah.

> The route to having chicken and pig farms be less zoonotic threats "just because" is liable to just famine billions.

Absolutely. My main objection here is to the folks going "lol bats eww what idiots" sort of tone when we're doing the same thing here, on an industrial scale, with likely similar consequences.

The folks in Congo are just trying to get enough to eat, and some of that means hunting, just as it often does in American rural areas.
"Lock her up!" He shouted about her.
https://youtu.be/wS_Nrz5dNeU?si=XasLFHXQygx7IgSw ... /? lock her up: https://www.youtube.com/results?sp=mAEA&search_query=Lock+he...
> And non-trivial proportions of Republicans, about 40 percent, and Conservatives, about 45 percent, also prioritized better government rather than simply smaller government.

I wonder if this research fed into DOGE being disguised as an efficiency drive.

The Republicans can be surprisingly data driven, like when they discovered it was easier to attack Obama from the left and make people not want to vote at all than to switch to vote Republican.
That argument does not apply in the current case, though, because Joann was being publicly traded [1] when it got bought by private equity in 2011. The management of the publicly-traded company explained,

>“We are excited about the prospect of working with Leonard Green & Partners [a private-equity firm] as we further capitalize on opportunities to accelerate the expansion and upgrade of our stores and pursue market share gains,” Darrell Webb, chairman and chief executive of Jo-Ann Stores, said in a statement [1].

[1] https://archive.nytimes.com/dealbook.nytimes.com/2010/12/23/...
It was technically a Bellamy salute (https://en.wikipedia.org/wiki/Bellamy_salute), which the Americans invented and used a lot before WW2. Not that this excuses anything, it is still out of style.
DuckDB and PostgreSQL Make a Great Pair for Analytical Processing
That's the thing though: a NIF execution isn't confined to the the BEAM process by its nature. From the Erlang docs:

> As a NIF library is dynamically linked into the emulator process, this is the fastest way of calling C-code from Erlang (alongside port drivers). Calling NIFs requires no context switches. But it is also the least safe, because a crash in a NIF brings the emulator down too.
(https://www.erlang.org/doc/system/nif.html)

The emulator in this context is the BEAM VM that is running the whole application (including the supervisors).

Apparently Rustler has a way of running Rust NIFs but capturing Rust panics before they trickle down and crash the whole BEAM VM, but that seems like more of a Rust trick that Pythonx likely doesn't have.

The tl;dr is that NIFs are risky by default, and not really... Elixironic?
Deep research (ChatGPT) is now rolling out more widely
Arithmetic Models: Better Than You Think
You've gotten some great answers but lemme add another thing: The zero type is useful for things that should not happen that you can prevent at compile time, while the unit type is nice for things that can only happen one way.

In Elm (a functional language for making web UIs), you might use the unit type for a lazy view function. If and only if some condition is true, call a view function to render some stuff into your DOM tree as in the function viewIfLazy [0]. There's only one way to call that view function, so let's call it with the unit type.

Now, what about using the Never type (a type with no members that can be instantiated at runtime [1]) to do accessibility? In Elm, your DOM elements have type `Html msg` where msg is a type _parameter_ for your actual message type that makes your app update itself. Usually you create that type like `type Message = UpdatedTheFooCounter Int | UpdatedTheNameInput String | ClickedTheBlahButton` something like that. Then the type on your inputs and buttons will be `Html Message` (read as "Html of Message" or even "Html parameterized by Message").

Well, it's bad a11y practice to have onclick events attached to divs and spans and things that aren't buttons, generally. So you can give your divs type `Html Never` and then if you try to attach an onclick event to them, you find that you can't at compile time, because the members of the type Message are not members of the type `Never`. tesk9/accessible-html is a package that enforces that [2] (I kind of simplified how it does that because I'm deep enough in the weeds already).

[0] https://github.com/elm-community/html-extra/blob/0b8fc70752c...

[1] https://package.elm-lang.org/packages/elm/core/latest/Basics... also has a simpler example now that I think of it.

[2] https://github.com/tesk9/accessible-html/blob/master/src/Acc...
.terraform, rust target directory, node_modules.
So I tried schemesh [1] with it. That was a rough ride, wow.

schemesh is lisp in your shell. Most of the bash syntax remains.

Claude was okay with lisp, but understanding the gist of schemesh, it fount it really hard - even when I supplied the git source code.

ChatGPT O3 (high) had similar issues.

[1] https://news.ycombinator.com/item?id=43061183