skysight-inc/HackerNews huggingface dataset:
It will not.

The reason why companies get breached is because the systems being breached are all legacy. Company A buys company B who bought company C, which merged with company D. C fires D's old IT department, because it's redundant, so now D's billing system is being managed by C's IT department. C then sells itself to B, who has a much more robust billing system. At this point, it'd make sense to replace the billing system from D, but everyone who knew how it worked got fired in the C/D merger. So it sits around because nobody wants to break that part of the business. Then A buys B and does another round of layoffs, so anyone who even knew about this is gone.

Ten years and hundreds of iterations of this exact cycle later, you get an e-mail from a stranger saying they found all your customer records being sold on a cybercrime forum. Your IT department scrambles to remediate a breach in a system they've never heard of that nobody remembers installing or maintaining. It's just always been there. Corporate amnesia runs deep. People are finding forgotten old servers running unpatched versions of Windows Server 2003 that were so ritualistically overlooked you'd need to be high on Class Z mnestics just to perceive them.

Every enterprise IT department is like this. That's why companies get breached so damned often. There is never enough time in the budget to properly document legacy systems, nor are the decision-makers at the top even aware of the fact that they exist. Their job is to eat things, and they eat voraciously. If you want to stop this from happening, you need to make M&A illegal, not just inflict more pain to the invisible arms the corporate body cannot perceive pain from.
>That example might be just as well be exhibited by a lookup table, a lucky random output, a modified markov chain, a Chinese Box, a trivial small language model trained on the right corpus, etc.

Basically No-one who argues LLMs are intelligent does so from the results of a single query. That is simply the example he used to demonstrate what he believes is an instance of reasoning.

And If i said, show me the lookup table or random string generator or simple markov chain etc that would reply correctly to any question like that, would you be able to do so ? No. because you're hinging on random chance being your savior. If there's one property of Intelligence everybody can agree on, it's that it works better than chance.

Small tangent but the Chinese room is a nonsensical thought experiment. Can you demonstrate which neuron/synapse/cell/atom etc "understands" English. No? then your brain is a "Chinese Room"

>No. We project intelligence onto humans inductively by identifying our own experience as intelligence and assuming that other things that are almost identical to us are very likely to be working in the same way.

Really? History would certainly seem to argue otherwise. Wonder why all those African slaves and Jews were missing this projection. Seems to me there isn't necessarily any logic to what properties we project on others.

Leaving that aside. That's not what i was getting at. Why are we tested in schools? Why do IQ tests still exist today? Because we attempt to measure reasoning, intelligence and understanding through tests. The fact of the matter is that this is how we assess intelligence today. And I'm not sure why you brought up what people centuries or decades ago thought of intelligence but for as long as intelligence has been something to gatekeep (a very very long time), tests have been used to assess it even if the form and shape of these tests have changed over thousands of years.

>At this point, we mostly can't yet rely on chatbots to fulfill roles that require interesting human intelligence.

So? I'm not arguing about whether LLMs are Humans. How many animals can fulfill roles requiring "human intelligence" never mind "interesting" human intelligence (lol at the goalposts. I suppose when that bar is cleared, we'll move on to "very interesting" human intelligence and restart this conversation).
this space has huge potential . On one end you have Google & Apple maps that are aimed at efficient commutes. On the other hand you have experiencing planning apps like Tripadvisor, All Trails, Instagram which help you brainstorm on all the adventures.

Eventually you get to a point where you need a detailed itinerary of waypoints, maps, resources etc to help guide a multi-week or multi-month trip.

Currently no app supports this space. it's almost overwhelming to juggle 3 mapping apps (google, apple, gaia), multiple adventure apps , google docs, google sheets and try to run a trip .

And having the content all available offline is key. It's the worst experience being somewhere unfamiliar, with a taxi driver houding you, and you don't know where to go.
Some people use the ORM models as pure persistence models. They just define how data is persisted. Business models are defined elsewhere.

