skysight-inc/HackerNews huggingface dataset:
Great concept, I have used KICAD to design in the past, some of the problems I have had as an amateur are:
1) Selecting the right components, are they available, standard size, surface mount or leaded?
2) Single or double side? Vias can be used to hop tracks

I will try out your sw and give feedback.
> The world is not overflowing with people who can even theoretically lead a $77bn company

I strongly disagree. It's a matter of surrounding yourself with capable people and there's a huge factor of financial inertia. I guarantee you most HN-ers could run Google or Apple for 5 years without causing their value to plummet.
Huobi Token burns 20 million HT, valued at $60 million.
Transition to HTX DAO signals decentralization and community empowerment.
Justin Sun, the advisor of Huobi Token (HT) and founder of TRON, announced today the burning of 20 million HT tokens, valued at a staggering $60 million. This move marks a pivotal moment in HT’s history, signaling a significant reduction in circulating supply, with only 134 million HT remaining in circulation.

This burn is part of a comprehensive plan to enhance decentralization within the HT ecosystem. Notably, Sun emphasized that the portion of tokens belonging to the team has been entirely burnt, underlining a commitment to decentralization and eliminating concentrated holdings.
Let's face facts: The spice must flow.
I wouldn't consider the ai models to be the stewards of the English language. The people who speak English are. When you hear a bot speak in broken English, you recognize that it's broken English.

The stewards on the language will similarly hear the bot as broken, and people who don't know the language won't know the difference.
I have seen company-wide Objectives that are basically euphemisms for "make more money". No shit, Sherlock! I can be a CEO as well!
I keep seeing "responsibility" brought up but what responsibility do you mean? I have never seen a CEO suffering unpleasant consequences of their own failures. It's always a golden parachute and failing upwards for these people.
Carefull though. I busted my knees combining intense ice skating (multiple hours per day) and explosive running/jumping (basketball). Two very distict movements for that area.
I need coffee. It took me almost two paragraphs to understand the topic is DNA Sequencing and not sequencing a synthesizer (music).
Reading this made me chuckle. Those are really basic and sensible demands, but still so rare to find covered in any of the expensive offices.
> if your computer ever gets compromised

If that happens, nothing will save you. The malware can just grab your session tokens whenever you log in, then do whatever it pleases.
I also optimize my time for commute to the office. I once worked a job where it would take an hour to get to work, and another hour to get back. After 3 months of that I realized how unproductive the entire ordeal was.

Lucky to have worked at places that have an office near downtown, so I can rent an apartment. I think it works well for me now, but I can see how this might breakdown if I ever start a family.

Not sure why you wouldn't learn how to drive a car. It is an essential skill that every adult should know. It also allows you to travel more, there are beautiful places in America that would be absolutely awful to reach without a car.
Htmx is a great front-end library, but its x account is full of memes
The first time I saw their X account I wasn't sure if it was serious project or not. Is this a valid marking strategy?
There are no blog posts on the controlplane side, so I cannot really share any reading materials with you. Thanks to the NDA, I cannot really share the product’s name as well. However, considering the nature of sidekiq with ruby + postgresql, you might guess which of the products is powered by sidekiq :)
Sam Kriss's Review of Walter Isaacson's 'Elon Musk'
Sure we can build more weapons, do social experiments that mostly fail and burn tens if not hundreds of billions with 0 or almost 0 returns, plenty of examples around. Heck, things like biofuels in EU have clearly negative overall impact yet we burned cash on it like there is no tomorrow.

This is not taking budget from other scientists who will have to play with rocks for next few decades, the whole article sounds like an envy of rather weird folks ("Munich Center for Mathematical Philosophy" is really not the best places to ask such questions).

Overall, one of better uses of public money I've seen in past decade.

> Because of the extra radiation generated by the machine, it would need to sit twice as far underground as the Large Hadron Collider.

Since I live nearby, happy to see the proposed circle is mostly in France, relatively far from our place. Of course if some small black hole is created by accident it may not matter much.
Which leads me to wonder, what would be the reason for doing that rather than just using the system WebView?
Mechanical keyboards should be banned in office.
Yes, I can certainly see how such an argument can be made.

I can think of counter-examples like India, which had been antagonistic towards the US for decades. This was especially apparent when the US provided naval support to Pakistan during the 1971 Indo-Pak war. And yet last I checked, India hadn't been erased from the surface of the Earth.

But my original point stands - Pax Americana was very much worth it for America and her allies. The cost of the military budget used to maintain Pax Americana paid for itself.
I'm not educated in molecular biology. Will this device enable DIY enthusiasts to sequence their entire DNA, the whole 700 MB of it, at home? Or is the device only able to sequence small chunks of the DNA?

Is the device able to sequence DNA with minimal errors?
having used a candybar nokia during early 4g smartphone era, things like not being able to find your way in a new city and paying unreasonable price for international phone calls are not something i'd like to go back to.

