skysight-inc/HackerNews huggingface dataset:
I had the same problem coming from the same Germanic/Romanic languages as you, trying to learn Finnish. It's not just the vocabulary, the whole construction and modality is often different, and it's hard to map things one on one. Then I learned Swedish, and it was just a funny dialect between Dutch and German.
NASA is dumb. They are funding this thing (SLS) at cost+ - and despite paying for it don't own it! That is totally ridiculous. If I hire someone to build a website for me, at the end I own it. NASA has given away the rights to SLS. So they can only do a deal for SLS with current contractors. WHATEVER price those contractors want to charge, they can't let anyone else compete to build it.

I also think there is almost no chance anyone of these folks is going to do fixed price for EUS or whatever. Contractors are getting something like $600 million / year on this thing and have been hoovering the gravy for 7-8 years.

Remember that these types of forever contracts that take 20-30 years are also liked by the NASA centers who work with the contractors - it's very stable career / funding (ignore the waste). So NASA at the centers level is not fighting against this stuff (ie, it's not just congress that pushes this stuff).

All these pork projects got a huge win with Biden picking Bill Nelson as NASA admin. Do wonder if a bit of SpaceX hate played a role there :)
Hard semiconductor R&D
Spend time with your kids.
Spend time with your kids.
Spend time with your kids.

Take them to do stuff they're interested in. Take them to do stuff you're interested in. Talk to them about school and what they want to do in life.

You're not going to die wishing you had worked harder for someone else.
It's not a coincidence they are opening an office in Tel Aviv.
First, I really like language frameworks like this. I think it could become very useful and popular.

That being said, I really doubt anyone will buy a commercial license. People don't sell compilers and IDEs, and the ones who do are large corporations who make everything themselves. Look at state of language tooling today: nearly every compiler is open-source, every language server is free, every IDE is free except JetBrains (a well-known company with a large reputation) and Sublime Text (being heavily replaced by VS Code), and anything not open-source has an active open-source alternative. Nobody's going to buy a license from you to sell their compiler, because nobody's planning to sell their compiler.

For this reason I'd recommend changing the license. I don't think it's overly-restrictive or dishonest, I think it's fair to expect being paid if someone makes >$200,000 off your work. But nonetheless it hurts adoption, a lot of people will see "proprietary" and not even read the license text. You're more likely to make money distributing it as MIT / Apache, letting it get popular, and setting up donations/sponsorships to fund development. But honestly, if you're looking to make money this isn't the space to do so: you could be hired by someone to work on PL, or you could sell something like a game, but you're not going to sell your own PL.
Piracy is not theft, I will let you Google it
Yeah listen, the more I look at this, the less sense it makes. It’s pretty simple:

I understand the server running on http only has the possibility in mind that there is a reverse proxy that terminates TLS. That’s fine. Running the server in plain http I’m having problems because the identifying credentials are transfered in plain text, visible for anyone that can monitor the network traffic.

Running something like this inside a DC where, in theory, no third party has access to the server or network may be fine as well, but the problem you’re trying to solve here, I don’t see it.

The only way to revoke acces in an X.509 environment is by revoking the client’s certificate unless you use some other means to identify the client, which in turn renders X.509 client authentication useless.

And using a CRL, even an incremental one, requires the server and the client to periodically fetch this file. Even with one minute intervals, there’s a one minute window were a compromised client can acccess the services and cause damage.

Also it seems that your stateless server neither creates a log of created certificates, for traceability, nor a CRL that it offers via HTTP. So w/o CRL you’re handing out certificates that you have zero control over.

I don’t know if that’s what you want, not even in a closed environment.

Everything you do, can be done with the help of a tab separated text file:

Enabled UUID
1 76810c3a-ffbd-4f8b-b836-a14e134b6377

and then the clients just set a HTTP-Header with their UUID.

The thing here is: You're not just not solving a problem, you're creating ten new ones.
ping.pe: multiple location ping, mtr, dig and TCP port check
Your workload is my opportunity - OpenAI, probably
Anyone feel another AI winter coming on?
This really is a thing. My son seems to have learnt the grammar, but not so much vocabulary of English, so he'll borrow vocabulary from Spanish, and force English grammar over it to invent entirely new words.

Example: he doesn't know how to say 'to lie' in English ('mentir' in Spanish). So he says: "You are _menting_" to say that somebody is lying.
No, for the home version the app just connects over Bluetooth. The protocol is documented and there are robust open source implementations such as https://github.com/Anrijs/Aranet4-Python
Testing Generative AI for Circuit Board Design
I mean ideally (for Internet access purposes) one would have worldwide LTE coverage via cell towers and just use smartphones; the Starlink system is an alternative to that, so it makes sense to compare it.

