skysight-inc/HackerNews huggingface dataset:
Rust wasn't a Mozilla project per se, it was something a person who happened to be working for Mozilla was messing around with and it got internal traction.

But I'm actually ok with a lot of the non-firefox projects that they have like the VPN.

What I do have an issue with is the foundation, throwing money away at various projects that have very little to do with making firefox better. From "trusworthy AI" research grants to giving 387k to the Mckensie Mack group or 375k to the New Venture Fund (I get Mozilla are lefties but what does this have to do with Firefox?) plus some other organizations that I can't even tell if they aren't just money laundering fronts as they don't appear to actually do anything.

That and the C-Suite being complete parasites. The CEO of Mozilla corp makes almost as much in a year as the Mozilla foundation makes from donations.

Remove the parasites and the senseless spending of the foundation and you could develop Firefox with the ~20% of revenue that doesn't come from Google.
Because so many civilians died, including women, and harsh living conditions due to wide spread destruction.
> In other words does a drop of 500 feet produce the same power as a drop of 1000 feet?

Because of "mgh", that halves the amount of energy you can store for a given reservoir size.
I'm Pedro, I've been working for the past 10 years with the development of medical devices (electrical impedance tomography) using C++. I have experience both in the programming side and the tomographic reconstruction algorithms side.

- Location: Brazil

- Remote: Yes

- Willing to relocate: Yes. Will require visa sponsorship

- Technologies: C++, yocto, Qt, Rust and Python.

- Design and Modelling: Experience with Validation & Verification of Finite Element Analysis (FEA) for Medical Devices, and mathematical modelling of lung behavior.

- LinkedIn: https://www.linkedin.com/in/dallapacce/

- Email: pedrodallapacce[at]gmail[dot]com
>This only makes the current war that started in 2014 even dumber

Not sure about this.

US had been meddling with Russia using Ukraine as base, and the 2014 ousting of the Ukraine Prez at the time was only made worse by the US and EU flaming the issue.

Not saying the war was necessary, but given the large number of times US has been involved in regime changes of various countries (using this Modus Operandi of supporting protesters), taking back control of a region they used to govern (as USSR) is not something absurd to consider.
> to show that if a machine is non-circular, then it is possible to produce an equivalent machine by using a halting state which is entered after the machine prints its final "symbol of the first kind".

This looks rather impossible to me. Yet you claim

> And that seems like it should not be hard

Could you elaborate how to do so?
When the CRC and the TCP checksum disagree [pdf]
https://htmx.org/docs/#security
C# also has the compiler available at run time, which is an extremely powerful feature, so the line between static and dynamic reflection is blurred.
> Nobel Prize winner Glenn Seaborg, co-discoverer of plutonium and Chairman of the Atomic Energy Commission from 1961 to 1971, wrote that, “To our great surprise and dismay, it developed that Starfish added significantly to the electrons in the Van Allen belts. This result contravened all our predictions.

You can see the official report here, it has a ton of detail and sources https://sgp.fas.org/othergov/doe/lanl/docs1/00322994.pdf

In it, J Van Allen (the one the belts are named after) is cited saying decay happened much more slowly at higher altitudes, from months to years.

Calling their work a “bad joke” is… interesting.
The head of the executive branch doesn't select the members of seal team 6
Was it this one?

https://scottaaronson.blog/?p=2725
I think you'd want the reverse, which is indeed elementary: if f halts then you get a circle-free TM, but if f does not halt then you get a non-circle-free TM. This can be done by

f(); while(1) output_digit(0);

or any number of other simple constructions. This is because a circle-free TM always reaches a certain pre-defined event (output_digit), much like a halting TM. But a non-circle-free TM might forever fail to make progress, in a way that you can't necessarily tell if it's stuck or will eventually output another digit, much like a non-halting TM.

Edited to add: also Turing proved that the symbol-printing problem is undecidable, as the authors of this paper describe: will a Turing machine ever print a certain symbol? If you name the symbol in question "HALT" then this is almost identical to the halting problem, and easily reducible in either direction.
Oh for sure, browsers are complex beasts, but Ladybird already supports quite a decent chunk of the web. For an initial alpha (which they explicitly point out to be for developers and early adopters) to still be 2 years away feels a bit far out to me.
As most have mentioned, join a big company that is not a Tech Company.

