skysight-inc/HackerNews huggingface dataset:
> Just knowing the structure is not far off from knowing the max entropy a password may hold

Not if the password is hashed, as it should be. Unless the schema somehow indicates that it uses a hash algorithm such as bcrypt that has a maximum password length. And even then, if they pre-hash the password, the password itself could have more entropy than that. And if there is a maximum password length, then you can probably figure that out via other means, like it being listed in the requirements when you set your password. It does tell you the size of the hash of the password, but if the maximum entropy is sufficiently high, as it should be, then it doesn't really matter; it would still be impractical to brute force.

> there is no company worth its salt that would share DB schema

So you are saying that every company with a self-hosted or open source product that uses a database isn't worth their salt? If your DB is running on a customer's infrastructure, that customer will by necessity have access to the schema. And likewise if the source code for a product is publicly available it is trivial to determine the schema.
In this case Siri not Alexa, but it does horribly at interpreting kids' speech. No end of frustration for my 8 year old who wants to play music on our HomePod.
We haven't really co-evolved with pygmy hippos, qokka, or chevrotain, but folks think they're cute too. Cute is cute regardless of familiarity
You're welcome to read the paper. Tonini's work is well-known within CogSci and its not quackery by any stretch.
The way I read the parent comment was as in; replacing C/C++ with Rust as a choice for language going forward, not replacing existing C/C++ code bases with Rust.
What do you mean messaging has been depressed?
Four hours and still broken for me. Not sure if we will get a postmortem but very curious what went wrong.