i believe that once you disconnect social media and games from your phone usage, you take care of 99% of the issues people have with modern devices. i understand that doing that also is a big task, but so is going back to flip phones of the past.

personally i am plenty distracted without my phone, and i get my fair share without using it a lot. but in my profession i cannot afford to get rid of all tech altogether. i hope there are ways people go about it.
Founder profile: started out as a rates trader at Goldman, and then founded RabbitMQ and sold it to VMware.

King.
"Recent stuff" has little to do with the hypocrisy of this statement.
EU right to repair: Sellers liable for 1 year after products are fixed
Can you explain how that makes it ironic?
Zwift must have a lot of seasonal variances for their revenue. I don't no anyone who is using swift during summer times. It's probably hard to build a recurring revenue business around it, because you have to fight for the users every season again against (cheaper) compatitors.
Dear LineageOS and other third party Android OS users (including waydroid),

Google wages a war against us using 3rd party apps as a proxy. They are pretending that Play Integrity API (previously SafetyNet) protects the user, and recommend it to app developers.

What can you do against this? Before trying anything to circumvent PlayIntegrityAPI/SafetyNet, start by opening a ticket (sending a mail, adding a comment on play store, whatever) to the app maker that your using, and tell them you use a more secure OS than the one provided by your manufacturer, and that their use of Play Integrity API reduces your personal security. If even 10% of 1.5M LineageOS users open tickets, that should be enough to actually get back to a manager of said app that will actually decide what to do with it.

As some small proofs that Play Integrity API IS NOT about security, but about enforcing Google/OEM monopoly on the device you own:

- Play Integrity API didn't care about permissive SELinux for a very long time (even though that's trivial and non privacy-invasive to test), I don't know whether it's still the case.

- https://twitter.com/MishaalRahman/status/1752734296400379957 Play Integrity API punishes you for using a custom kernel

- To this day, it is still trivial for an attacker to bypass Play Integrity API. It has became annoying for the community who would rather do useful stuff. A full-time attacker just need to spend their day scouting for approved firmwares and re-use them

- I can extract the "key attestation" certificate (""ultimate level"" of Play Integrity API) of a Google-made device (a quite recent device, it has been upgraded up to Android 13), because real security is hard, and this key is still valid. Of course most other OEMs are worse in that regard, so if it's doable for Google-made devices, imagine what an attacker can do to simply target the weakest OEM. (hint: they simply publish those certificates over the internet)

tl;dr they spent all their headcount on enforcing that the firmware the user is using is the google/oem one, and none on enforcing the security of the firmware.
Exactly.

Electron is just evolution at work. The OS vendors had decades to fix their system UI frameworks and make it easier to write cross-platform UI applications.

But they didn't because vendor lock-in was always more important to them, and that's how you get Electron. You reap what you sow ;)

Electron has gone a bit overboard with the 'everything but the kitchen sink' philosophy, but the basic idea of a platform-independent application development framework is sound.
Datenna| Principle Data Engineer| On-Site Eindhoven, Netherlands – Hybrid
At Datenna, we merge China expertise with groundbreaking technology, creating a unique software platform that empowers governments with unparalleled insights into China's techno-economic landscape.

We are looking for Principal Data Engineer who will spearhead the design and implementation of our next-generation OSINT engine and the underlying data processing and storage infrastructure.

Read more: https://jobs.datenna.com/o/lead-data-engineer

For all vacancies: https://jobs.datenna.com/vacancies
Also much more respect to the employees. They left their home because of geopolitics and work.
This was shared on HN a couple months back, I found some nice games there: https://nobsgames.stavros.io/
Well it all continues as per laws of physics just as we expect. No surprising effect on macro world.
Why does the border control want to cut the fences to begin with? What's wrong with the official paths for asylum seekers? The right to seek asylum doesn't have to mean the country has to help them cross by illegal means. I live in a country where we tried that, doesn't help anyone least of all the migrants forced to live in underground communities. Incentivising chaos only brings more chaos, which may even be the goal.
but mostly in the us
Degunking and delinting the rollers for the mouse balls was a daily preventive maintainance routine for the Macintosh computer rooms we operated on campus in the 80's.

The MS-Dos PC rooms had no mice yet. There we had to turn off the machines in the morning as praksters loved to set the whole room looping explicit ascii imagery on the greenscreens over night.
Hmm so what is the answer :
current plane technology
current prices
how close does it have to fly to known launch site?
I would either go with a pwa approach and your favorite front-end technology like Angular, Vue or React or just go native with Kotlin. Everything else will always be a trade-off like Flutter, ReactNative etc...)
> For example, a bundle may provide 200 minutes of calling during a 7-day period for a discounted price. To avoid losing unused minutes, we learned that as people near the end of their bundle’s time period, some use available minutes to call back unusual numbers in their incoming call-log, which they had not answered.

