skysight-inc/HackerNews huggingface dataset:
You’ve reframed the disagreement about unnecessary work as “up in arms.”
They look like sane folks who recommended not doing purely symbolic work.

Something substantial perhaps, say promoting under-represented folks within psf would be something. You can’t eat branch names.
Thank you for the feedback and reassurance. Hoping I’ll have more progress to share soon!
"Underwhelming"? Seriously? I don't think you actually tried the real thing, have you? I don't know about you, I find it extremely satisfying, when you can run a basic Puppeteer or Playwright script and then explore the DOM structure directly from your editor, without having to copy/paste, move or change your code, or even using devtools (everything controlled from your editor), and then navigate the page interactively from your editor and execute pieces of code (that run in the browser) without any preliminary ritual, even without having to save the file.

Or you'd run a curl command once and continue exploring the data - parsing slicing, dicing, grouping, sorting any way you like, or even have it visualized in the Portal tool with charts and graphs.

Look, I'm currently writing tests for a thing, while my IDE is connected to a service running on a Kubernetes pod in the cloud - I can eval any function that affects the execution of the service, I can explore the db tables, change the routes and re-run the tests - all that without having to restart the pod, without having to deploy anything, without even having to save any files (if I don't have to).

Lisp REPL-driven development gives you immediate feedback, allows you to modify and debug running programs on-the-fly, allows you to experiment, it's great for understanding language features interactively, and it's a real, tangible productivity boost - it's superb for rapid prototyping.

> Interactivity is great, but it doesn't make up for the language itself.

The language is what allows that great interactivity and exploratory programming. I mean, I get it - while it may initially appear challenging to read, much like how sigma notation for loops in mathematics can be difficult to comprehend, with practice it becomes intuitive. One wouldn't go to math.stackexchange to complain about sigmas and other mathematical symbols being unintuitive, would they?
This is the central premise of Antithesis: https://antithesis.com (no affiliation)
> This is full on speculation.

Speculation is a crucial part of decision-making, especially in geopolitics, where hard data is often scarce. Governments frequently act on leading indicators to preempt potential threats, whether it's about national security or information control. Dismissing this as "pure speculation" overlooks how critical decisions are made in complex, rapidly evolving situations.

> Playing the "free speech" card is disingenuous.

This isn't about free speech; it's about narrative control, especially with the upcoming U.S. election. Controlling platforms like Telegram and TikTok is crucial for influencing public discourse. Recent U.S. regulations targeting TikTok further highlight how critical it is for governments to manage the flow of information as elections approach.
> You still agree to this EULA by using it

I think my lawyer would have a few things to say about automatic legal agreements hidden somewhere in source control.

Is the ollama project part of Meta? Is that what's going on here?
I think you're right in that the trend started with Outlook, but at least for a while Microsoft offered an opt-out in the form of Outlook Express, which was just a mail client.

My preference is that email and calendar are two entirely separate apps, because I have my calendar open for about half of the emails I compose, and the remainder of my calendar usage has nothing to do with email at all. This is one of the reasons I've stuck with Apple Mail + Calendar through the years.
You were on drive.google.com but any files you wanted to download were on googleusercontent.com which needed auth cookies. So downloads didn't work, and neither did playing videos.

You could dodge around that with 'open in new window' but it was a pain in the ass. I think they've fixed it recently.
> A measurement device only collapses the wave function for itself, it does not collapse the wave function for every other observer/measurement device.

Wave function collapse is a real measurable phenomena, what you describe is not measurable so just a belief, don't mix in your beliefs with actual results.
Isn't all law* outside of natural laws essentially an agreed upon framework of convenience? Sovereignty itself only works in consensus (see the failures of the sovereign citizen movement in the US).

