skysight-inc/HackerNews huggingface dataset:
> what's wrong with pip freeze?

Aside from all the obvious issues of having no distinction between transitive and direct dependencies, it completely breaks cross-platform support if any of your dependencies have platform-specific sub-dependencies (which is not uncommon in python).
How were you drawing your maps?
DHT also stimulates beard growth, so at least you get a return on investment.
Is this a Persona reference, or am I too young...
Makes me think of Charles Babage and Ada Lovelace. I do not think either got much recognition until relatively recently.
If we’re sharing anecdata, Creatine has very noticeable positive impact on recovery time for me. Without it, I basically have to take an extra rest day between workouts.
I am fortunate enough to have jumped from owning an apartment to owning a house in the last year. The freedom is amazing.

And renting is woeful.

Landlords renting out anything don't benefit from solar, so they don't install it. Landlords renting out apartments won't want the fees for EV chargers or ripping out gas or even having aircon.

Not all landlords are obstinate about it, some are nice. But the financial incentives are certainly not there.

When I was renting an apartment and talking to people about solar, EV, gas vs electric, heat pumps... I definitely felt like I was a second class citizen.
Are you the author? Did you wrote the software or you using some library for the interactive programming?
Where do people look for non paywall links
Sir, the poll was created to be specific to dairy. ;)
I worked at a place that was full of junior contractors who had a large incentive to ship and no incentives for support. Sonar was good about finding bugs that they should have fixed but didn’t give a rip about (e.g. not closing database connections on all paths)
> I don't think OpenAI will suddenly have robust and insanely good ad tools for advertisers

You moved the goal posts significantly. You added "robust" and "insanely good". Nobody suggested that quality early on.
Location: Rio Negro, Argentina

Remote: Yes

Willing to relocate: Yes

Technologies: Python, Rust, Lua, JS/TS, Vue, Svelte, Docker, SQL, NoSQL.

Portfolio: https://tocuto.github.io/

Resume/CV: https://drive.google.com/file/d/115KlSpUX0trcN0ZRyAa6lNWeF4M...

Email: ivangbattiston@gmail.com
However, you may want to pour yourself a stiff drink.
The author did admit that their salary almost covered their house payment, but didn't include any other expenses. And if they bought a few years ago before interest/inflation rates spiked, it's a more viable story.
"why would one have to write the test first?"