Most of my 10 years has been working for startup size companies. It was fun at times, then it became stressing, too much work, too much time etc. Specially when I worked in a digital agency, working for clients tech products is horrible and stressing.

I finally changed job to a huge company B2B, non tech, but needs tech for their customers. They move SLOW, Steady, and with structure. They work for their own product.

I find that I work on tickets that, in my old job (startup) I would've had to do in a few hours, and here I can take a couple days and open a PR that has been battle tested, done with time, and no stress. Much much better quality.

I love my job now. And I feel I'm actually gaining such a valuable experience! I'm never going back to how I worked for 10 years
The upside of Ultralytic's monetization is that the tooling is top-notch. You really can fine tune a model in about three lines of code, train a model from scratch just as easily, and run inference with ease. And all with decent documentation.

For my use cases I prefer great AGPL (with optional commercial license) tooling over the free good-enough-for-the-paper-but-not-practical-applications tooling you get with most computer vision projects (including this one).
> How do you go 10 years without even asking a question

Because your fellow jurists ask the questions for you.

He explained this position cogently: he does not want to influence the process or the case being presented to him.

When seniority-based speaking order changed during COVID virtual hearings, he started asking questions again.
Okay this whole article is hilarious. I still don’t want to use HTMX but now I will happily not use it, rather than angrily not use it like I do with golang.
There's also a hidden language where people send out "this is how you should be communicating with me" signals. Most non-autistic people have access to more than one communication modality ("concluders" and "weavers" being just two options), and can follow this language and choose their communication modality implicitly. (Unfortunately we can't talk about "neurotypical" vs "neurodivergent" in this discussion, because autism is not the only neurodivergence, but it is the one that has the most troubles here.) A decent fraction of communication breakdowns are actually breakdowns in this silent negotiation, which is kind of interesting.

Unfortunately the article author is demonstrating another common fallacy, overgeneralizing their experiences. While the two styles identified are useful things to talk about, these are not the only two styles and the whole situation really is not so rigid. (I find it ironic that someone who disclaims the "concluder" style can go straight to a conclusion and dig in on it, but in my experience with neurodivergence in my family, that seems to be something of a hallmark.)
Hey! Tudo bem :)

Sorry for the late reply.

I've added a "/data" endpoint where you can get the full database in json format.
Not really news. Always sanitize user input html. No matter if you use HTMX or something else.
The current state of UK universities and how this came to be
Lies in MKBHD's Apple Interview; a critique of 'brand' influencers [video]
That isn't remotely true, and this perpetuation of a distortion of what the Second Amendment is actually meant to be for is part of the problem.

The real reason you have a Second Amendment is to stop those pesky slaves from rising up and trying to obtain their freedom. [0]

Here's the funny bit. If you were even half the patriot you consider yourself to be, you'd more than agree with the issues I outlined above.

[0] https://www.nytimes.com/2018/05/24/opinion/second-amendment-...
Psram Static Allocation on ESP32
I followed the standard nvm install process, to get it loaded from my .zshrc

I noticed a second or two in lag between launching the terminal and getting a shell prompt. Commenting out the nvm load as a test removed the delay. I installed fnm, aliased it to be nvm, and everything is snappy. Also nicer if you use tooling to 'nvm use' when changing into a project directory.

There are a few issue threads such as this one : https://github.com/nvm-sh/nvm/issues/2724

BTW, this blog post was great for finding the culprit if there is zsh startup latency : https://stevenvanbael.com/profiling-zsh-startup
The man who developed 40 vaccines
If these people are in the top 1% of software engineers, why are they willing to work for peanuts?
Math blocks are truly great. I did try converting `2 tbsp butter in grams` and nothing happened, which I half expected.

I guess a "cooking" block would go a long way - at least for me!
> hard CS research

I'm surprised to see this, in what way does it require hard CS research? Isn't it just debugging and implementation pain?
> There was that famous meta-analysis from 2001 that showed no significant effects, but that averaged over a _lot_ of trials where we wouldn't expect much of an effect (cancer, particularly).