Good luck to SREs over there! (I know, they would say luck is not a strategy)
On this page (https://excalidraw.com/#json=WrM9ViixPu2je5cVJZGCe,no_UoONhF...) linked from their twitch, it says: “ This info is all parsed directly from
the RAM of the game, Claude Code
is very good at this task”. I’m reading that as “we are pumping the RAM directly into the LLM”, but I could be mistaken.
My main request is to add the functionality to inquire about the progress of running tasks, such as checking the time remaining on a timer.
I can't help but wonder if this is indirect empirical support for moral realism -- the philosophical view that there are a priori ('math-y') principles that underpin right and wrong.
> Your new technology claims to be superior to existing lithium-ion technology and is just around the corner from taking over the world.

As a corroboration, current hotness in cell phones is existing lithium ion tech with new silicon-carbon anodes.
> The problems that need to be solved are political and economic, not technical.

You're saying the technical problems involved in fusion power have already been solved. They haven't.
How do you intend to address the crew training issue? Merchant vessel operators tend to hire low wage seamen with limited technical training, plus a few qualified engineering officers. Marine diesel engines are pretty simple and robust but I would imagine that operating a fusion plant might require more technical training.
Thank you man, I was getting nuts here trying to uninstall this crap but unable.
I don't know the specifics of this case, but maybe the investigators just asked in case there was an accidental trigger, or a real trigger etc. Seems reasonable for the detective to attempt to turn over any stone they can to aid the investigation.
I don't get it... the reddit image is the same on both sides. Trying to look at it cross-eyed just gives me a headache.

"Foreground text describes viewing type" - there is no foreground, it's just text on a page?
I'm not sure how any person can be confident of such things these days, but would you be ok with the open mic if you knew it couldn't be used to build some profile about you?
If you a explaining this to the average American, you are going to have to start a bit further back than a "Plane".
Wi-Fi 7 Overview (2024)
You'll have more luck building a regular fission reactor on a commercial freighter than verify a fusion reactor for any ocean capable ship.

That part, I'm not so sure about. Enriched uranium is potentially dangerous stuff, and has to be guarded closely. In a world with literal pirates, getting one on a commercial ship sounds very, very unlikely.

As you say, fusion seems equally unlikely, albeit from a physics standpoint rather than a regulatory standpoint. It's hard to tell whether the immovable object of physics would dominate the unstoppable force of regulation, or vice versa.
On the other hand here in Washington a little west of Seattle with a 3 bedroom all electric house I use about 40 kWh a day in the coldest month of winter and 8-10 kWh a day in summer.
Long time ago i worked on WiMAX devices which was a competing standard for the term “4g” from ieee and while it was simpler it wasn’t a whole lot simpler and performance sucked, so there’s that
Nothing ? /s
How do you encode the difference between a method that adds and a method that multiplies two numbers in the type signature?
With an unfortunately named victim, I suppose.
> Floating trees in the open ocean.

The more refined version of this are intentionally created algal blooms, ala the red tide. Then you would somehow capture the CO2 dissolved in ocean water that the algae concentrates.

In this way you'd use the ocean itself as your carbon capture "filter" and "clean the filter".

The issue is that since there just isn't enough nutrients for life, and adding fertilizers costs more carbon than it sequesters. The deep ocean usually gets its nitrogen from life dying above, decaying downwards then getting pushed upwards again. I don't know of any deep ocean reserves of nitrogen that just needs brought to the surface.
Good things are worth waiting for. I never considered making a reader macro for a regular opening bracket, that's equal parts genius and insanity.
I don't think it ever did, honestly. That's not a insult to HN, but to me "hacker culture" has always been something very, very different from the culture HN represents.
Sorry, I stopped reading part way and was just viewing the cool images! That will teach me!

I was confused that some were fine and others (the later ones) looked weird!
Just be careful. Some people are literally marking (graffiti) new teslas. Cybertrucks are the bigger targets, though.
I don’t think trees and live on saltwater
Both the human and the QR-encoded URL will be shortened and use a redirect to the URL with the tracking info.
It’s trivial to build something that does what this describes. I’m sure there’s more too it, but based on the description the pieces are already there under permissive open source licenses.

For a clean implementation I’d look at socket-activated rootless podman with a wasi-sdk build of Python.
The physical processes of making plows and delivering milk do not involve money in any way. The only role money plays here is to influence the farmer to decide to give you milk.
Thankfully, they were let out of prison. https://www.adforum.com/creative-work/ad/player/34447709/bad... (circa 1991??)
Probably a decent number. I first heard of HN around 2010 when I was in university.

I assume that plenty of university students find their way to HN still. And that many of them will have been born around the mid-2000’s.

I only barely make the cut myself to having been born a few years before 1993.
That’s fair, I think I might have been interpreting it as a call to “rewrite it in rust.”
yes, that's the module i learnt about them in during college.

IMHO
I think for me they're interesting because it felt like mathematically they straddle the line of being nearly impossible for me.

I could just barely do them and felt very accomplished when I could.
Anything else was either impossible or easy by comparison.

assuming my maths skills are average here then most people have similar experiences with them.
The best way to compare is to use BLS figures.

The median salary of an electrician in the USA is $62k. For a software developer, the median is $130k.

A top 10% electrician earns $110k. A top 10% software developer earns $210k.

In fact, even developers in the bottom 10% of software development out earn a median electrician.
Another common hangup is a legible font needs to unambiguously distinguish between lowercase eL (l), capital eye (I), the number one (1), and the pipe symbol (|), or at least for instance only deal with capital letters and numbers.
The infra is generally great, although lately new operators have pushed quality down as they push aggressive pricing and cost savings through dubious lobbying and corner cutting on reliability.

Nowadays some antennas go down right after a power outage because they don't have backup batteries. People also realised that they are quite pricey, so people melting copper lines moved to stealing batteries after the shift to optic fiber. To me this activity is straight out terrorism as it takes down critical infrastructure, I'm generally leftist, but ready to shoot these people on the spot if I actually had a gun.
I'm not sure "hacker culture" is all that wide ranging a view of things.

HN has always had a wide range of interest / topics.
What's the motive for Taiwan to cut Baltic Sea fibre cables?
> Tchaikovsky at least splits intelligence into reasoning and recall.

I'm not sure these are cleanly separable or observable. Reasoning is assisted by recall, and if there is some distinct reasoning ability then one can use it to make up for poorer recall by deriving knowledge.

In computational terms: you can gain speed up computation via memoization (trade off memory for more computation), but you can also trade off computation speed for memory with suitable compression. If you only had a black box, how would you distinguish these different internal mechanisms? I don't think you can, increasing either recall or reasoning ability will both improve performance on any conceivable intelligence metrics.
Much like with drugs the enterprise software folks from time to time have to remember that getting high on their own supply is a bad idea.
May I ask you what makes you so sure that it's an LLM-based search - and not any other kind of NLP search tech?
> Looking back at what we've been told would kill us, the older you get, the less you actually trust in the latest "findings".

Seems like a bit of confirmation bias here - tons of things that people were told would kill them, did in fact end up killing them. Science is wrong sometimes, of course, and science journalism even more often.
Absolutely not. The shift in tone has accelerated in recent years. I don't really like what HN has become.
I don't know about Alexa specifically, but I've seen stories where the police requested Ring videos from a neighbor's house, including cameras inside the neighbor's house that they could not have known of without Amazon's assistance, that were not pointed outside, and even, if I remember correctly, one that was in the neighbor's business in a completely different location, where the justification pointedly identified the neighbor as not a suspect, but Amazon gave over this video anyways.
> In recent years, China has increasingly pursued legal avenues to access these waters, often leasing ships to local fishermen or partnering with local shipowners to skirt regulations aimed at keeping profits within the country.
Yeah, I know what you mean, the RAG retrieval is a bit hit and miss for me. It's better if you tag in the notes you want to refer to. But I doubt it has a team behind it like Cursor. Depending on how many notes you have, given it's markdown you could just upload them to a Project in Claude.
If you enjoyed this consider William Least Heat Moon's "Blue Highways". He is a quiet unassuming guy, or at least I assume he is unassuming, because he presents a human edifice that strangers open up to.

As opposed to this monster of minutia that is one life, Moon traveled the back roads and collectively met hundreds of people and made conversation, gathered famous and obscure lore of the places he visited. He encountered them on their own turf and elsewhere. Even a chance meeting by a lake with a mosquito-bitten teenage runaway girl who opened up to him about the awful life from which she had just fled, and he made the 'courageous' decision to drive her across Wisconsin and deliver her safely to her grandmother's house in Green Bay.

He is essentially a documentarian, and delivers the plain truth of the tales told to him. It is a transformative read.
Unlikely to be any unintended consequences to foresting the ocean, too. Plain sailing.

People really will pretend to believe any old nonsense rather than accept we have to cut fossil fuel use.
As a kid I found a bifurcation island in northern Sweden, that may be bigger than Gotland, the conventionally biggest island in Sweden.

It's formed by the Tärendö River which flows from the Torne river to Kalix river.

It's supposedly the second biggest bifurcation in the world: https://en.wikipedia.org/wiki/T%C3%A4rend%C3%B6_River

This is the best image I found: https://www.smhi.se/polopoly_fs/1.30940.1490013619!/image/%C...
I meant in that they could actually be built and working SMRs exist in labs and test facilities in greater numbers than fusion reactors. My local university has been running one for ages.
I love this genre of games, I use to play the Ricochet games (from Reflexive Entertainment) as a kid, a lot of good memories.
Mercury Coder: frontier diffusion LLM generating 1000+ tok/sec on commodity GPUs
>see Chris Brown's continued musical success after domestic violence.

Just because someone can still make money after a scandal doesn't mean they weren't hurt. Johnny Depp lost a lot more but still probably wasn't close to poverty at his worst.

And yes, timing is key. Musk is a hot topic, so you'll see less "separation" as of now. Just be careful if you own one.
> Good thing they can examine a century or two of case law, including lengthy debates on what constitutes “reasonable” and “damages”, to help make their decision.

"A status quo exists" is not an argument for what rule the law should use unless your argument is that status quo bias is the only acceptable mechanism for choosing policy.

> That is pretty much how it works already.

Is/ought dichotomy.

> You don’t want the winner of the case to be the one who made a worse argument just because they have less money.

No, what you want is for the law to be clear and reasonable so that spending millions on lawyers to argue over excessive ambiguities is not a prerequisite to attaining a just outcome.

> Your extremely stretched example is not analogous to the situation.

In what way is it not analogous?
Show HN: Kubecano–Translating Kubernetes Alerts into Human-Readable Explanations
I’m a DevOps engineer with 15 years of experience, and after supporting development teams on Kubernetes for over 7 years, I’ve seen firsthand how confusing AlertManager alerts can be – even for experienced engineers. Developers especially struggle to understand why their applications won’t start or keep crashing.

I built Kubecano to solve this problem
•It enriches alerts with logs, events, and manifest details to provide more context (e.g., showing the relevant Java exception for a CrashLoopBackoff error)
•It uses AI to translate technical alerts into human-readable explanations
•It suggests troubleshooting steps with runbooks, helping teams resolve issues faster
•It also maps applications to teams, so alerts are displayed in a way that’s relevant to the right people

I’m currently in the design and MVP phase and looking for feedback from developers and DevOps engineers who deal with Kubernetes incidents.

Would love to hear your thoughts and get some early feedback!
I don't know where this viewpoint comes from where, even though a cursory look at history gives counter evidence. We have ample anthropological evidence of societies engaging in labor that is beyond eat, cloth and shelter.

The biggest such evidences are still there: The pyramids and other huge monuments, which took 100s of thousands or more of manhours to build. Many cultures had temples with ample evidence that people spent a lot of time engaging in religious activities there. Everywhere you evacuate, you see art pieces that had to be made by people spending time. The dead were often buried with weapons and food. There is plenty of evidence of people engaging in massive yearly festivals with lots of food, drinks and music.

How is all of this happening if humans were like cattle spending all their looking for food?
I think if an Alexa device were present in a home in which a person named Alexa lived, they would reconfigure the wake word. A more likely hypothetical would be one in which the murder was named was Alexa, and the surprised victim exclaimed, "Alexa, what are you doing here!?!"
Or at least a discussion about how so divisive, egomanic and sociopathic characters are given far too much airtime and credit. I do wonder whether those 15 minutes of fame should be the upper limit for anyone.
I have always had trouble with magic-eye pictures - I am told my eyes are quite different shapes. I can see stereograms with some effort.

I believe that there is a small percentage of the population for whom stereoscopic images (including 3d films) just don't work at all. Either they lack the ability to perceive depth directly or their brains aren't fooled by images with no parallax relative to their eye movements. I don't have any cites for this though.
"Why would I do that? I only want to buy the things you want. Whatever you want. Your wife is in your bedroom, listening to a Radiohead song I'm playing. She can't hear us."
In the video, Mark talks about Microsoft investing in replacing certain portions of Windows/Office/Azure going C/C++/C# [eliminate GC, SharePoint being mentioned] with Rust. Primarily in security-critical areas, but one of the first points in Windows was font handling, a huge security issue for Windows historically.
Things would not happen the same way without money. I’m saying there’s no reason they could not happen (again, ignoring operations on money itself).

The function of money is simply to help humans collectively decide what happens, of all the things that could happen.

And I’m not arguing against the existence of money at all — it’s an incredibly useful control mechanism. It’s not the only one, of course, we also have social norms (aka peer pressure), altruism, threats of violence, laws enforced by threats of violence, etc. etc. (Much evil and stupidity is perpetrated by people who seem to believe money is the only control mechanism that should matter.)
The most recent reference listed in this paper is "Truly modular (co)datatypes for Isabelle/HOL" (2014) .. https://scholar.google.com/scholar?cites=1837719396691256842...

Automated theorem proving > Related problems: https://en.wikipedia.org/wiki/Automated_theorem_proving#Rela...

awesome-code-llm > Coding for Reasoning:
https://github.com/codefuse-ai/Awesome-Code-LLM#31-coding-fo...
I’ve been able to view these type of pictures forever. But I’ll credit the article with today being the first time I’ve actually taken them myself, put them side by side in my notes app, and been pretty impressed with how simple it was to get a neat effect.
It guarantees correctness relative to a given requirement.

The real value of formal proofs lies in forcing you to think deeply about the requirement and your implementation of it and to make your assumptions about it explicit.

I have only ever used proof once in my career. We had a problem with an aircraft main computer that it was occasionally failing during start up and then refusing start again on all subsequent restarts. It was a multiprocessor computer and each processor was running start up tests some of which would interfere if run at the same time. I was worried that if the start-up was stopped at an arbitrary time it might leave the control variables in a state that would prevent further start-ups. I used Leslie Lamport's first technique (https://lamport.azurewebsites.net/pubs/pubs.html#proving) in an attempt to prove that it would always start up no matter at what point it was stopped the previous run. But I was unable to complete the proof in one situation. So I added a time delay to the start-up of some of the processors to ensure that this situation never occured. But that didn't fix the original problem. That turned out to be a hardware register being read before it had settled down. I fixed that later.
The Linux Kernel development process is the quintessential "Ask 10 people for opinions on where to get lunch and you'll get half the Internet chiming in with their thoughts"
Does it? How much other OSS has a Terms of Use? I can understand it for firefox services like accounts, but for just using the browser I don't see how this makes sense.
Stop saying advertising is evil
It was an afternoon to prototype, followed by a lot of work to make it scale to the point of giving everyone who lands from HN a live CPython process ;)
You can switch modes. (Yes that costs a dozen bits if you were otherwise able to stay in the same mode the entire time. Oh well, but I'd say it's worth it to avoid base45.)