Disclaimer first: TDD won't give you anything that you couldn't instead achieve via "git gud"; except perhaps a reduced anxiety about overlooking a subtle error (but after "git gud", you don't _make_ subtle errors, do you?)

The main justification for test first is something like this: "we didn't have to be brilliantly prescient designers to find a less tightly coupled design. We just had to be intolerant of pointless effort in writing the tests." (Aim, Fire -- Beck 2000)

TDD is, in part, an attempt at reducing the length of a feedback loop. The catch is that (in spite of the labels that have been used) the feedback loop of interest is not the programming-test loop, but instead the analysis-design-programming loop (bringing OOA, OOD, and OOP closer to each other).

The underlying assumption is something like "complicate code should be easy to test". If you believe that easy-to-test drives less-tightly-coupled design, and you think that latter characteristic is valuable, then it makes a certain amount of sense to lock in that easy-to-test constraint early.

"TDD strikes me as a practice that slows you down a fair amount yet still doesn't offer anything close to complete formal validation"

Yes and... that's not TDD's job? The automated checks used in TDD are written by the developer to satisfy the needs of the developer; if the thing you want is complete formal validation, then you should be using tools designed to meet that need. TDD might give you a higher success rate when you subject candidate systems to formal validation, and should give you lower costs when revising a failed candidate, but "the TDDs passed, ship it" is _not_ a risk free proposition.

Beck again: "I never said test-first was a testing technique. In fact, if I remember correctly, I explicitly stated that it _wasn't_."
> They had never seen stars before.

What? Even in a large park in Tokyo, you can see stars. What a silly comment.
Close. Brooks once described the Roomba algorithm as something like this:

1. Go in a random direction in a straight line for a while.

2. Then spiral outwards until hit something.

3. Try turning some random angle. If repeatedly hitting a wall, go into wall following mode for a while. Otherwise, go back to step 1.

If you run this long enough to travel over 2x the actual floor area, the odds of achieving near full coverage are pretty good. Who needs navigation?
I do hope that someone sues one of these creators for defamation
The article in two lines:

> In fiction and in journalism, the fault almost always lies with the executives

> we — the well-meaning engineers — shoulder the blame

This is a weird take to be honest. Company culture is the responsibility of the executives, and however we put it, ultimately the blame lies on them.

Is the hell paved with good intentions ? yes, surely, and there's a need to be critical of the impact of one's work. We could fault people for not taking a step back to look at it from a distance.

But the reward ("nudges") system the article is focusing on isn't that, it's incentives put in place by the company. Who set up these incentives should get the blame when shit hits the fan.
This is likely a complete coincidence, so take my experience with a grain of salt. However… I am somewhat convinced that creatine caused me to develop appendicitis last summer about 5 days into a supplementation cycle. My best guess is that increased fluid retention (caused by creatine) caused vascular congestion at the verniform appendix.

On the (monkey’s paw) plus side, the perioperative IV fluids plumped up my muscles and gave a muscle man appearance that I was after for several days. I believe I was up 10-15 lbs in water weight when I came home.
> RU58841 or CB0301

Are these commercially available for topical use on the head?

> better than supplements

Supplements don't strongly target specific issues, but they work across the board to weakly target dozens of issues, including issues that one doesn't even known one has. As such, it often takes a lot of supplements together to begin to strongly target an issue.
Ask HN: Software license "free for human consumption; not for AI"?
He links to and describes the article as "superb" so it's ok. Discussion in thread over there.
What do you mean by "for-profit" in this context? Many were developed by individuals at work, and later became widely adopted. Presumably the inventor also got paid some, if not in outright cash, at least in reputation...?

Lua and Ruby come to mind. If you expand it a bit, Elixir, Java, Javascript, Python, Perl, and PHP all had mostly solo designers at first. (Of course eventually they'd become much bigger projects.)
Translation: if you go on a diet and train a lot and have the motivation to go through such a complicated medical study, you will look better
Once chatgpt becomes agentic it’s going to do a whole lot more than mediate your eyeballs, it is going to mediate your life, sitting between you and almost every business transaction. When you tell chatgpt to send your mom flowers, where will it order those from, and how much will that company have paid openai for the privilege?

Chatgpt is the everything app, there is almost no limit to how much money can be made from it once it gets woven into your life as your personal assistant. But it is not that yet, so right now what openai needs is to get people to use it so those users will be there when it turns into the agentic cash cow.
And, how to enforce such a thing?
Google's environmental report pointedly avoids AI's actual energy cost
This is awesome news, congrats and keep up the great work :)
4K Game streaming on Linux from a non-4k host
Are supply chain attacks/takeovers more popular these days, or are they more widely reported than before?
There were a few previous discussions:

https://news.ycombinator.com/item?id=34778237

https://news.ycombinator.com/item?id=33473020

https://news.ycombinator.com/item?id=38843862

They're probably not enforceable.
AI: A way to freely share technology and stop it being misused already exists
Seems like a good dry run for redundancy/resiliency tests in the face of more catastrophic failures such as those that can result from solar storms.
I didn't mean to suggest anything. I was just interested in whether they thought that remaining anonymous was in keeping with their ex-colleagues character. Written communication is hard!
OpenRAIL: Towards open and responsible AI licensing frameworks (2022)
> “It does whatever it does,” the training data is the specification, is ignoring the actual problem, which is to predict what the LLM would do on unseen inputs.

Wouldn't running the llm on those unseen inputs solve that problem immediately?
And I don't think what you describe falls under explainability but evaluation. "Does this model do what I want it to do and does it not do what I don't want it to do"
> I speak only for myself but plenty of people seem to agree: I don’t mind big companies training on generally available data, I mind the IP-laundering.

This removes the big scary emotional part of the debate. Without this, it's weakened quite a bit.
I feel often times that common sense violates rules. For instance, driving over a double yellow to give more space to something inside of the road. Maybe it is a set of rules some of which exist outside of common law.
The big difference is: how important is the software for interoperability?

With an OS core, interoperability isn't really important. Existing BSD users presumably weren't too interested in buying shiny new Macs to run their BSD OS on, so Apple using BSD as the core of their OS really didn't affect them. Moreover, existing BSD users didn't need to interoperate with the new MacOS users. An OS isn't some kind of network protocol. BSD users could work with MacOS users just like users of any other OS, using existing network protocols and other standards.

The poster child for the BSD/GPL argument on the GPL side is usually Microsoft's "embracing and extending" of Kerberos. It's a network authentication protocol, licensed with a BSD-like permissive license, and Microsoft infamously forked it, creating their own proprietary extensions. This resulted in only non-MS users not being able to fully interoperate with MS users.

We do already see cases now where web developers write websites targeting Chrome-only browser extensions instead of sticking with standards. In theory, if this happened with Ladybird, it should be possible for the original devs to simply add their own versions of these extensions, but how feasible that it I'm not sure. Currently, there's Chrome-only extensions which apparently haven't been implemented by Firefox for some reason, so maybe it's not as easy as it sounds.
So much of the tech energy before the pandemic was seen in conferences and hackathons etc. Many of these had people who were not super social.

The reality is that people do better when they congregate in areas with other smart people. The agglomeration effect is real and well proven.

It may be true that with WFH and remote work this isn’t as true as it used to be but it explains why people were willing to pay even twice in costs if it increased the odds of success and the size of success by 10-100x.
I don't think that the Domestic Emoluments Clause's concept of "Emolument" goes so far as to apply to the death of a political opponent. Suppose that I'm a manager at a corporate job and the second-most likely candidate for a promotion. If I order a subordinate to kill the most likely candidate and I get promoted, I don't think that the prosecutor would think to add a "prohibited employment compensation" charge on top of the inevitable "conspiracy" and "first degree murder" charges.

(In a previous version of my comment, I thought that the previous commenter was referring to the Foreign Emoluments Clause and cluelessly asked whether there was a domestic version.)
I second Bitwarden, ublock origin and privacy guard.

Also: how will you handle bookmarks? IMHO only Chrome does a good job with bookmarks — please copy them instead of reinventing the wheel.
https://en.wikipedia.org/wiki/Robert_Towne
Came to make sure Bitwarden had been mentioned. Have spend years on LastPass and 1password, now pretty darn satisfied with a couple years on Bitwarden.
I agree with the author in finding some amusement in such trivial (in context) matters falling in the face of a phenomenon as fundamental as the planet's spin, something humans will likely never make a dent in.
Yeah I suspect it was probably for this reason, but to answer the parent comment, yes it was required in the sense that it's simply how the Ant Design popover component works (or at least that's how it worked in 2021 which is when I did this).
I think you can go to a CNC machine, or a rock.
You mean like how the actual paper linked in the article identified that as a common form of transportation?
>Even Microsoft chips in more.

