skysight-inc/HackerNews huggingface dataset:
Can't test String Theory, is it not science, are the people studying it not scientist?

The testability argument is not all of science, a lot of science has to be done before reaching a point to figure out how to test something.
I’ve done that, and I’ve coded on projects with big teams, with and without linters, for way longer than that, with multiple languages. Linters have never contributed anything close to what a half decent type system does to a project.
> Writing a browser means writing a rendering and layout engine.

Only if you want to write one from scratch. One should remember that a Browser is mainly the userfacing application, not the gears it's utilizing. You could take existing engines and just plug them together, maybe modularized enough to switch them any time, and it would still be a proper browser.

And personally I think, people here are too focused on the gears any way, while we really need better interfaces and other gears besides render/layout/scripting.
It's hilariously ironic that they reference the 30's while saying the phrase that was coined to describe the 20's and 30's doesn't exist.
> but in any sane road network this steps will _not_ kill anyone

...Which is why we don't say the victim was negligent. Unlike if, say, they'd just decided it would be a good idea to drive into a flooded street.

> it's not the responsibility of any 3rd party map service to close up death traps in a road network

It is the responsibility of any 3rd party map service to accept corrections to their maps submitted by users through their official process within a reasonable time frame. Unlike in this case, where Google had been told over the course of two years that this bridge was out, and they shouldn't route people over it.

> I mean would you have said the same if the bridge just broke a week ago?

No, I wouldn't, especially if no one had reported it to Google within that time. It would have been a tragedy, but not an easily-avoidable one like what actually happened.

> The safety of traffic participant _must never ever_ depend on the navy system they are using.

> I mean if it tries to rout your multi day road trip through a desert that's a different matter.