And base45 is less efficient than looking at the efficiency of raw alphanumeric.
On the other hand, proofs sometimes give you more than you'd expect. A proof that the implementation of a function always returns some value automatically proves that there's no arbitrary code execution, for instance.
Bezos says WaPo opinion pages will defend free market and 'personal liberties'
It is better, but still hard to make sense of. As you progress in the game, all squares are somewhat contested so everything is colored, which makes everything hard to evaluate. I like the idea of making a square brighter once it has more pieces looking at it, but having the whole board colorful like that is weird. Perhaps each square could have a number, like +1, -1 or +2 to count pieces looking at it.

Also, sometimes you see a red square around a piece, but it's not clear to me why. Is it present only when it is unprotected and an enemy piece is looking at it? That is kinda already too late, perhaps every unprotected piece could have the square around it.

And please give proper indication of what was the last move. I know most games will do this by coloring squares and you can't do this here, but having a way would be great, even if it was listing the move with chess notation below the board.

Also the pieces are a little weird to distinguish. I found myself trying to move Black's bishop twice.
That's a typical way, but the errors might alert them, and of course maybe the names aren't so easily guessed.
Techno-Fascism Comes to America
It never did.

See http://www.catb.org/~esr/jargon/html/index.html
you're earnestly wondering if there might have been discrimination of some kind at one of the most legendary Los Angeles celebrity institutions between between the 1950s and the 1990s?
If they come for DARPA then we are all in deep shit because that means things are far worse than we could have imagined.
Companies didn't intentionally murder 100 million of their own customers in the 20th century alone.
Sans school shootings at the very least, but crime has gone steadily up since cartels from Central America expanded their operations.