They do? With what? (Besides Linux kernel drivers that are only useful for running Linux on their own VM solution.) I guess VScode, for people that use it?

CUPS is fantastic, though you're right, it was cross-platform before Apple took control.
> But the President can declare a person an enemy combstant,

"Citation needed"
Yeah I should have added that I'm not necessarily singling Ant Design out on this one, because I suspect several frameworks probably make similar mistakes.
But what if they find a cure?
Trump was not convicted at the impeachment trials.

https://en.wikipedia.org/wiki/First_impeachment_trial_of_Don...

https://en.wikipedia.org/wiki/Second_impeachment_trial_of_Do...
https://daringfireball.net/linked/2020/08/04/schiller-fellow

> Product development, advertising, packaging, messaging, comms, keynotes — you name it, if it was public-facing, Schiller has been in the middle of it.
India: Three new criminal laws in force
Raku has this

https://docs.raku.org/language/phasers

It has many more than 2 phases.

Phasers is one of the ideas Raku takes as pretty core and really runs with it. So in addition to compile time programming, it has phasers for run time events like catching exceptions and one that's equivalent to the defer keyboard in several languages.
I disagree with a lot of it. It is your choices. If you feel the need to promote yourself in Instagram and consider that work, then that is on you.

It is very easy to have tons of time nowadays with all the comforts, selecting the optimal work, location etc.