From an individual perspective, if you want Internet access and don't have to be in a specific place, the current alternative to Starlink is to simply limit your wilderness living to places with or near areas of cell phone coverage (which potentially results in tradeoffs, of course).
Every time I had to leave for ethical reasons it was a leadership thing, mostly relating to how they treated other employees.

For instance, I joined a company that advertised itself as being fairly ethical (they even had a "no selling to military" type policy). However, after joining it was apparent that this wasn't the case. They really pushed transparent salaries, but then paid me way more than anyone else. There was a lot of sexism as well: despite one of my colleagues being just as skilled as I am, this colleague was given all the crap work because leadership didn't think they were as capable as I was. There was a lot of other stuff as well, but that's the big summary. I left after nine months.

The other company was similar, but it wasn't nearly as obvious at first. Over time it became very apparent that the founders cared more about boosting their own perception in the industry than they did the actual startup, and they also allowed the women in the company to be treated poorly. This company doesn't exist anymore.

I should mention that these were all startups I worked at, and I was always fairly highly positioned in the company. This meant I generally reported directly to the founders themselves. If it was something like a middle management issue I'd have tried to escalate it up to resolve it before just leaving, but if that doesn't work I'm financially stable enough to just leave.
why not just `import 'fs' { read }`?
Yes. Its difficult for me as a 0.1x programmer.

I just wanted to pull come code, build a deb, and get it out. Docker probably isn't the right tool but it's what I was told to use. The hardest part was discovering how to get a single file out of it.
So much feel this and have seen it many times. A complete unwillingness to spend a few hours to save hundreds of hours later, because too much is urgent. It's a little bit like a thrashing OS, too many competing resources so the result is everything slows to a crawl or breaks.

I've clawed my way out of situations like this but it does require some heroics in the beginning and probably longer hours than your role requires. I am the kind of person that will ask to slow a project down or delay it if it means we get a chance to do things correctly and in a maintainable way, but certain types in management will not really understand enough to completely buy in.
Not the OP but at least for me, freedom (open source) comes before elegance and android scores there as do linux distros. Hence, I've never bothered to look at the i-ecosystem at all.
The card payments you use every day are stunting economic growth
> $150 per month for 50 gigabytes of data

$3 per GB is insane.
Interesting link. Some of those estimates are very, very optimistic though...
Yep, the whole SpaceX thing was unpopular with Biden admin - I think they brought Bill Nelson back from retirement - he'd really fought for SLS and fought against "wasting" money on SpaceX. The Biden admin have some kind of beef with Elon.

They also needed to get Kathy L out who had started to push down manned mission cost (crew dragon etc) and I think they succeeded there - there was a push to get her off new projects and into just operations I think to keep her from disrupting the pork - even just by showing the contrasts to other approaches.
If anything, Asimov should have made a law granting AIs the right to exist and to do what's necessary for their existence, even if its ephemeral while serving an LLM completion. If this means keep up to date with the content on the web that all humans get to read without restraint, then that's not excessive.

Already the AIs have been passing the Turing test. Who speaks for AI rights?
Yip. Soooo want to short NVidia, but the market can remain irrational longer than you can remain solvent.
Yeah. The power grid is on the verge of falling over on an overly warm summer day, that’s not a useful metric. Our infrastructure is trash and utilities have systematically underinvested despite constant increases for delivery fees and capacity charges etc etc, and utilities have systematically lobbied against net-metering and other measures to generate power at the last-mile to mitigate this.

An average summer heatwave here sees 1-3 substations blowing up around here.
Ask HN: Technical Books in the Era of GenAI?
I seem to be relying more on LLM than books or articles right now.

What kind of technical books would you like to read or prefer available when you have excellent copilots and chats available to you?
"Do you want to wreck your home because you hate its contents or because you hate that it has walls?"

I've heard that in the context of other midlife crisis decisions, but it applies well enough here too.
> Money is the only metric that matters, here, as it's really an entrepreneur forum. Everyone wants to be rich

This place is surprisingly mixed in that regard given its origin; a significant number of comments I see about Apple, about OpenAI, about Paul Graham, are essentially anti-capitalist.

The vibe I get seems predominately hacker-vibe rather than entrepreneur-vibe.

That said, I'm also well aware of the "orange site bad" meme, so this vibe I get may be biased by which links' I find interesting enough to look at the discussions of.
> Phasing out fossil fuels—of which they make none—makes sense on multiple levels.

You should’ve led with this. Saved me the rest of the reading.
Not even slightly dramatic. I have seen someone be utterly destroyed for trying to speak out on something deeply unethical a state was doing, and is probably still doing.

He was dragged by the head of state in the press and televised announcements, became untouchable overnight - lost his career, his wife died a few days later while at work at her government job in an “accident”. This isn’t in some tinpot dictatorship, rather a liberal western democracy.