This is the exact meta-analysis that I was referring to.

I'd need to go back to my PhD to remember all the flaws I found with that approach, and the vast number of studies (including meta-analyses) that found statistically significant placebo effects following this.

Particularly for pain, there's biochemical evidence of placebo effects being created due to sugar pills, and these effects being reversed by opioid antagonists (naloxone, particularly), so the evidence is particularly strong for this.

If I get a chance this week, I'll review my thesis for the citations that I knew back then (but it's been over 10 years since my viva and I no longer work in the area so can't recall off the top of my head).
This version makes more sense to me. When the halting problem was first explained to me in school the professor didn't get into what it actually meant in terms of computability, just that we couldn't tell if a program halted or not then we just moved on.
Anthropic looks to fund a new, more comprehensive generation of AI benchmarks
No talk of the license on the frontpage. Visiting the GitHub repo tells me it is 2-clause BSD license. It's high time we had a GPLv3 web browser, otherwise, this risks the same fate as the rest of the browsers with proprietary forks.

This of course comes at the cost of not being able to support non-free parts of the web standard such as DRM.
Where the Wild Things Are: Brute-Force SSH Attacks in the Wild, How to Stop Them
It’s very interesting you find my comment as prescriptive when I’m merely pointing out that C has historically been a good tool. In this person’s opinion, it sounds silly when people try to tear it down, often with some agenda. I mentioned Rust because it often seems to come from a very passionate camp there (again, cool! nothing wrong with that). As I said, programming languages are tools, some tools are good for one job and not another, and prescriptivist talk about such things I immediately tune out and cannot take very seriously.

Luckily my opinion doesn’t matter and can be ignored.
I'm just not trusting a small browser dev team.

The risk of exploits is too high
KHTML was the basis for Chrome and Safari. A valid concern
We will never charge our users, or attempt to monetize them in any way. Our nonprofit will run on unrestricted donations only.
Speaking from experience, me and my good friend often "weave" together by playing rounds of hipbone games [1] on a napkin. And the better you know each other, the more it feels like this [2].

[1]: https://boardgamegeek.com/boardgame/38371/hipbone-games

[2]: https://www.youtube.com/watch?v=9BZpm4DX9Bo
What’s stopping them from doing so?
I hadn’t realised I was (nearly always) meant to use original titles. It does make sense, thank you for the civil and clear explanation. I’ll take it into account.
I could have, and almost went there but for a few details:

* Norsk Hydro was economic and made a profit for most of last century (the claim was that hydrogen was uneconomic)

* I didn't know the details of how Norsk Hydro sourced hydrogen - from water via hydroelectricity seemed obvious and would have made a great example of an economic green hydrogen use.

Norsk definitely used "green hydrogen" from 1911 - 1929:

The first potassium nitrate was shipped out on 8 December 1911, and two years later the plants were making a profit.

The 1920s were a tough time, and production decreased, but in 1929 the electric arc technology was replaced by the Haber process

( from: your link )

It was unclear to me a few hours back whether hydrogen was still extracted from water for the increasing demands of fertilizer and explosives or whether it was sourced from biowaster | natural gas.

Reading about a bit

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

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

suggests that Vemork kept up the hydrogen production for the heavy water trade at the very least.

I err towards caution when not particulalry certin <shrug>.

Good call though.
Regardless of what you may believe was "meant to be," we live in the reality of today.

Try and remove citizenship from an extremely well-armed populous and see what happens.