This probably explains the reason for the accidental social ties.

I lived in a country where mobile phone calls were expensive relative to wages. Much of the time you'd receive a call that only rang once. The caller would hang up after only a single ring. This signalled they wanted to talk to you but didn't have enough "talk time" left. If the caller was a contractor or someone on your payroll, they would almost always employ this tactic to keep their costs down.
Keyboard accessibility could use some love.
I respect your PTSD. And it does sound like that management would be able to burn out developers with any kind of methodology.

I mean, you are lucky they were not into SAFe or you might have quit the field altogether.
OKRs are fine, sadly idiots fill it up with content
What do you do instead to drive non-trivial goals that take a quarter or longer to accomplish?

How do you plan the work? How do you motivate yourself and your team? How do you show progress? How do you communicate with other teams on whom you depend to hit your goal?

OKRs are one tool to do the above. There are others. Curious how you do it.
> I also heard a version of the story that they didn't settle at all, because John Cage's publishers couldn't prove which minute out of the 4'33" was copied.

This seems wrong on its face; If I steal the chorus out of a song where it's repeated multiple times and release it as my own, the artist might not be able to prove which instance of the chorus I used.
That’s great. Having honest, down to earth managers is very refreshing.

Important to note this does not make good advice / expectations - most bosses will not be as understanding, and the job you were happy with is now filled with resentment for not getting a raise.
Seems just like a survivorship/small sample bias to me, I'm sure I've had the thought that it's funny X is used at such and such places with a name like that before.

But such naming is niche, and a new project making it big like that is too. I'm sure it would make for an awkward conversation getting it approved, but ultimately it doesn't really matter does it. Funding/sponsorship on the other hand, I can definitely see it being a consideration.
It’s like tailwind except that you get type definitions and don’t need to memorize a bunch of random Tailwind specific shorthands. I particularly like it since I can compose styles robustly while not losing the visibility of what the actual HTML is in our UIs since we don’t need to make wrapper components. It’s agnostic to the underlying framework, is built at compile time meaning very light runtime JS impact, and basically the best solution I’ve found.
Well you gonna be excited when you learn about proteins.
Hey, one of the devs of Aerugo here! Thanks for feedback!

You are absolutely right - at current state, this is not a safety-critical OS, however the project doesn't claim that explicitly - it's "safety-critical applications oriented". It's a small detail, but you're right to point it out.

The lack of mentioned documents is due to the fact that this RTOS was not qualified for any criticality. And this is due to our resource constraints for this project - ESA provided us with a year of time and funds for ~2 full-time developers. It would be physically impossible to create this project from scratch (as we did) and qualify it, even for crit C, in that timeline.

We would love to do a follow-up activity on Aerugo, and one of our ideas was the qualification (maybe not for Crit A, but B would be nice for an RTOS). However, that's a thing for the future, and we don't know what exactly will happen next with Aerugo yet - we're working on it.

I'd also like to point out that we have designed this system with safety in mind - we've been regularly analyzing potentially problematic design choices and code with that in mind (especially unsafe code and functions). There is a ground for criticality qualification, it just needs a lot of work to make it a fact.

PS: We do intend to release our "Lessions Learned" report in near future to the public!
Octopussies, actually
I enjoyed the attention given to Herculaneum in a computer game called Rome: Pathway to Power (released in 1992). You start the game as a slave who has to escape Herculaneum before Vesuvius erupts. I loved the game as a kid. It's sort of like an isometric immersive sim (with a clunky interface). It got me interested in ancient Rome.

I hope to visit Herculaneum some day.
the irony is that nobody at google really uses them, afaik
It doesn't really matter as it is open source now
General Relativistic Hydrodynamics in Discrete Spacetime
I haven't read this yet (and my GR chops are almost certainly not good enough), but Gorard claims that the Wolfram model of physics may make predictions about material accretion around a spinning black hole.

Discovered from Gorard's tweet https://twitter.com/getjonwithit/status/1754678751403589770

> Featuring a tentative(!) astrophysical prediction: rapidly-spinning black holes in discrete spacetimes accrete material slowly and more unstably than in continuous ones. And perhaps we might be able to observe that...
Things are different when you have the mainstream media on your side. Case in point is the fact that you believe people were trying to overthrow the government without weapons.
I'm having issues with keyboard navigation on Firefox:

* Typing a few letters then pressing tab closes the dropdown instead of selecting options in the dropdown

* when the text box is selecting, pressing enter does nothing; I need to press tab then enter to submit the answer
If the metric is stupid, then you're right that it is a waste of time to hit it.

Part of the OKR process is defining meaningful goals (Objectives) and ways of measuring progress towards them (Key Results). If you do this part decently, the metrics won't be stupid.