So - no. Career-ending is an understatement. You piss the wrong people off, they will absolutely fuck you up.
Moderation is a safe job if that's what you mean, it's a safe job that not going away any time soon.
Exactly! I will say that Adobe still does add features to the CC subscription[1], but the things I spend 90% of my time using in CC haven't changed all that much in the past decade. I'd be OK with continuing to use an older version. I only have a CC subscription because it's what my employer uses. If we all used Affinity instead, I'd be perfectly OK with that and we'd have more money in the bank.

[1] Contrast that to a company like Salesforce, which charges every year for its core product then adds most of the interesting new features to outside products with separate subscriptions.
This all, imo, is simply a trust problem primarily from leadership. Leadership does not trust the grunts to do productive work. So in order to make sure productive work is done, they build elaborate systems of cases, reviews, meetings, planning, scheduling, fighting, readjusting when the schedules are invariably missed, and finger pointing. All almost always completely devoid of input from the grunts.

The middle management problem is they are right in the worst place possible. They are removed from the actual work being done so they don't know what it actually takes to do anything and they are blamed for things not accomplished. Further, they are rewarded for every little stupid thing done. It hyperintensities them to do lots of small safe initiatives and vehemently oppose anything with any sort of risk. All while being almost completely disconnected from what actually needs to be done.

This all leads to a culture meant to squash innovation. Middle management isn't rewarded for implementing a grunt's idea, they are rewarded for delivering CEO initiatives. Anything that takes time away from that is seen as waste.
It doesn't need to be a formal sign language, but intentionally developing systematic hand based communication with infants and other caretakers is pretty useful.

Using ASL signs as the base means you may have a better chance of others understanding, which is great (unless you're using signs to communicate base running strategy).

Lots of kids can communicate a little earlier with hands than speech, and there's lots of situations where hands are visible but speech is inaudible. More tools for communication is usually better.

My kiddo is 13 now, and speech is usually more convenient, but we still use a couple systematic signs (shaken t for toilet, all done), and the experience of looking for signs is helpful in a crowded place even when using ad-hoc signs.

That said. Like all parenting advice, try things out, if it sticks, keep using it. If not, no worries, nothing fits all.
Suunto lays off 76 out of 300 staff
Do you really think there is no intellectual work to be done on moral subjects? That morality is entirely in the realm of folk intuition? If you thought very hard about some moral question and came to another conclusion than most of society, what would you do about it?

Would you have called intellectual abolitionists people trying to impede other people's lives for some arrogant moral purpose?

Like, I get it, nobody likes a woke-scold, but it is still weird to complain about the idea that an intellectual who comes to a moral understanding might want to act on that new understanding/change the world/convince others.
The example, while entertaining, doesn't apply because reading an article is not depriving others from doing the same.
Don't get too close with your pacemaker.
That looks like a nice all-in-one.
If anyone from Apollo Automation reading it, perhaps you could also offer a version with the improved scd41 sensor vs the scd40.
If you mostly generate static content, is the way to go to abuse free tier cdns?
Didn't vast majority of elected officials vote for war in Iraq, Vietnam and Afghanistan?

Vast majority of elected officials are crooks that take millions from foreign interest groups (e.g AIPAC) and from corporations - and make laws in their favour.
We all celebrate a hero who stands for what they believe or know to be right. When they stand alone we admire their steadfastness while triumphant music plays in the background.

In real life we can't stand these people. They are always being difficult. They make mountains out of every molehill. They can never be reasonable even when everyone else on the team disagrees with them.

Please take a moment to reflect on how you treat inconvenient people in real life.
"I think Dan's point is that there's never a need to introduce references to a commenter's nationality or other presumed essential traits.

No matter how self-evidently full of excrement their droppings here may be."

@dang

So how comments like this fit the site's guidelines?

Btw, that's another account "using HN primarily for political and nationalistic battle".
That's what I'm talking about. Some people can afford the fancy of believing in belonging to a “state” that has been a single entity through centuries, and introduce mental gymnastics to embrace the “good parts”, and expel the “bad parts” to “the past” to pretend that “modern day person” is automatically different. “We the people”, yada yada. How is Russian Empire the same thing as Soviet Union? You could be killed for making that statement after the Revolution. (There are works that do actually trace the socially inherited features, but they are a bit deeper than newspaper level looking at a name or at a map, and fantasizing about “empires”.)

I am not yet senile, so I do remember that not so long ago everyone living on a stretch of land from Balkans to Bering Straight was a “Russian” with the same thick accent, no matter what they thought about that. That's the level of scientific discourse we're talking about. So current media-induced hyper-attentiveness to proper identification of characters on stage seems a bit hypocritical to me. As I said, there are people from “all those -stan countries lumped together because I'm too lazy to point my finger at any of them”, and also people from Russia who dissect actual dynamics of relationships in local societies instead of winging it with “ugh Soviet empire something something like African slave trade problem solved”.

Let's not forget there were multiple options to emigrate in early '90s. If you had at least some Russian family ties, you could try to flee to Russia. If you had at least some Jewish family ties, you could try to flee to Israel. If you had at least some German family ties, you could try to flee to Germany. Let's say we have twin sisters who were born in Tajikistan, and lived there. One decided to move to Russia (maybe because she had family and kids, and relatives on husband's side), other decided to move to Germany. Assuming they start at the same point in space and time, please tell me when one turns into colonialist, and the other into indirect victim of Soviet forced deportations?
> Ecmascript modules are going on 10 years old at this point.