(Bring on the "you need F-16s, man!" Guess to which side the overwhelming majority of the military and private arms ownership leans? Hint: it's not yours.)
Location: Brazil
Remote: Yes.
Willing to relocate: No.
Technologies: 13+ years of java professionally. I have worked with everything though, too limiting to cherry pick stuff.
Résumé/CV: https://vitor.win/posts/vitor.pdf
Email: contato@vitor.win
LinkedIn: https://www.linkedin.com/in/vitordaguerreo/
> Nothing biologically stops a woman having 10 children with a single man, it's just rare.

You'll have to forgive me for finding this non-explanation unsatisfying. Do you think there's any reason for it being "rare"?
It's more the area of the bullet that matters. A small bullet or a thin needle require much less momentum/energy to penetrate a body than a big object.
Holy cheeseballs! That’s amazing. Big congrats, you deserve it :D
Location: Berlin, Germany

Remote: 100%

Willing to relocate: No

Technologies: PHP, Python, JavaScript/TypeScript, React, Postgres, MongoDB, MySQL, PowerShell, HTML/CSS, Docker, GraphQL, Node.js

Résumé/CV: https://cv.thelastcode.io

Email: tyteen4a03 [at] thelastcode.io

I'm a 5 YoE full-stack software developer with an interest in using technology to solve social problems. Currently a system architect IT Volunteer with Crisis UK (homelessness charity) and Technical Lead at Toontown: Corporate Clash (volunteer-run revival of the Disney MMO Toontown Online).

Looking for my next role at €80k+ (can trade less money with less hours). 100% remote or office visit up to once a month. I am a permanent resident in Berlin, DE so prefer German companies but can accept jobs anywhere in the EU. Open for both permanent employment and contracts.
I think we need to remember that Presidents have gotten away with a whole lot in the past. Many a blind eye before Trump came on the scene. Now that the seal has been broken, we were on course for a whole lot of these post presidency prosecutions in the future. I think the SC was sensitive to that and wanted to nip it in the bud.
Intuition Machines, Inc. | Multiple Positions | REMOTE | Full-Time

Intuition Machines uses AI/ML to build enterprise security products (hCaptcha security suite). We apply our research to systems that serve hundreds of millions of people, with a team distributed around the world. Our approach is simple: low overhead, small teams, and rapid iteration.

We are looking for a passionate Site Reliability Engineer/DevOps Engineer to help us maintain, grow, and scale our SaaS security platform. Our goal is to automate everything! In this role, you will have a high impact and ownership, move quickly, use the latest technologies, mentor, and partner with other team members to drive initiatives. If this sounds interesting and you have strong skills in Kubernetes, monitoring, CI/CD, and a solid background in Python or other backend languages, we want to hear from you.

Details: https://apply.workable.com/imachines/j/CD0057C4CC/

Among others, we're also looking for:

Senior Python Engineers
https://apply.workable.com/imachines/j/E26E4247D8/

Senior Data Engineer
https://apply.workable.com/imachines/j/D31D65BF69/

Senior ML Engineer
https://apply.workable.com/imachines/j/BE379D55E0/

Senior Growth Marketing Manager
https://apply.workable.com/imachines/j/CB026B8478/

All open roles: https://apply.workable.com/imachines/
Yes, we are aware of how permissive licenses work.

If someone forks our code and does a better job with it than we do, fair game. :)
C# for the first three or so major versions was more Microsoft Object Pascal With Braces than anything.
Sure, but you should always not trust any input, even if you think it's been sanitized.
So, CSP is designed to help against the case where an XSS already happened. So, a lot of this seems like valid criticism, but some parts seem wrong. The "loading malicious fragments" part looks more like the motivating case for using CSP in the first place, rather than an implication of HTMX, but correct me if I'm wrong.

The "unsafe eval" and "nonces for inline scripts" sections seem like valid criticisms of how HTMX works currently. It seems both are possible to disable using the configuration, though (meaning you could remove unsafe-eval from your CSP and htmx would still work except the disabled features).

The "hx-disable" one seems like a badly designed security feature, frankly. BUT, the code that rendered the unsanitized HTML content was not htmx (looked like an erb template), so htmx shouldn't really be blamed for that one.
Show HN: LogicBalls- an AI Writing Tool
LogicBalls AI is a comprehensive AI writing tool offering over 500 AI apps for various use cases, including marketing, sales, HR, real estate, SEO, personalization, writing, email, blogs, social media, and more. It supports more than 60 languages and provides over 20 tones. Additionally, you can generate images using our text-to-image generator.
Show HN: Ollama Pull-Through Proxy for self-hosting models in your local network
Blackjack, hookers, and reified generics!
OK, but... you could have just commented on the original thread. It is a little odd to make a new post for this.
I'll admit to being a little outdated on front-end design evolution. Sass/SCSS is no longer needed? Does CSS support nested blocks now?
Interestingly, my first thought was, "This sounds like one of the most dangerous, misguided things I've ever seen."