I wouldn't want to live at any other time. I have never had things as easy as they are now, especially in the past 5 years with possibility for remote work.
Meta updated its Privacy Policy on June 26, to include in its rights the use of data collected in "Meta Products" for the training of GenAI models. This goes against the interpretation of the local data protection law and as such this note was emitted.

The policy update seems to be global: https://www.facebook.com/privacy/policy
The data doesn’t show they drag their feet though. If anything FF is behind.

I genuinely enjoy Safari as a user more than Chrome. As a developer the dev tools suck. But as a user - the UI is far more minimal and nice. Every single action feels 2-3x faster, from opening and closing, tab opening or movement, etc. Battery lasts significantly longer. And I never really run into anything that doesn’t work, ever. Plus never worry about the latest hidden checkbox I have to find to not have my data soaked up. Hide my email is also dope.

The more responsive and thoughtful UI and battery/performance alone would have sold me. But the privacy and modern features it’s gotten over the last years make it better imo.

Just want to give a perspective as I feel people should update priors from 2021 “Safari is the new IE”
X will soon remove the likes and comments from the main feed
It's less stupidity and more "if we don't prove that we meet x control in y compliance framework, our auditors will deem us non-compliant and we will be fined into oblivion"
I know caffeine is detrimental to my workouts because it dehydrates me and raises my heart rate. I have clear personal data on this. Creatine is well established as a substance that has a real measurable positive impact on people.
Different emoluments clause: "he shall not receive within
that Period any other Emolument from the United
States, or any of them."
How the US Military Helped Invent Cheetos (2015)
Decentralizing Chemistry
Distributed, small-batch manufacturing of chemical products with efficiencies of large-scale industrial production
Breaking batch?
BB(745) being independent of ZFC isn’t due to incompleteness theorems. It encodes a different theorem which is also independent of ZFC.

https://scottaaronson.blog/?p=2725
How do you prove that an AI=>LLM has been trained on specific data? How is this enforceable? How is this anything more than some local politicians looking for some headlines?
FWIW, it's not paywalled for me (even in incognito mode).
The sky from the top of Mauna Kea is ridiculous, and it's pretty easy to get there: fly to the big island of Hawaii, then sign up for the tour, I think it's less than $100. The milky way is stunning.
Dumb guy question:

Did they search for MikroTik because it is easy to search for and has some history of vulnerabilities?
Lab-grown human brain tissue used to control robot
This seems like an awesome project, but for the love of God, why did you use JavaScript when you are obviously capable of making it in a decently performant low-level language like C or Rust? Browser apps have such terrible performance; I just don't understand your choice of framework.
Fuzzing with Memfd_create and Fmemopen
Without delving too far into the philosophy of math as concerns existence vs convention...

e pops up quite often when taking limits on a surprising number of varied phenomena. It is much more than a mere convention, unless you subscribe to the nihilistic, anti-epistemological notion that all of mathematics is merely convention. It seems to be the center of the conceptual space particularly around questions of relative and absolute scale.

It's true you can use any base for computing things but some are more natural than others in that specific parametrizations have natural interpretations especially when it comes to physics (timescales, information-theoretic optimality, etc.).
To understand the mess the British left behind, you must know Anglo Hindu (and Anglo Muslim) Law and its development. More of it here: https://en.m.wikipedia.org/wiki/History_of_Anglo-Hindu_law