I think makes sense when you application grows larger. Domains become more complex and eventually how data is persisted can become quite different from how it is represented in the business domain.
it would be handy in the age of AI, to be able to dynamically scrub data that gets copied/pasted into the AI.

It's too easy to leak secrets, or even doxx yourself through file paths containing your name etc.

I'd love to find a tool that made scrubbing that data easy
Globally price-competitive domestic electric car production is a national security concern only if we are willing to accept a rather short time horizon and a rather narrow definition of security in our analysis.

This kind of article can perhaps be understood as an attempt to turn a federal organization's sails into the prevailing political winds, so to speak, at a time when funding seems insecure. I say this as someone who strongly supports most of the survey's mission. It would be ideal if national power brokers recognized the value of water science, geology, ecology, etc, on their own terms.
I’d recommend listening to Lenny’s podcast.
It's easier if you start from something closer to Peano arithmetic or Boyer-Moore theory. I used to do a lot with constructive Boyer-Moore theory and their theorem prover. It starts with

(ZERO)

and numbers are

(ADD1 (ZERO))
(ADD1 (ADD1 (ZERO)))

etc. The prover really worked that way internally, as I found out when I input a theorem with numbers such as 65536 in it. I was working on proving some things about 16-bit machine arithmetic, and those big numbers pushed SRI International's DECSystem 2060 into thrashing.

Here's the prover building up basic number theory, one theorem at a time.[1]
This took about 45 minutes in 1981 and takes under a second now.

Constructive set theory without the usual set axioms is messy, though. The problem is equality. Informally, two sets are equal if they contain the same elements. But in a strict constructive representation, the representations have to be equal, and representations have order. So sets have to be stored sorted, which means much fiddly detail around maintaining a valid representation.

What we needed, but didn't have back then, was a concept of "objects". That is, two objects can be considered equal if they cannot be distinguished via their exported functions. I was groping around in that area back then, and had an ill-conceived idea of "forgetting", where, after you created an object and proved theorems about it, you "forgot" its private functions. Boyer and Moore didn't like that idea, and I didn't pursue it further.

Fun times.

[1] https://github.com/John-Nagle/pasv/blob/master/src/work/temp...
Mine will be fine for a while, until I have $35 to spare for the DLC.

Worldwide, I expect the amount of time on Reddit and Twitter to drop for a while.
I was expecting https://github.com/wasmerio/wasmer-postgres#usage--documenta... to catch on, and some how must have gotten it mixed up with Trusted Language Extensions <https://docs.aws.amazon.com/AmazonRDS/latest/UserGuide/Postg...> (and https://github.com/aws/pg_tle/tree/v1.4.0#getting-started ) but unless someone decides to implement every single bit of a modern PG extension in JS (or Perl), that's just some hello-world nonsense
It would essentially involve changing the meaning of `: Type` and `as Type`. Basically, instead of ignoring type annotations at runtime, you'd have to throw when a cast fails.

This would also have other implications on the language design. Checking if an expression has a certain type at runtime would mean relying less on structural types to make these checks cheap.

I've been thinking about this exact language a lot recently, but it would not be the same as Typescript. A superset of JavaScript which can be statically optimized based on type information.