*I'm deliberately side-stepping religious law because there's no way to reasonably debate it logically. So this is meant to read "all secular law"
Yeah I totally agree. I'm going to get it checked out. I just think that without any external help, it is hopeless for me to push away distractions for a reasonably long time. So either I find a way to increase my will power, or find a way to numb my sensitivity to the distractions.
Notably, Rahul copied the well known Sean Ellis metric then failed to credit the originator - and got famous. Kind of sketchy in my opinion.
> What is striking is that it depends on the factor λ, a freely selectable parameter. No matter what value λ has, the formula will always result in pi. And because there are infinitely many numbers that can correspond to λ, Saha and Sinha have found an infinite number of pi formulas.

I don’t really get the logic here. If you can pick any number for the parameter and get the same result, why does it matter? Why is it even there? They even simplify it the formula without the parameter right after. What’s stopping anyone from writing:

2 = 2 + λ - λ

And saying “there are infinitely many numbers that can correspond to λ, so I have found an infinite number of formulas to calculate the number 2”?
The Case for Causality, Part 1
Realistically the problem here might just be that the concept of open source doesn't really fit machine learning models very well, and we should stop trying to force it.

Sharing the end product, but not the tools and resources used to produce it, is how open source has always worked. If I develop software for a commercial operating system using a commercial toolchain, and distribute the source code under GPL, we would call that software open source. Others who get the code don't automatically get the ability to develop it themselves, but that's kind of beside the point. I don't have the rights to publicly redistribute those tools, anyway; the only part I can put under an open source license is the part for which I have copyright.

Training data for a LLM like Llama works similarly when it comes to copyright law. They don't own copyright and/or redistribution rights for all of it, so they can't make it open, even if they want to.

If that seems unsatisfying, that's because it is. Unfortunately, though, I don't think the Free Software community is going to get very far by continuing to try to fight today's openness and digital sovereignty battles using tactics and doctrine that were developed in the 20th century.
The problem with loud zealotry in a group is that anybody who brushes against it that might be interested sees the zealotry and realizes they'll have to associate with the zealots.
Thanks I didn't know about that!

Still sometimes I have to share files between computers/phones with old browser versions (and without the ability to install anything and without cables) that have outdated https certificates so most websites don't work.
Isn't that induction? Asking as I am not sure.
OTOH the list and struct types allow lots of complex operations, e.g with `.eval`, which run blazingly fast.
Dude they spent billions on the model and then just open sourced it
> determinist and believe in free will.

Do you care to elaborate more? I am genuinely curious about your opinions.

Have you read/listened to any of Dr. Robert Sapolsky's material on free will? I am curious what you think of his position on the matter.
Pandas made me think I hated python.
State-backed attackers and commercial surveillance vendors use the same exploits
> TSMC market cap: $25 billion

Taiwan Semi's market cap is $888 billion. They're - remarkably - now worth 10x what Intel is.
Were they running t2.micro instances or something?

We're running 270k+ RPM no sweat, and our spend for those containers is maybe 1/100th what you're quoting there.

The idea that Rails can't handle high load is just such bloody nonsense.

You can build an abomination with any framework, if you try.
I also just got AC last year, and while it doesn't have as many fancy features I'm glad I got one that works with standard 24V HVAC wiring. I built my own thermostat out of an ESP8266, I²C temperature sensor from adafruit, and three TRIAC circuits to control the fan, heat, and ac wires. Connected to MQTT and I can send control commands to it from my Home Assistant instance!
Depends on the size/scale of the larger org and the developer team in question. There's a lot of variance even in internal corporate tool teams as to what gets used. Are you supporting an older .Net Winforms app, or are you supporting a React/next application or a Java Spring app? The tools you need and use will be very different.

Is it really worth trying to automate everything for a team of 3 devs on a given project? Should this just be done by the devs on the project if that's the desired outcome?
This is great, but the prices aren't accurate for the products listed. As an example, I filtered by the cheapest 64GB model, clicked on the link, and found that to actually get the 64GB it was multiple times the cost listed on the site. This was because if ebay's "variant" option, which is often misused by vendors.

I don't know if the ebay API allows you to check for variants to ensure that the price you are listing is the price for the actual variant listed or not?
"Usually, I would just powerthrough reading the minimized code..."