India gained its independence only in 1947. It has not even been a hundred years and the country is still grappling with how to do damage control over the mess left behind by the colonial British.
Gonna get a google engineer to write a new android chat app for me.
Andes mountain range. simple.
Eminent domain requires paying market rate
It matters because that would clarify how much this is thought out from first principles; how much recognizes and does not re-invent mountains of prior work; how broad or narrow the work is; whether it recognizes that directions of thought X and Y have been worked on quite a bit already, etc.

Since the author here says this is not just a random blog post.

To me, this would correct the introduction's reference to "AI-based language models". Which is a bit too "latest fad"; But which I do find fascinating because the success of language models hint that a very large part of the basic human's intelligence may be simply internalized language (much of the rest being still more pattern recognition.); But which cannot merely erase all other prior work on what makes our minds.
The person in question formalized the entire proof in Coq, which certifies its correctness.

To me, that makes your conjecture very unlikely to be true...
RIP. Expertise in wordperfect was what allowed me to grok emacs and latex during college and post-grad work. In working life, I was forced to shift to vim, when I found emacs unavailable by default on many unix boxen.
Just checking who's connecting at the moment (via sniffnet, cool tool!), I see 2 Iranian IPs, 1 Chinese and 1 Russian. Each sent a few hundred kB through my proxy.
Roberta Kaplan as a Jewish Type
Edit:nvm see thread

For collatz, the empty input machine loops over all natural numbers and halts if it finds one which doesn’t eventually reach 1.

To prove that it never halts, you’d have to prove the collatz conjecture. Otherwise you’d have to find the smallest counter example of the collatz conjecture.
Thank you, @solardev.
I believe it is due to the widespread popularity of Electron. What is widely popular is not necessarily the most perfect, but it is more developer-friendly.

In recent years, developers and companies have become less concerned about the memory, storage, and CPU usage on users' devices.
> Notice to users in Brazil

> Because of Brazilian government demands to remove creators from our platform, Locals is currently unavailable in Brazil

> We are challenging these government demands and hope to restore access soon

Does anyone have access to it?
> It wont make any diff cause most people dont want to think.

On what basis do you say this? What exactly do you mean?

I don't mind that the above claim is cynical. But I think it is (a) wildly overconfident and (b) poorly reasoned. Check your biases. Also check your pain points -- would I be crazy to guess that you've become jaded about student's ability to learn, think, and/or care about education?

Next, consider a specific scenario so we're not talking past each other. Let's say 5% of high schools decide to teach Thinking in Systems. Say they get a grant so that someone experienced (in the book and subject matter) comes in and teaches for a few weeks as a special topic (at no cost to the school).

Now, think statistically and empirically. What kinds of effects will there be on students? If you are intellectually honest, you'll have to ask questions, maybe even gather some data. If you put some effort into thinking, you probably won't conclude there will be zero effect.
Sorry for that, but it's why I call it "another way" :-)
Top scientists turning down UK jobs over 'tax on talent', says Wellcome boss
At least in the circles I've been in, even bringing up the discussion of paternal uncertainty gets you "academically canceled" xD.
There is also the inevitable anger, rage, and death threats that will follow when people who regularly claim to commune with God are determined to merely be schizophrenic or using the same brain pathways as LSD users.

Religions haven't stopped being resistant to investigation and their members remain zealous.

Even the claim about meditation in the article will upset people, as then it isn't God delivering peace to your mind.

Doing research in this area could easily lead to something you wouldn’t want to publish out of fear.
I mean, overstated levels of intelligence aside, who thought it was more appropriate to model the geosciences in natural language vs, oh, I don't know, physics and chemistry?
> Mitchel

Typo, McConnell.
I kind of hope it stays with C++. C++ has been around for decades and is the gold standard for large performance applications, if they used python like many open source projects I worry it would be too slow, and rust feels like a fad
You know what? It ain't about karma. Not in any quantifiable sense (at least this is what I've gathered in my brief stint here on earth.) Quality, not quantity.