...So apparently you do think that the navigation system can sometimes be at fault for giving dangerous directions. You draw the line in a different place than where I do, which is fine—but you also appear to think that this means there is no line, which is a problem for being able to rationally discuss important topics like this.
Funny how not enforced laws push to more laws.
Previous discussion about the blog post announcement, including speculation about timelines: https://news.ycombinator.com/item?id=37571919
Assuming I do not want to prove Fermat's last theorem, what are the real world application of modular forms?
>And, dear lord... there's so much Intel <three-letter-acronym> stuff that simply shouldn't be there, and some of it is even impossible to disable :( All sorts of non-consensual tracking marketed as "anti-theft" or "IT remote service support". And that's on a ThinkPad, which, at least in my memory, used to be the friendliest brand for Linux among laptops...

Was it activated or you just here to vent?
> Breathless futurism is not especially new

True, the manifesto was in 1909

https://en.wikipedia.org/wiki/Futurism
This was also where my mind went, and it's cited in the open letter, but it's worth noting that the premise of his critique is that IIT is not pseudoscience. In fact, he praises the theory for being clear enough to be proven wrong!
Leveraging AI in Education: Exploring Big Data and Related Applications
There were packages for every color code in npm at one time.
It's not just language, though.

The real problem is determining the truth of statements such as this one of yours:

> "If, in reality, neurons firing ARE mind experiences"

Perhaps they are. But does that mean transistors firing are not mind experiences, and computers can never be conscious? If the statement is true, what's special about neurons that they generate mind experiences? That's the real question - "the hard problem" - that many people are attempting to answer.
The term “late stage capitalism” drives me nuts and anyone using it immediately gets flagged as not neutral to me, injecting their own hopes into what should be a dispassionate analysis.

Some form of capitalism may continue for another millennium. It may not. As we can’t predict the future, we can’t call contemporary capitalism a late stage of anything.

I should also add that basically nothing called “capitalism” today has much to do with capital, and in fact is better labeled corporatism, financialization, and consumerism, but that’s another discussion.
Best way to currently build a chatbot on university data
My current objective is to build a RAG Chatbot that uses minimum paid resources and answers questions related to my university (User persona: Freshmen and others who want to ask questions about courses/professors/instittue rules, etc) I have a bunch of data sources (Websites created by student bodies of the institute) in mind but not able to fixate on a model that does a good job crawling through these sites, indexing and embedding them and answering the questions. (honestly, I feel vanilla ChatGPT gives better answers without the knowledge base compared to Llama and other open source models. Any solution/way to go for building a good model for my specific usecase?
You very much can generate a ton of valid cards, or use stolen ones. In fact, people have already started using Twitter Blue as a way to help with their spamming (both crypto spam, and t-shirt spam)
Huh? The author is very explicitly writing first about general news, and then about tech news.

> I do like to follow tech news, and for me, this is done 98% through Ycombinator’s hacker news. But I started to get the same feeling I had ten years ago: it’s all negative.

That's followed by the list of some sample categories negative tech news that they are concerned about. Most of them have nothing to do with ads. Even for browsers only one of the things they are concerned with is ads (and it's not something that actually happened, it's something the author imagines could happen).
> Strong type systems can give provably correct code

^ I think this is where you seemed to claim that everything about the code was proven correct.
2023 HRT AI Labs Summer Projects
The main problem I see here is that everyone I've known with spare old cars littering their property seem to always be missing the engine.
This would be a shame and also a mistake in my opinion.

Clickhouse is instantly differentiated from Snowflake, Databricks, BigQuery and RedShift with the open source offering that you can deploy yourself. There are lots of other options but Clickhouse has the most mindshare and is the techies choice.

I find myself rooting for them and recommending them for that before you even get into any technical comparison.
As James Stephanie Sterling likes to say:
"Corporations don't want some [of your] money, they want ALL [of your] money."

Also, ads are (except for very, very rare exceptions) useless wastes of time AND if I'm already paying for the service which doesn't get any better but just more "expensive" through garbage like this, the term "enshittification" most certainly does apply.

Edit: Also, like Netflix, Amazon also artificially limit streaming quality to <= 720p just because I don't use Microsoft's spyware system. Fuck 'em.
We have this weird system where if you aren't good enough to become a doctor purely on academics we will also consider how good you are at baseball. It's quite insane on its face but it's how lots of midwits end up with "advanced" degrees. Those dad's are probably trying to make that happen.
The real concern is that the patients will be Musk fanboys, and insufficiently cautious about their own health.
...and the no-ads tier is only available in the US.

Looks like I'll be cancelling prime video as no ads is really important to me.
I disagree. Most of the "interactivity" is attention-stealing anti-patterns that no sane person actually wants.

News sites with scrolling auto-playing videos, overly-complex SPAs that are slow when you just want to get this specific task done, newsletter subscription modals, the list goes on.

True "webapps" are rarer than we've been lead to believe.
As someone who works for a company thats developed their own end to end conferencing stack (utilizing webrtc stack on the client side and all custom conference servers and sfu on the backend), what would be the benefits of adding Matrix support and how exactly would that be done (at a high level)? What would the benefits to users be? Trying to understand what all the hype is about here, and whether or not this would be a venture to pursue and what the business justification would be.
There are many tests that can be done of string theory.

The issue is that there are no good known tests that can confirm or refute its validity compared to that of the theories it is attempting to replace.

You can't say the same about IIT. It doesn't really qualify as a theory in the scientific sense.
When I was paying for Netflix, I still found it easier to download the shows I was interested in watching as this permitted me to remember my place, dodge their shitty player UI, and not deal with crappy internet problems causing the stream to change to potato quality at random moments.

Most of these problems aren't a thing with physical media. Honestly I want to pay for content to support the creators, but that's what I want to pay for. I'm not paying to use your shitty player app and I'm not paying for draconian DRM that lets you take the content away from me later, or restrict the devices I can play the content on, or tell me I can't watch my movie on a flight with no wifi, etc. The payment is on my honor, because the content is frankly stupidly simple to access for absolutely free if I really want to, and that's not going to change. Data isn't going to get *harder* to copy over time. Just let me pay the artists as directly as possible, because that's where I want the money to go, to support their work. Can we make that a thing?
Please provide reference and many thanks for pinpointing this interview
i didn't even consider you are actually still using windows up until the last line.
I'm on chrome, if that helps.
The Tragedy of Google Search
This is almost universally true for any professional sport. Ultimately, it's personal preference, and the people at the top are committed to fighting to get to the top anyway.
Can a Raspberry Pi Swim?
Since it's impossible to prevent all misuse of a specific tool or piece of tech, the question is whether it brings a net benefit to society in spite of that misuse. If the answer is "no", then it's perfectly reasonable to call it bad.
Right? And then you can improve the quality of the alcohol so when you do drink - it's awesome!
Looks interesting! Do you plan to add technical questions in your AI-powered interview offering? As a founder who spends considerable time hiring, I typically try to judge the technical capabilities of the candidate during the first interview.
The performance depends on the data. I have found that for English text and source code Brotli overperforms Zstd. Not sure if this because of the static dictionary or some other tweaks, though. However none of this is static, as both technologies are actively developed.
6 PRs from the author were merged: https://github.com/ClickHouse/ClickHouse/pulls?q=is%3Apr+aut...
This is awesome. I lived on a sailboat for a while and sometimes you get cloudy weather for days, blocking your ability to use solar to top up your batteries. The small M35 universal diesel engine I had had one thing going for it, it had a lot of torque. Torque I use to turn a 110V 120A alternator. The alternator (like a car’s) charges the battery, except in my case it was charging a lot of battery. 6 12V 200AH Lithium Iron batteries. These batteries ran all the “home” appliances for several days before needing a recharge. 120V 3000W inverter, A/C, Fridge, coffee maker, water maker, electric stovetop, lights, navigation, radio, Starlink, Xbox.

If having a vehicle is unsightly, you can remove the engine onto a stand and wire it up exactly as described in this video. The only thing you’d need to run an engine is a fuel line, a spark, and compression.
Yandex is pretty great for that. It's trash. Everything it spits out is trash. But sometimes you're looking for trash. If you're looking for some old offensive meme or whatever you can pretty easily find it in Yandex Image Search, for example.
They are both columnar data stores and while they solve the same problem I wouldn't use them in the same situation. DuckDB is often referred as the sqlite of analytics, meaning that it's lightweight and you can embed it. On the other hand ClickHouse is definitely the way to go if you need to distribute your queries over multiple servers.
If your workload can be held on a single server and you only need standard SQL functions both will serve you well. If you have more specific needs maybe you should have a look at the documentation. For example ClickHouse has a very extensive support for nested arrays which can prove quite useful.
> We are living in unprecedentedly peaceful and prosperous times, and it's only getting better day by day.

There are a lot of people who are a definitely NOT more prosperous or peaceful. Democracy is decreasing world wide. Young people in the US are NOT as prosperous as their parents and grandparents were at their age. Global warming is causing serious issues which we are only beginning to address.

Maybe things are getting better for you and me but that is NOT universal.
Cloudflare Polish and similar will transparently do it as well, as long as the Accept header contains webp.
MongoDB Acid Properties
Most popular relational databases today support “ACID” properties – Atomicity, Consistency, Isolation and Durability. Developers and DBAs (Database Administrators) working with databases have a good understanding of ACID behavior.

However, when working with NoSQL databases like MongoDB cloud, there are some key differences that are important for you to understand. MongoDB offers great flexibility in storage, schema, and scaling, but relaxes some of the ACID properties. It’s essential to understand the differences as you model your data and execute MongoDB commands.
Sega Genesis did something similar for Sega Master System compatibility - it included the Z80 CPU as part of its sound architecture.
Grace of the fireflies still gives me goosebumps.
Not prepared to ever watch it again. Was too much to handle
It's getting better. Waiting for the price to drop from an US latte to an eastern european latte per month.
RAG vs. Finetuning LLMs – What to use, when, and why
Probably the TheGreaterGood™ excuse.
Pirate bay it is then.
60.73 is the frequency in hertz from the picture in the article.
The big issue in my opinion is that movie execs have this misguided belief that if you stop people from pirating your content, every prevented download will turn into a sale at full price.

But I expect that people will simply stop watching mediocre movie and low-effort series. Or wait for rebates, like those people who avoid cinema and then rent the bluray later. As a result of this misunderstanding, they try technical solutions and the effect is that probably every 2nd person who reads this has Sonar setup to fuel their "web-dl subscription" to Prime. The correct solution would be to lower prices (and that somewhat includes less ads) to make it more attractive to pay for that content. And they will need that strategy anyway to survive a direct competition with Disney = the Marvel cinematic universe.

I myself cancelled Netflix when I noticed that none of the people I talk to regularly care enough about their Netflix shows to remember the story... And from that I concluded that it must be mostly filler content.
Are you referring to courgette (which the Chrome team uses to make shipping patches/updates take far fewer bytes than previously)? https://www.chromium.org/developers/design-documents/softwar...
Upgrading the grid is already baked into the cake. Given the rapid ocean temperature warming, surging heat waves and general acceleration of bad climate outcomes it isn’t like “do nothing and keep burning gas” is on the table. We either electrify, stop driving, or suffer increasingly calamitous environmental consequences that are much more economically dire than being forced to improve our grid.

As far as the idea that we can’t install AC wiring in public and private parking spaces, that isn’t even worth discussing. Do you know how much money it costs to build and maintain a parking space? At least chargers will come with a revenue stream that can be leveraged to pay for the construction.
I feel the same way. It’s a term mostly devoid of meaning, useful as a signal telegraphing what’s to follow.
> We are living in unprecedentedly peaceful and prosperous times, and it's only getting better day by day.

The Deputy Secretary-General of the UN begs to differ [1]. I like a positive attitude, but outright ignoring the reality is not the solution to handle negative developments in the world imo. Sure, statistics can lie but saying things are better than ever and always getting better is also not a fact as you say.

[1] https://press.un.org/en/2023/sc15184.doc.htm
Perhaps that is the point, lets not toss IIT out the window because we have not yet figured out a good way to measure it.

Were early theories of mind 'pseudoscience' because we didn't yet have MRI's to make them testable?
This looks quite interesting! Do you also consider the technical expertise of the candidates (based on their past experience) while screening the resumes?
that's interesting, I'm wondering how it compares with the way I drafted it a while back (https://gist.github.com/mimoo/356fd8c32216307d4f4f8b79659637... & https://gist.github.com/mimoo/4e90d030b4e927be29459f0ef92e62...)
Working from home is not more productive than being in an office, after all
After some reflection, it's maybe more accurate to visualize this in reverse: all expert models see the problem and attempt a solution, and then some "manager" model decides which expert model has the best solution and outputs it.
I agree, there's a lot of confusion between a CVE and CVSS. One is just an identifier, the other is its score. I am much more of a fan of using CVEs than assigning arbitrary marketing terms like xBleed.
> This isn't helping, this isn't even "a way to push back"

Even if you only take the racket this project made here, the inspiration resulting from it is bound to make the world a better place.

Even the author said: "I want others to be inspired by it and make their project. And those projects will inspire others, and so on, until we DO reach a point where we have a browser that can topple the big players.".

A journey of a million miles begins with the first step. This is a step. It might not be in the ideal direction, but it is a good direction. Feel free to push back in a way you feel is more effective, but I think it's worth it even if it only improves the author's mood.
> “Instead, Swift embeds a copy of clang, the C and C++ compiler,"
...well gosh, you can brute force "interoperability" by simply creating the union of all the languages you "interoperate" with.

That’s not what they do. To efficiently use C and C++ structs and classes from another language you have to know their layout and calling conventions.

With C and C++, you have to run the preprocessor and (e.g. for C++ templates) large parts of the compiler to reliably do that. How else are you going to figure out what foo_t and bar_t in header files mean?

If you need to run a compiler, using an existing compiler is the wise thing to do.
That's really useful, thanks. I barely understood a word of the OP.
Subscription based services are horrible user experience and it's a show of bad faith from the vendor, IMHO. You want me to be locked into your service, wen lwell, then I don't trust you or your product.

This whole post feels dirty, how it's a direct link to a blog post that just reads like a press release, and there's a ton of sus responses promoting it in this thread.

Tin foil hat, are we having a reddit bot moment on HN?
It's not everyone. People who are Youtube creators say "content", sure. Wordpress says it because it manages a superset of these various things, and the users using it need the terminology to understand it. But that's not everyone. Most people watch movies or read books.
I'm very confused by your statements. Maybe it's too early but I legitimately don't understand what you said. Can you please explain a little?
I said Blockchain, not Bitcoin.

Bitcoins "value" it that it's a pyramid scheme along time, early "investors" profit when they get out. Market cap means nothing when you run out of difficulty ;)

Anyhow I'll leave you to your delusions and get on with my life. Toodle-oo!
> ...and the no-ads tier is only available in the US.

That's not what the announcement (https://www.aboutamazon.com/news/entertainment/prime-video-u...) says:

> We will also offer a new ad-free option for an additional $2.99 per month* for U.S. Prime members and will share pricing for other countries at a later date.
OOB read allows an attacker to measure internal status such as stack status, and memory allocator status, this widget along with another flaw makes exploits much more reliable.

You -can- definitely do bad things with the data gained from it.

For the memory allocator data, read up on the "house of" attacks against glibc's allocator.
Zep: Fast, scalable building blocks for production LLM apps
Luckily, philosophy (epistemology) still exists, and is much more flexible and thus resilient, though it is decidedly less popular (coincidence?).
What is the bad thing about this acquisition?
Also what are the numbers? For how much was it acquired and is Miyazaki giving this money to family or taking it with him - he is no longer in his 20s
In people’s yards, this is often the case.

There must be 1000s of cars in scrap yards, though, with perfectly functional engines and front ends.

Both my wife and myself have had a car written off after being rear ended. It is a common story.
Kinda depends on who, what and where one is in the world.
You surely also have to pass the required classes and attend medical school, though right?
How do you do databases with Gokrazy?
r/WallStreetBets folks do this type of thing all the time... wouldn't be surprised if it was someone gambling.
Sort of. Most the wealth may belong to the middle classes, but its wealth is inaccessible to them being locked into homes cars and 401k's.
Atmospheric Plasma-Based Mass Separation System for Radioactive Waste Treatment
I will stick with my BitTorrent subscription. No retarded geo-restrictions, no ads for paying customers and the pricing model is a real winner.