Fwiw, I don't think Assembly script is this language either. It's a completely different language than JavaScript with a superficially similar syntax.
I think you're overestimated how many blocked users fall into those categories.
New Release: Tor Browser 14.0
We are working on this for the next release happy to get your feedback on it if it's possible
Lithium is too abundant in the world right now (as expected - we've just gotten better at discovering it).

To be honest, the energy problem is more or less a solved problem with the current technologies we have. We just need to accelerate our pace of adoption to hard-reverse on fossil fuels (except Germany). We already have large reserves of Uranium, of which only a small amount is needed to fuel a power plant. We already have lithium battery tech to store the power. We already have solar panels being mass produced and adopted to fill in the gaps. All we need is connecting the dots and making sure these resources play well with each other in symbiosis.
I basically have to tell most of my coworkers to stop using GPT and switch to Claude for coding - Sonnet 3.5 is the first model that I feel isn't wasting my time.
I find it funny what it decides to add to memory though. There's a lot more 'Is considering switching from mypy to pyright." than stuff like 'Is a python developer creating packages in X-space.'.
I have a copy of the International Maritime Organisation (IMO) Code of Signals on my bookshelf.

3 letter medical flag codes include:

MKH Foreskin will not go back to normal position

MKI Patient has swelling of the testicles

MLF Patient has Delirium Tremens

It's a comprehensive book to say the least!
Italian 'Fruit Detective' Who Investigates Centuries-Old Paintings
Maybe they should’ve asked Claude to generate a better name.
Very dangerous to live in your own hyper focused bubble while trying to build a mass market product.
NextJS Boilerplate and Convex and Stripe and Resend
Successful People Don’t Hustle, They Build Systems

When I first started trading, I thought long hours were the key. I spent entire days from 10 to 5 glued to my screen, thinking that’s what it took to succeed.

But here’s the truth: successful traders don’t work all day. They focus on high-impact hours—the first two after the market opens and the last one before it closes.

It took me a while to realize this until today, after finishing the first sprint of my app, which took me 15 days to build.

Remembering that we should focus on high-impact hours shifted my mindset and changed everything for me.

Now, the next time I build a SaaS app, I’ll save 7-10 days of work, focusing on the core features in just 3 days.

Not only will this system save me time, but it also cuts out the stress of overthinking. Now, I can reuse this system again and again.

Success isn’t about hustling harder; it’s about creating systems that work for you.

If you agree, check out my app: DevVault
1972: Using Anything Other Than Assembly Will Make You a Bad Programmer

1995: Using a Language with a Garbage Collector Will Make You a Bad Programmer

2024: Using AI Generated Code Will Make You a Bad Programmer
Interesting that “Oscar” is pronounced “OSS CAH” and not “OSS CAR”. Same with Victor. Must have been made in New England (northeastern US).
> Anything that isn't in the training data set will not be produced as an output.

Do you believe my prompt and that output was in the training set verbatim?
It's hard to bug-squash website by website for sure. They scatter like cockroaches in the light.

But, I think most online buying in the US goes through Amazon and maybe a couple other online retailers. Fix it there and you fixed the problem for 90% of cases.
Finally. I had been waiting for something like this.
NYC has a bunch of uniquely New York problems. Denver has a bunch of uniquely Denver problems (https://www.nbcnews.com/news/us-news/denver-struggles-cope-4...). Chicago has a bunch of uniquely Chicago problems (https://www.cnn.com/2023/10/03/politics/white-house-chicago-...). Minneapolis has a bunch of uniquely Minneapolis problems (https://www.startribune.com/migrants-fill-third-of-hennepin-...), etc.

I mean, yeah, places like NYC and Chicago genuinely do have some really messed up situations, but almost any large city would become quickly overwhelmed when a bunch of people unexpectedly show up needing help, smaller cities don't stand a chance.
> True end-user programming and product manager programming are coming, probably pretty soon.

I'm placing my bets rather on this new object-oriented programming thing. It will make programming jobs obsolete any day now...
This spring our one year old de-humidifier died. The manufacturer would send you a new replacement unit, but first you had to leave a review of the new unit. After the review was submitted, they would send you an Amazon gift card with the replacement value. So the old units that died never get a 1 star, and the new units being "sold" are getting 5 stars.

I guess it is still better than most companies that will find whatever reason they can not to replace faulty equipment.
Lesspipe.sh, a Preprocessor for Less
I'm using the word "fanatic" becuse I think it's meaning is the closest to what I am trying to describe: "a person marked or motivated by an extreme, unreasoning enthusiasm, as for a cause." It isn't intended as an insult or perjorative, but a descriptor.

I am coming from the perspective of being genuinely interested and wanting to try such a diet but unable to find any good information in the sea of fanatical marketing.
I thought “humongous quantities of data” was a baseline assumption for a discussion involving clickhouse et all?
What better options? The neat thing about MQTT, and that almost all other pub/sub implementations that I've seen get wrong, is that the core data structure in MQTT is the subscribing client, not the queues & topics. That means you can map as large an address space as you want into the topic tree. The topic tree can be trillions and trillions of endpoints, even an embedded server could have a topic tree with one endpoint for every ipv6 address, if you wanted. So the topic tree is rich, your subscriptions can be as selective as you need, and the server can be fast on a low footprint.
Isn’t that against App Store TOS?
This is clearly not random. If I ask to implement a particular function in Rust using a library I've previously built, and it does that, that's not random.
Absolutely my practice as well. App devs should never be in the business of nagging for reviews.
The bottleneck is still the person who has to evaluate the results.

The larger point is that building software is about making tons of decisions about how it works. Someone has to make those decisions. Either PMs will be happy letting machines make the decisions where they do not let programmers decide now. Or the PMs will have to make all the decisions before (spec) or after (evaluation + feedback look like you suggest).
I don't think I can code for 10 hours straight. My brain is usually pretty expanded by the late afternoon.
NFL Player Uses Pirate Streaming Site to Watch His Own Team
> ClickHouse was designed for single-machine installations

This is incorrect. ClickHouse is designed for distributed setups from the beginning, including cross-DC installations. It has been used on large production clusters even before it was open-sourced. When it became open-source in June 2016, the largest cluster was 394 machines across 6 data-centers with 25 ms RTT between the most distant data-centers.
It warms my heart to see Ladder Logic on the list!

For those who don't know, Ladder Logic is a language used in industrial control systems. I worked for Cutler-Hammer Automation a couple of lifetimes ago and ladder logic was the preferred means for programming industrial control units.

I worked for a major utility after Cutler-Hammer and learned they used PLCs at all their power stations and used ladder logic to control plant operations. It's a niche world, but it's BIG in that niche!
Totally. YAGNI - you ain't gonna need it. That beautiful framework you spent extra weeks writing,
designing from first principles, turns out to be the wrong layer of abstraction because of a bad assumption. the client left off critical business logic details, or a pivot to a more popular feature of the program. The only question then is how to get out of that tech debt.
For write heavy workloads I find psql to be a dog tbh. I use it everywhere but am anxious to try new tools.

For truly big data (terabytes per month) we rely on BigQuery. For smaller data that is more OLTP write heavy we are using psql… but I think there is room in the middle.
How about; do things that you can enforce and expect a positive net impact from, do things in a way that will address the dozens of obvious first impression questions that came up here due to lack of specifics. If you’re going to do it, put some thought into its execution and administration.

And most of all, don’t make global generalizations on commentary that is quite specific and on a very particular topic.
interesting. any plans to offer a full-fledge alternative to coolify, dokku, dokploy and/or quicky.dev for podman + podman compose?
WTFPL is a fine license. It's even FSF approved.
What if cities legalized adult dorms? An empty office buildings solution
I'm curious what HN folks think about the technology and business claims made in the article. Are there really better battery technologies on the cusp of commercialization? How should the government decide which of those to fund (going by the author's proposal)? Obviously this article is on some level a pitch for the author's company's technology but why solid state and not say, sodium ion?
I wonder how many times MLF has been used for a ship’s captain?
> remind everyone that LLMs are probabilistic models

The problem is that's overly reductive. You and I are also probabilistic.

That's not to say an AI must therefore be like us, as the entire universe and everything in it is also a probabilistic thanks to quantum mechanics.

Every proposed test of "real intelligence" I've seen in these threads has much the same issue, it's just that some of the tests count too many things as intelligent (e.g. a VHS tape and recorder can "experience input", record that as a "memory", and "recall" it later) or excludes all humans (e.g. by requiring the ability to violate Gödel's incompleteness theorem, a standard which surprisingly even comes up on this site).

I'm happy to describe even the most competent LLM as "dumb" in the IQ sense, even though I also say they're book-smart — because even last year's models were a demonstration proof that a brain the size of a rat's can, with 2.5 million years of subjective experience, reach the performance of a work placement student in almost every book oriented field at the same time.
> Specifically for google: allow users to block whole domains; I can already do that on my own mailserver, why can't I do that on Google's?

You can do this with filter rules on Gmail:

https://support.google.com/mail/answer/6579?hl=en

This list of Gmail search operators may be helpful in crafting your filter rulesets:

https://support.google.com/mail/answer/7190?sjid=11169181429...

You can either search first, then create a filter, or create the filter and then set your specific search terms/scope. The only downside of filters is that they only apply to incoming mail; you can't apply them to already existing mails, but you can use the same search terms as a kind of mask, then use the select all checkbox, then click the link to select all mail that matches the search instead of just selecting all mail on current page/view.

Hopefully that helps.
"As the walker begins to move, she or he receives raindrops that would have fallen in front, while missing the drops that now fall behind. This creates a balance, and ultimately, the amount of rain received on horizontal surfaces remains unchanged, regardless of the walking speed."

This is wrong. The back, stationary or moving forward does not receive rain. When stationary, the top receives rain(ideal model). When moving forward, the front AND the top receive rain. I don't see the balance they are claiming.
What I'd like to know is whether prompt caching is available to Claude on AWS Bedrock now.
Only typo I found was the word "ggshells" which I assume should be "eggshells"; great work!
AWS, Azure auth keys found in Android and iOS apps used by millions
Software, the Tough Tomato Principle, the Great Weirdening of the World (2019)
Did they actually verify the predictions? In my reading of the article I didn't see any core samples being made to verify the model is correct.
If anyone needs a good (related) startup idea, here's one for free:

Complex trip planning for professionals, but in a different way from Ambulate - not hiking trips, but transactions across Web sites: I really hate the way how today
you cannot "properly" book a flight, hotel, train like you would do it in a SQL transaction

BEGIN TRANSACTION
book train
book flight
book hotel
COMMIT;

Only if all three are available and execute the reservation without error do I also want to execute the other ones; that's a prime use case for DB-like transactions, but across Websites. Because no point getting only the flight if I have no-where to stay etc.
Those values are not independent variables, so some of them are superfluous (like snow strongly correlates with min and avg temp).

But "good weather" is different for a farmer, a surfer, a skier or a city dweller.
> Safari listed as supported

Interesting, does this work on the latest releases? If so you might want to let this fellow know to adjust their threat model accordingly :)

https://news.ycombinator.com/item?id=41912226
Yeah I don't think this is a good take.

In a learning context, sure, you probably should not be using copilot or similar, the same way you shouldn't be using a calculator when doing your basic arithmetic homework.

Beyond that, this just seems like a classic scrub mentality hangup. If a tool is useful, you should use it where appropriate. You'd be a fool not to. If it's not useful, then don't use it.
Bitnet.js: Node.js Implementation of Microsoft's BitNet.CPP Inference Framework
Software is build upon and ideas are spread, when something exists if will be extended. In this context it will get more complex, that’s how I understand it at least.

I guess at some extend it’s in the human nature to never be sated.
As a little fun task for myself (and to satisfy my OCD) I’ve had a go at standardising Apple’s whole naming system to be way more consistent and predictable. Ditching the inconsistent pre/postfixes like “Max”, “Air”, “SE”, “Plus” and “Studio” to make everything cleaner and easier to follow.
Asking people ‘Is money real?’ is so much fun on parties.

Bonus points for ‘what does <real> mean?’ as a follow up.
What if we applied the simple test that the book was originally published on paper and no other printings have occurred (digital or paper).
Reading Lord of the Rings Aloud
> In the case of an error in the main function, the process will exit with 1, otherwise 0. The main function can also return a value directly (return type u8 / !u8).

We know that by convention, but how do we know that from

pub fn main() !void {

If if write

pub fn foo() !void {

will that function also get to return a u8?

Also, what happened to argv/argc?
That remix absolutely rules. Thanks for the link!