Huh? Is this a thing? There are endless online code formatting sites. It takes two seconds. Why would anyone ever do this? I don't get it.
All great reasons to stick with Pandas. If a thing works for you, then that's one less thing to manage.

Fully agree that if pandas is working for you, then you're better off sticking with it!
Do you use it over many machines (RAMs)?

I dont care so much about the memory and CPU stuff, I mostly leave the heavy lifting to an SQL engine.

Although the Null handling seems very compelling, I guess it comes at a cost of incompatibility with existing libraries, otherwise Pandas would have implemented it as well?

I am curious about the SQL api though.
Oh yes, they do. I can be a little naive sometimes :-)

I still naively think that we could make mirrors completely encased in glass to limit their degradation (pure speculation here).
The access to modify (uptrain/finetune) these weights is the same between Meta & others, unlike with Word (where Microsoft has an advantage because they have code and can recompile it). I think this is the only thing which matters in practical terms.
> Llama isn't open source at all. Stop using that phrase for your product featuring even an EULA

We don't have a commonly-accepted definition of what open source means for LLMs. Just negating Facebook's doesn't advance the discussion.

The open-source community is fractured between those who want it to mean weights available (Facebook); weights and transformer available; weights with no use restrictions (I think this is you); and weights, transformer and training data with no restrictions (obviously not workable, not even the OSI's proposed definition goes that far [1]).

In a world where the only LLMs are proprietary or Llama and the open-source community either remains fractured or chooses an unworkable ask, the latter wil define how the term is used.

[1] https://opensource.org/deepdive/drafts/open-source-ai-defini...
A filter on socket/gen would be useful. Otherwise, it's a great tool! Thanks for sharing.
I've heard Sean Carroll answer the question:

"Why don't more physicists worry about
the foundations of Quantum Mechanics?"

He said something like:

"They first say they have no time,
and it doesn't affect their work anyway."

(kind of 'shut up and calculate' - Mermin, summarizing post-war physicists)

"Then they imply that if they stopped their work
and thought hard for 20 minutes
they could solve all the problems."

Maybe not original idea from Sean, but it rings true in my experience.
To me it's fairly interesting how relatively little money it takes meta to pose a risk to other models makers businesses, who are dependent on having to run the model after they created it (because that is how they make money) while meta does not even have to deal with the cost attached to providing inference infra, at all, to pose that risk.
> Anyone making that little doesn't pay net taxes.

The IRS certainly taxes an annual income of ~$30k, basically anything above $11k. Any benefits require jumping through a lot of hoops. Moreover, like everyone else, they also have to pay a sales tax for every non-food item they buy. There is also a property tax that they're indirectly responsible for if they're renting. When choosing between rent and bus fare, the choice is obvious.
This could result in the total destruction of social media sites. Facebook, TikTok, Youtube, Twitter, hell even Linkedin cannot possibly survive if they have to take responsibility for what users post.

Excellent news, frankly.
Highest-Resolution Black Hole Detections from Earth
I'd follow suit
Don't recall where I heard it, but: "Representing numbers with floating point is somewhere between lossy compression and a crap hash algorithm."
> We don't understand what constitutes a measurement, and so we don't know if two perfectly isolated observers could disagree on the "state" of a system in this way (as in, collapsed or not collapsed)

We do know that they can't disagree as collapsed particles behave differently than uncollapsed particles.

> It's just that one observer is unsure of what result they will get for a subsequent experiment, while the other observer can know it exactly.

Quantum systems aren't about knowledge or statistics, the wave function is an actual physical thing that changes how the particle behaves. If the wave function has collapsed it no longer behaves the same as before, so what you said here is wrong.
It does make the furniture much lighter and therefore easier to move. I once had to move a plywood dresser and it was an experience i'd rather not repeat. Light furniture on the other hand is a pleasure to work with.
The rise and fall of Steward Health Care's Ralph de la Torre
The reason is flagging by users - flags affect ranking before story becomes visibly [flagged]:

>Although submissions cannot be downvoted, flags act as a "super" downvote and enough flags will strongly reduce the rank of the submission, or kill it entirely (flagging is supposed to be used for submissions which break the site guidelines, but that isn't always the case in practice).

https://github.com/minimaxir/hacker-news-undocumented?tab=re...
> This is a repository that aims to concisely explain the issues in Nix community

https://github.com/KFearsoff/nix-drama-explained
The point here is that there is tons of money to be made in manufacturing those chips that Intel lost out on by ignoring mobile. That “Apple makes their own chips” does not alone mean Intel could not have profited from this — as indeed TSMC, ASML, and ARM are.
It would be really cool if I could use my excess carbs to charge my phone.
He's talking about Android, not Fuchsia.
The range is so wide though. Look at a particular narrow band of the GDP per capita and see how wide the energy consumption per capita is for even a very narrow slice of GDP per capita. The dispersion gets even wider as you get up towards the high end of the GDP axis.

The author asserts that we should see 5x GDP/c if we had 5x power usage per person and their own graph shows that that's not the case because it's a flawed assumption that ignores increases in efficiency and transitions away from energy intensive manufacturing to service based.

The best evidence for that is that the GDP/c didn't fall off when we fell off the HA curve. In fact I took the GDP per capita and Energy consumption per capita data from world data bank and the ratio between the per capita GDP vs the per capita energy consumption has been going up steadily since we stopped following the HA curve.

Between 1960 and 1970 the ratio between GDP and Energy Consumption per capita was essentially static at .74 then after 1970 the ratio begins to increase showing we're producing more per unit of consumed energy at a nearly linear rate. By 2014 which is the last year they had the Electric power per capita data the ratio was all the way up to 4.2. Eyeballing it the relationship is almost perfectly linear each year we get a little better at producing GDP for each kWh we consume.

I even redid the calculation based on raw energy use in kg oil equivalents and it gets even more drastic. 1960 to 1970 it goes from .53 to .69 GDP/kg oil equivalent [0]. Then after 1970 the rate increases quite distinctly going from .69 to 1.58 in 1980, 3.11 in 1990, 4.5 in 2000, and 6.79 in 2010.

It's pretty clear from the data that we're getting better at producing things with the same amount of energy. It's an assumption that simply making more power would increase the amount of things made.

Electricity use per capita: https://data.worldbank.org/indicator/EG.USE.ELEC.KH.PC?locat...

Energy use per capita in Kg oil equivalents: https://data.worldbank.org/indicator/EG.USE.PCAP.KG.OE?locat...

GDP per capita in current USD:
https://data.worldbank.org/indicator/NY.GDP.PCAP.CD?location...

[0] nice.
Yeah good point, this will make a dent if most/all of their $ is coming from a 401k. Hopefully they have other sources to pull from to lower their taxable income (and tax bracket). And at least there is the standard deduction. And maybe no state income tax.
Yeah, this issue has been pointed out many years ago, nice for the courts to finally catch up !

I'd also note that it's a company controlled by an USA competitor (China) that gets hammered first (?) by an USA court. I wonder if USA platforms benefited from self-censorship by the courts ?

See also how, while theoretically USA infocoms have been made illegal in the EU nearly a decade ago (with the US state violating human rights and these infocoms being forced to help them), that ban still hasn't been enforced, partially because the relationships between the USA and the EU has mostly still been pretty good - instead we have seen a bunch of other laws pop up in the EU and screws being tightened only slowly and meekly.
In the HN comment that the article discusses [0] is the conclusion that commenter a1369209993 is correct (there are as many between 0 & 1 as 1 & +INF) and llm_trw is not correct? I got a bit confused.

Also, the article links to a blog by Daniel Lemire [1] in which he says (with regard to producing an unbiased random float) "picking an integer in [0,2^32) at random and dividing it by 2^32, was equivalent to picking a number at random in [0,1)" is incorrect and there is a ratio of up to 257:1 in the distribution so obtained. Not wanting to disagree with Daniel Lemire but I can't see why, and a quick experiment in Python didn't give this ratio.

[0]: https://news.ycombinator.com/item?id=41112688

[1]: https://lemire.me/blog/2017/02/28/how-many-floating-point-nu...
Wow I thought it was only me. "Why did you switch?" shouldn't be answered by "this talk, that person's opinion and that powerpoint presentation"
Honestly, the value in most business software isn't the actual technology. It's the customer base and data held by the platforms.

Someone could already easily clone HubSpot relatively cheaply even if they hired developers, but that doesn't mean it will be anywhere near successful.
Mom has the dementia and I have t2d. I started looking and discovered one of the meds I’m on already is one of these sglt-2 deals. So yay!
"the first frontier-level open source AI"

They are never going to stop saying this or show us the actual source data. Imagine if they did... Do they even entertain the idea? Can they really not imagine Open Source AI being possible because of all the personal data they train on?
> If you were suspected of a crime, would you trust a chatbot to accurately explain what happened?

Are you kidding? This would be a godsend to anyone with a good legal team… and terrible for society.

Someone which is totally not me got a speeding ticket and the office wrote “BL” instead of “black” when describing the color of the car. Wrote down the drivers license, video of the speed with plates, etc. That shorthand was enough ambiguity in court to say he couldn’t accurately confirm the car was the suspect and not an identical blue car with the same plates somehow not on the video of the black car.

I don’t care what the situation is, but there is nothing worse than the possibility of a hallucination in a police report. Are there huge opportunities to cover up crimes and bias? Yes this will surely be used to perpetuate all sorts of bad behavior. Is it likely to entrap lots of innocent people? Probably. Is it also likely to contaminate useful evidence? Without a doubt.
systemd is great.

The first thing I do on a Debian machine is replace everything possible with systemd services.

I know a common criticism is that it does _a lot_ but everything that was done before are bespoke scripts (ifupdown), tools that generate configs for other tools (Netplan, resolvconf), or just completely inadequate for current use cases (sysvinit).

While the core of systemd was to replace sysvinit, upstart, and whatever dark ages we used to have (impossible/bespoke service dependency (remember putting dependencies in init script comments!), scripts that used to inherit environment from whatever user you ran the init script as, scripts checking their own PID files (!), and implementing their own logging and log rotation).

Linux is far far better off with systemd, systemd-resolved, systemd-timesyncd, systemd-networkd, systemd-boot (grub is just a monster).

I also love they're pushing forward with things that have been very very difficult to use like Encrypted FS, Measured/Secure boot, UKI images, udev, etc.

I have a lot of respect for the systemd development team pushing forward their vision in the face of criticism (founded and unfounded) and getting this far without fragmenting the ecosystem even more (like ubuntu does).
>I'd suggest less snark, you're not doing yourself any favors.

Why do people feel the need to jump in and police tone like this? Who are you? You're not doing yourself any favours, either.

>common literary technique to emphasize a point.

"Common" is a stetch, and who cares.
Show HN: TL;DR for every comment on HN
Hi HN!

I love reading the comments under HN submissions but I often get overwhelmed when I'm skimming threads to find interesting ones. To make my life easier, I built a Chrome extension that generates small summaries for each comment in a thread.

When you load an HN submission page, the extension reads comments (with their context), pushes them to gpt-4o-mini for summarization, and inserts the resulting summaries into the page as a heading for each comment. It makes it easy to quickly see where a thread is headed and focus on the ones that interest you most. The result looks something like this: https://github.com/jnnnthnn/hn-comment-summaries/raw/v1.0/sc...

The extension requires you to provide an OpenAI API key, which is then used to make requests directly from your browser. I've been using the extension for a few days now and it's only cost me a couple cents/day, making it well worth it.

I hope you'll find it useful! Feedback and questions welcome!

Jonathan

PS: You can install it directly from the Chrome Web Store at https://chromewebstore.google.com/detail/hacker-news-comment...