Not everyone's grief journey is the same, and I'll be the first to acknowledge it, but in my own experience, what meant the most to me and saved my sanity (and possibly my life) were the people who were willing to show up, sit with me, and say absolutely nothing at all. There's nothing to say during grief that will help. Presence helps. Not being alone helps. I've yet to talk to anyone who said, "I wish anyone would just have said more things to me in my deepest grief."

Replacing that desperately needed human presence--and usually silent presence!!--with a chat bot? Something that absolutely cannot be present to you, and can only say things?

It's as wrong a solution as I can possibly imagine for this problem.
Note they won't have to do a better job in the long run, just a good enough job in the short run to leave you behind. But yeah, as long as you're keeping this in mind :) best of luck!
Location: Canada (Eastern Time)
Remote: Office preferred
Willing to relocate: Yes
Technologies: Go, Java, Python
Résumé/CV: https://www.tareqak.com/tareqak-resume.pdf
Email: tareqakhandaker AT gmail DOT com
Thanks for posting this. I have to admit, the old design has a lot more charm. The new design is fine, but there is just something timeless about the old design

> This page is not fancy because we are focusing on building the browser. :^)

I approve this message
Location: Brazil, Rio Grande do Sul

Remote: Yes

Willing to relocate: No

Technologies: Java, JSF, JTA, Python, AutoIT, Hibernate, PostgreSQL, Payara Server (Tuning and maintenance)

Résumé/CV: https://www.linkedin.com/in/gustavo-lazarotto-schroeder-9b08...

Email: gussch [ at ] outlook [ dot ] com [ dot ] br

I am currently a Full Stack Developer at a Brazilian credit union. My work involves a broad range of technologies, from popular languages like Java and Python to niche tools such as AutoIT. I have a Master’s degree in Applied Computing and a Bachelor’s degree in Computer Science. My academic credentials are enhanced by a deep passion for researching and solving real-world problems that yield significant and positive impacts.
IAEA urges World Bank to support Nuclear Energy for decarbonization
In an address to the World Bank Group Executive Board, IAEA Director General Rafael Mariano Grossi criticized the disproportionate financial support for fossil fuels over nuclear energy by multilateral development banks. He emphasized the need for increased funding for nuclear projects to achieve global decarbonization, aligning with COP28 commitments to triple nuclear capacity by 2050. Grossi highlighted the IAEA's readiness to support countries, particularly in the developing world, in integrating nuclear power to meet climate goals.
AWS CEO Matt Garman breaks down the company's AI strategy
Ask HN: Why I can see some of my posts only if I'm logged in?
I noticed that some of my posts are visible to me only (if i'm logged in) otherwise no one can see them. why is that?
Dead code elimination is related to but distinct from tree shaking - it also means that unused code branches get removed, for example constants like NODE_ENV get replaced with a static value, and if you have a static condition that always results to true, the else branch is removed.
Thank you to the work you and everyone else at the MTA does!
Reality check:

1. All the BSDs have been out there for decades without anyone running with it.

2. Google and Microsoft - while being a shadow of their former selves technically - are probably still very capable of reimplementing whatever they want.

3. If Ladybird gets so wildly popular, lets celebrate wildly!
Please help me out here, otherwise i will have to think that HN is against free speech
Do things that don’t scale :)

Obviously it’s not suitable for dev builds, I don’t think anyone uses it for that. For release builds you would want to clear caches anyway.
This is outrageous considering there are conspiracies against our natural human destinies at every turn. These mock the laughable crowd sourced conspiracies and completely talk over all corners of humanity getting screwed by various interests and their power games.

The rest of the article is more meaningfully related to critical thinking.

I don't understand how someone capable of critical thinking cannot see our governance, society, and our minds are hacked.

Denial is a conspiracy for placating social content.
Figma AI is a rip-off engine
Digital Trees
I hadn't heard of any of these, apart from rolldown, thanks!

Hopefully docusaurus gets on that train soon