Once you have metrics that are not stupid and your team agrees that they will advance you towards your goal, it's kind of smart to do the work to move the metric. Not at the expense of everything else, but if this goal is deemed a priority, then it's OK to put it ahead of many other things.

Being blindly data-driven can be toxic. Not measuring anything means you might be flying blindly. I've seen it first hand.

There is a lot of value in combining objective measurements with sensible management.
The “Microsoft compiler” is exactly what tsc is, and is exactly what is bundled with Deno. Sorry if that wasn't clear.
I don't know how it is with Maori, but I have seen many lament that for Sami (it's Sami people's day, by the way! Lihkku sámi álbmotbeivviin!), people are afraid to speak it because they don't have enough experience and are afraid to do it wrong.

It's not an entirely unreasonable concern that a language should get influenced/corrupted by a bad machine translator that is just good enough that people can pick up its errors. But humans can easily pick up errors from poor speakers as well... I think that as long as the prestige resides with experienced human speakers, the risk isn't great.
Saw this, they do massive maintenance every 5 years and do tours in various underground parts.

First of all, I never saw any place better organized, not a smidge of dust, thousands of cables arranged perfectly. And then you get to collider/detector part which is this massive maybe 15m wide long cylinder, opened completely, and it looks like from sci-fi novels.

Just the scale and evident competence of building such a hyper complex unique thing... I live in Switzerland, pretty used to well organized stuff but this was next level.
Category 7: Hospitals and skyscrapers

Category 8: Small continents

Category 9: Other hurricanes

Category 10: Your mom
Who cares how other people see it? This always messes me up to. I want to place it down with the logo correctly orientated for _me_, the owner of the device.

Like you said, once I flip it up and its wrong, I won't be able to see it as I'm using the product.
That's what happened, but if I remember correctly, it was supposed to be an entirely new engine. I had a lot of hope for it, as the demo looked really promising at the time. It really was what Mozilla needed to get back on track, because to be honest, Firefox was pretty sucky when compared to Chrome at that time. I also liked the idea of inventing a whole programming language for that purpose (Rust), it reminded me of C/UNIX.

In the end, Firefox got better, and we have Rust, a great language on its own, but I think it could have been even better. And I was particularly disappointed when Mozilla laid off the Servo team, I feel they let go of the most important thing they had.
Why "but" rather than "and"? Do memes make it a worse front-end library?
From that thread, a related post from last year:

Reflecting on 18 years at Google (2023)

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

https://ln.hixie.ch/?start=1700627373&count=1
Often OKRs are forced into engineering teams and the result is that they don't deliver value. However, there are ways of doing OKRs in engineering teams as well.

I recently wrote up a little account of how I used an OKR around linter errors to get a team to take quality more seriously. It worked surprisingly well: https://koliber.com/articles/reduce-tech-debt-with-okrs

It's not that OKRs such. It's that they are often done in a ham-fisted fashion.
You won't have to worry about different engines and their edge cases. But at that point we are back to electron, but in rust.
The article reads like the authors think the language is dead and should only exist in a museum. A living and thriving language is going to change over time and develop dialects and accents. "Our model describes the one true language, and anyone who doesn't pass our test is wrong" does not allow for that
It depends.

Large enterprise clients would never let you own the IP. But those gigs are usually pretty profitable because they're large and they can afford high rates.

Small clients mostly don't care unless they are planning on selling the software.

And mid sized clients it seems to depend on whether or not they see it as a cost savings measure or competitive advantage. If it's the latter you can usually justify higher rates.
Nice, enjoyed seeing how I don't know the political map as good as I thought.

If I click "Check" without typing anything and then click "Correct" my score goes up.
EdenFS Linux building now as well, problem was some minor python 3.8 incompatibility in a test
Not sure what you mean by "fine", but OKRs in most cases can't work, because a key result means a number, and numbers can be gamed.

1. Frequently you can't know ahead of time what is a good number to have. You can only pretend to know what is a good number, and people do pretend as if it can be done and everyone plays along with this bs.

2. You can get to that number in multitude of different ways, in many cases by not actually making the product better.

3. You might in the middle of progress realise that the path should be completely different, but now you are tied to that OKR.

They just don't make any sense at all, and at best they can take focus away from what should intuitively matter. "I know I should do X to actually benefit the product, but I do Y because this is what gets us to the Key Result.".

OKRs can be actively harmful because they take focus away from what matters, and you can't put a single number on those things.

OKRs when planning also focus you to plan poorly, again instead of figuring out how to conceptually make the product better, you set those arbitrary metric restrictions which can only stray you away from what you should actually plan to do.
I think most of all this is a testament to just how much raw talent and intellectual potential is locked up in the winner-takes-all dynamics and shortsightedness of the stock market. Imagine the exploits and results in a world where everyone had the baseline resources and opportunities for extra funding for pursuing niche interests.