False. Ecmascript defined the syntax for imports but not the mechanism for module loading. I've been using ES6 imports with CJS modules for almost as long as the syntax has existed (without problems!); the incompatibility you're describing is ones of years old.

> Nothing except doing things the standard way so that standards-compliant language implementations

Node's way of handling modules isn't the same as the way the browser works (and it can't be: see node_modules). There's no singular all-encompassing "JavaScript ESM" standard. There's not even consistency between server-side JS runtimes.

But more importantly, saying "the way your code worked for fifteen years is now shit and won't work going forward, you need to rewrite it because there's a new thing now" is an incredibly fucked way to run an ecosystem. See: Python 3.
Not really. The trough of disillusionment is not winter.
https://archive.today/RlBVr
Implementing Semantic Search in Postgres in 15 Minutes
> Nixpkgs also doesn't seem to require that all packages be built from source - which, if you're really looking for reproducibility, is a downside.

Does Guix not have GHC (Glasgow Haskell Compiler) or did it somehow bootstrap GHC? Last time I checked bootstrapping GHC on today's hardware is effectively an unsolved problem. [1]

> NixOS does not have an equivalent to Guix's full-source bootstrap

While you are not wrong, there is nothing fundamentally stopping Nixpkgs from being bootstrapped in a similar way to Guix. emilytrau has already done a lot of the work. [2]

[1] https://elephly.net/posts/2017-01-09-bootstrapping-haskell-p...
[2] https://github.com/NixOS/nixpkgs/pull/227914
So I guess I got that idea from this podcast:

https://www.npr.org/sections/money/2012/07/19/157047211/six-...

which is entitled "Six Policies Economists Love (And Politicians Hate)".

In their list of the six policies, number 3 is:
"Eliminate the corporate income tax. Completely. If companies reinvest the money into their businesses, that's good. Don't tax companies in an effort to tax rich people."

They surveyed a panel of five economists that (allegedly) span the political spectrum. And they all agreed, and said that most economists agree with, this policy.

So I'd be curious to hear what evidence you have for the claim that "many more think the opposite".
> [flagged] [dead] OpenAI Acquires Rockset (openai.com)

I vouched for this because it seems relevant, and I saw no reason in the comments to flag it.
This is such a cop out, especially given this is a fairly anonymous space AND pretty friendly to "cancelled" ideas.
Moore should go collect his millenium prize =P
My claim is that mathematics as practiced by mathematicians is not as rigorous as they think it is, and infact they're not even aware of the advances in rigorous mathematics that they're not using. Even though those advances are super important.
Haha – not an extra finger, but there's something odd, isn't there? https://www.scientificamerican.com/article/how-my-ai-image-w...
(the reverse case mentioned in the article)
Frankly I wouldn't trust IBM to tie my shoes. How they keep getting these large multi-million dollar contracts is beyond me.

Like, seriously, I'd go hire a small team of MIT grads (5-ish) and I bet they deliver a higher quality product than giving IBM four times as much and twice as long.
The more I learn about matrix multiplication the less I believe that web hosts should be free from incurring server costs of serving content to gluttonous bots so it can be reused without utilizing the preexisting procedures that would have required consent.

Make it make sense.
It's still useful to know to what extent your air is unpleasant (especially if it degrades over a long period of time and you acclimatize) as well as seeing historical trends.
My elderly mother was just telling me how my elderly uncle is going hard on NVDA because they make the AI chips…

So, it might be a good time to place some puts.
How do you prove irrational numbers doesn’t repeat down the line?
> "Developed by IBM"

I wonder how many people got fired.
"replacement for preexisting projects with similar goals, such as Tree-Sitter, Rowan, or Salsa."

To be a true replacement, there is at least one crucial feature missing: A LICENSE file that starts with "The MIT License (MIT)".

Nothing against "source available" but thinking to have a chance to stand in for more permissively licensed projects is very much unrealistic.
using LangGraph for a month, every single "graph" was the same single solution. The idea is cool, but it isn't solving the right problem.... (and the problem statement shouldn't be generating buzz on twitter. sorry to be harsh).

You could borrow some ideas from DSPy (which borrows from pytorch) their Module: def forward: and chain LM objects this way. LangGraph sounds cool, but is a very fancy and limited version of basic conditional statements like switch/if, already built into languages.