skysight-inc/HackerNews huggingface dataset:
I am currently working on a control system from low-level, bare metal to high-level HMI/GUI for a cool, new hoist primarily for shows, but with applications in other industries. Shooting for high-integrity, safety-critical certifications above and beyond similar machines. I have been doing electromechanical stuff since the late 80s/early 90s. Hydraulic, pneumatic, electro-mechanical, air muscles, etc. I did animatronics (Christmas windows back in the day in NYC). Before Arduino, I went from purely relay logic circuits to the Parallax Basic Stamp in the 90s to Pic chips, to other 8-16-32-bit chips. I am, we are, looking for an Ada/SPARK2014 software engineer/developer for this control system. Any HN'ers with SPARK2014 experience? I've reached out to AdaCore too. I have been a CNC and manual machinist (built my own CNC router table machine in 2002), welder, technical diver, industrial rope access tech (SPRAT certified). I am currently enamored with Cyber-Physical Systems (CPS) as something more than mechatronics. I have been riding motorcycles since the 80s, but now the highly integrated software on motos is next level. My current bike (2021 KTM Duke 890R) has power throughout the gears/rpms and amazing ride modes with supermoto ABS settings, and I am looking at the new Ducati 698 Hypermotard. The Ducati's software uses inputs and inertial motion sensors are integrated to allow beginner/intermediate riders to more confidently wheelie or do supermoto slide outs of the rear tire. Human-Machine Interface taking on a whole new meaning without the cyborg trope.
I think it does, at least until it produces better work than humans on average/median. We have enough trouble spotting bugs (including vulnerabilities) before they hit a beta or production release as it is. If the same diligence went into checking machine output, I think we would get worse code because in the scenario where you wrote it yourself (I'm imagining a patch here, not a whole project), you've got a good understanding of what you just wrote: how it's meant to work, why that method works, what the intention was with every statement. With machine output, you have to build that understanding before you can validate its work, and with the state of the art as far as I'm aware, the validation step really is necessary.

It is also a matter of the universe versus the software engineers. With the universe striving to make better idiots¹ who can all tell a machine what it should do in natural language without needing ~any skills, it would be the task of other people to mop up their potential mess. (Not saying that prompt engineering is a skill, just that you can get started without having acquired that skill yet.)

Open source contributions are a benefit in several ways: it looks good on your CV, you feel like you're helping society, or perhaps you just want to fix a bug that you're personally affected by. I can see legitimate motives for using "AI" as seven-league boots, but the result where someone else has to do the work for you in the end seems immoral, even if that someone can't tell if the person was just unskilled or if it's machine-generated ("AI") output

¹ https://en.wikiquote.org/wiki/Rick_Cook#The_Wizardry_Compile...
Let me assure you, Apple is capable to produce a cheaper device than any other smartphone vendor in the world today.
Satya Nadella is an interesting counter example.
On iOS, you can quickly ditch the current FaceID/TouchID session, and require a passcode for the next unlock, by holding power and volume buttons simultaneously for several seconds until the "power off" screen appears.
The link highlights two photo data scrubbers (one metadata, one visual redacting) and a file shredder program. Not much here to truly boost your privacy considering the way the internet works these days.

Maybe if this fits your use profile this might be a helpful link, but for me it was useless. You'll probably get a little farther on privacy if you use full disc encryption, don't install or use Google products, and install an adblocker.
As you say, NLnet funds many projects. We (I work there) started off doing so decades ago from our own resources as the first ISP in the Netherlands. These days, most of the funds are provided by the EU, governments and donations. They ask NLnet to handle the applications and guide the selected projects in achieving the benefit for the users of the internet that were touted when the project applied for funding.

The BlueHats prize is different. It's a recognition for past achievements for FOSS projects that are not widely known by laymen, but are indispensable in the functioning of ICT in government.

DINUM is partnering with NLnet for their expertise and to have wider reach for getting nominations and publicity.
I can't understand how you can say that when it's transparently false. There's an enormous quantity of research on ethnicity and genetics. Researchers have found all sorts of correlations. Even common sense tells you things about eye color, hair color, etc. but it goes far deeper than that. It's more precise than classic race but both are still valid classifications.

You must also think scientists don't believe in the distinction between planets and dwarf planets, or even stars. Yes it's an arbitrary classification, but it's still useful.

You're thinking is just like the people in TFA. Rejecting some science for arbitrary and nonsensical political reasons. You've replaces dirty Jewish science with dirty racist's science.
Did they run out of funding/money? The press release doesn't give a clear reason.
What part of the Fifth Amendment do you believe applies here?
Could be that as well. Maybe someone else will chime in with their numbers so I can get a reality check. I'm doing everything almost manually right now so it's not efficient.
Similarly to Google keeping Android open source, so that Apple wouldn’t completely control the phone market.
The path that people think Multics followed.

What is left out is that Project MAC was ridiculously ambitious. As in, most operating systems, and probably all multiuser/interactive ones, have Multics in the "tree of inventions" behind them.

The issue is that Bell Labs wanted something smaller and more immediately usable and ultimately they got it by accident because few programmers had seen the future and started to miss it.
It has it's own section in the trains part of Douglas' site:

http://www.douglas-self.com/MUSEUM/LOCOLOCO/brennan/brennan....

and

http://www.douglas-self.com/MUSEUM/LOCOLOCO/scherlgyro/scher...
I'm pretty sure Andy Samberg and Justin Timberlake did that at the start of their song about threesomes they did with Lady Gaga.

And if I recall correctly, one of their mothers was played by Susan Sarandon?
Duel.com hiring for Cult Lord position
Thanks for the details. Would you agree to contact me on Signal using the link in my profile?
I would argue that having so much capacity for memory retention that our brains can spare space on frivolous things like that is marvelous in and of itself. Retention of information is arguably as important as the capacity for information. Humans passing down stories for generations, then inventing the written word to preserve ideas for years and year, is itself a beautifully complex thing.
FreeBSD

If I was to be fair, it does everything else that any other Linux distro does, apart from Steam without pain.
amazing / sad / deeply touching story. Thanks to author for sharing!

maybe, unrelated, but I have this burning question- what was the reason for Kadin's (untimely) death and how that happened?
What more did he do?
The keep searchable records so that criminals get to see a judge when their sentence finishes?

Or they keep local records that nobody looks at or know if they are correct?

Because if it's the first one, kudos for whoever created that system. Plenty of countries fail with way less prisoners/inhabitant.
Doom9 sprung to mind
The main value is that you can pay money to have decent network and storage with the hyperscalers. Which none of the intermediate-size cloud services offer to my knowledge?

> I could spend a few weeks (months?) compiling

why would you compile infra-stuff?! Usually this is nicely packaged...

> random GNU-certified "alternatives" for Cloud Services but

For application software you have to take care of this also with the cloud or are you just using the one precompiled environment they offer? Which cloud services do you need anyway - in our area (MatSci), things are very, very POSIX-centered and that is simple to set up.
I have been thinking of conferences, this sounds like a dream-like setting for this. I'm early in my journey but last I checked those are THOUSANDS of dollars to attend. Did you have some pointers on hacks to get in for free? Which orgs?
Also keep in mind that it's still a proprietary model. Meta gets all the benefits of open source contributions and testing while retaining exclusive business use.
Again, if the Jews' action can be classified as genocide then so can your actions, everyone is guilty of genocide simply for existing. Genocide has actual meaning and isn't simply empty rhetoric used by sophomoric college students. Making the claim doesn't make it true, it simply shows that the people making the claims are guilty of extreme hate.
It’s not even a false name if they’ve incorporated that way.
The major reason insurers are leaving is because California has been considering enforcing Prop 103 recently, which has begun spooking insurance providers into leaving.

The Insurance Commissioner is also an elected position now, so there is an incentive for them to succumb to populist pressures to climb up the poltical ladder (eg. Governer, Senator, Congressmember)

Edit: listen to CharlesW. I'm incorrect on the fact that it wasn't enforced until recently
At a previous job we did something similar but ended up having workers first poll another table to determine which tenant to query against. We called these items tokens and they represented a finite amount of dedicated thread time for processing a specific tenants’ queue.

What this looked like was a worker thread would first query the token table for which tenant to process eligible tasks from, and then update the token to take a timed lock and during that time would solely process eligible tasks from a specific tenant.

This has some nice properties:

1. You can scale different tenants using different amounts of tokens which means different but controlled amounts of thread time.

2. It allows for locality on your worker thread. Within a specific tenant the processing was usually similar so any shared resources could be cached and reused after polling for additional eligible tasks from the tenants queue.
At the bottom:

> In complex sales there are multiple product/market fits – Users, Buyers, etc. — each with different criteria

This is definitely something that you need to know, if it applies. And if it does, you should definitely not assume that the people in charge of deciding whether to renew are the same as the ones that decide to buy!

And while you are at it, you should be looking for other users at that organization. Call it "getting more value from your subscription" or whatever, but the more groups/departments you can get to use your product (even if not heavily), the harder it is for the money people to pull the plug. When the users aren't the people paying and the people paying aren't the ones using it, all sorts of complex dynamics come into play.
In theory sure, in practice no. Laws and precedents stand for long, long times, including this one which is not even close to a groundbreaking or controversial ruling.
In response to your first question, there are notable differences between the NeoPrep and Callisto, and between Voltrax and Callisto.

NeoPrep / Voltrax vs Callisto:

- NeoPrep and Voltrax primarily use electrowetting to manipulate samples and droplets. In contrast, Volta Labs' Callisto uses electrowetting where appropriate and employs other traditional and non-traditional technologies for different droplet manipulation operations. For instance (in the linked video), we demonstrate the use of a standard pipettor for transferring liquids from tubes on the electrowetting surface in our video.

- While NeoPrep and Voltrax have limitations in certain workflow capabilities compared to Callisto, they also surpass Callisto in other aspects. For example, they have lower throughput and lack batch level flexibility. Unlike the Volta Callisto system, these two systems cannot process raw samples such as blood, saliva, or cells. However, the Volta Callisto system can extract DNA/RNA from raw biological samples, including blood and saliva. On the contrary both the Voltrax and NeoPrep systems can perform onboard/on-chip PCR and measure DNA quantities using optical sensors, capabilities that the Volta Callisto system currently lacks.

- The NeoPrep system used a PCB cartridge which had significant robustness issues, and the entire PCB was disposable. Similarly, the Voltrax system's LCD display is disposable after each run. On the other hand, the Callisto system uses a simple plastic component as the disposable.

- User interaction with NeoPrep and Voltrax can be quite messy, requiring users to fill oil through channels and dispense reagents/samples through small holes. The Callisto system, however, accepts standard tubes as inputs and outputs, eliminating the need for users to learn new techniques for loading/unloading samples into the system.
Are you aware of research that studies cigar smoking specifically?

I’ve never been a cigarette smoker but enjoy a cigar a few times (2-3) a week in the summer (4 months or so out of the year). Obviously not smoking is better, but I’d like to have hard data what kind of risk I’m taking.

Ex: is the risk similar to two drinks a day, is the risk similar to enjoying a bonfire or is it similar to an entire pack of cigarettes.
I don't want to waste food, but I need to regularly remind myself that overeating is also wasting food.
We helped organizing the prize. BlueHats are civil servants who promote free and open source in public institutions. French BlueHats wanted to place FOSS maintainers in the spotlight because, as is well known, too few resources go that way. So they partnered with us to organize the prize together.
Stock Android doesn't have a shortcut to disable thumbprint, to my knowledge, but it does require passcode on reboot. So a long hold of the power button would avoid this 5th amendment loophole.
small business retail in the San Francisco Bay Area has all but disappeared, it seems.. it apparently split during covid-19 lockdown into two -- "mega corporates" and "we just steal it and sell it at the local casual street market" .. with most things in between closing shop.. to be more complete, liquor stores with some retail items, and gas station chain stores still exist ..
Hey this happened to me too.

I never feel hunger just the effects of not eating.

My thirst mechanism is messed up too.

If it wasn’t for my wife I’d be a real mess.

I at least eat one good meal a day because she does!

If I get really, really stoned I’m talking 500 mg of thc level stoned, I can feel hunger.

But that isn’t conducive to a good routine!
The idea that someone can't or shouldn't focus on both exercise and diet is nonsense, as if you can't do both at the same time.
Are there really electrons? Or does observable phenomena simply fit with the theory of electrons?
After reading a sci-fi novel I really enjoyed, I emailed the author to let him know how much I appreciated his imagination, and received a rather lovely reply.

Absolutely didn't expect it, but it was really nice to get.

(Adrian Tchaikovsky, and his Children of Time series).
The only similar thing I know of on Android is that 4 failed attempts with an unknown finger disables fingerprint unlock. So I can lock my phone out in a few seconds using my middle finger.
This seems completely normal to me. They’re getting only information that any Walmart seller could see.

When I worked for Sam’s Club in my youth, which is owned by Walmart, we would send people into other local membership warehouses to check their prices on things, and they would send them to us. It got to the point where we knew BJ’s guy and they knew ours.

Who cares? When you run a business, you just assume that you’re competitors will figure out every little bit of information they can about you, and you will do it to them.

And this is actually good for the health of the system in general, from a consumer standpoint. You want all of the businesses you interact with to be as efficient as possible because that’s what lowers prices the most for you.

This is completely expected, uninteresting, and a giant nothing burger
'Water is more valuable than oil': the corp cashing in on America's drought
Emacs, with EXWM for most of desktop usages (float windows support suck)
They have a 2.6 if all 15 current reviews are included. I believe you're right about review-washing; negative reviews I saw a year ago appear to have been removed.
> while the domino "computer" did not specify the apparatus necessary to reset and execute the subsequent instructions

I don't see why it would need to specify this. Anyone who has played with dominoes knows you can set them up again. Why would anyone waste time stating something so obvious?
I really shouldn’t be engaging with this. Attacking me personally and calling me names is not the HN way.

However I’d like to clarify one thing. The World Court is used interchangeably with the International Court of Justice (ICJ). Googling “World Court” yields ICJ as the first result. Typing “World Court” into Wikipedia gives you the page for ICJ. In many languages (including my native tongue) this court is called the World Court.

I beg you to please show some curiosity, if you encounter a term you don’t know, it is easier to search the term (or ask) rather then to accuse the poster of idiocy.
How long before some court declares such practice equal to evidence tampering or obstruction?
Not if you log the seed of the failing runs
If you actually listen to how Zuck defines the metaverse, it's not Horizons or even a VR headset. That's what pundits say, most of whom love pointing out big failures more than they like thinking deeply.

He sees the metaverse as the entire shared online space that evolves into a more multi-user collaborative model with more human-centric input/output devices than a computer and phone. It includes co-presence, mixed reality, social sites like Instagram and Facebook as well as online gaming, real-world augments, multiuser communities like Roblox, and "world apps" like VRChat or Horizons.

Access methods may be via a VR headset, or smart glasses, or just sensors that alert you to nearby augmented sites that you can then access on your phone - think Pokemon Go with gyms located at historical real-world sites.

That's what $50B has been spent on, and it's definitely a work in progress. But it sure doesn't seem dead based on the fact that more Quest headsets have been sold than this gen's Xboxes; Apple released Vision Pro; Rayban Smart Glasses are selling pretty well; new devices are planned from Google, Valve, and others; and remote work is an unkillable force.

The online and "real" worlds are only getting more connected, and it seems like a smart bet to try to drive what the next generation looks like. I wouldn't say the $50B was spent efficiently, but I understand that forging a new path means making lots of missteps. You still get somewhere new though, and if it's a worthwhile destination then many people will be following right behind you.
Anyone know why a cop might want to do be able to do this?
As a descendant of italian immigrants, I am still struggling with that
I'd add this to the list of reasons why biometrics ≠ passwords.
Even though I started programming in 1978 (Commodore PET 2001), I avoided doing full-time IT or software work. It's always been adjacent to my work - embedded systems, CNC machines, robotics, animatronics - but I lost any appetite for going all-in after being an assistant DBA full-time for a couple of years. Computers and programming were always tools for me to use for other purposes. Troubleshooting code or wiring on a 45-ton underwater lift and then moving it just has a great payoff for me. I was a pressure junkie too. The show would have a technical fault, and it meant I was either jumping into a wetsuit and gear for a dive, or I was in the basement in front of a cabinet with thousands of wires trying to isolate and fix the fault while the audience grew understandably frustrated. Fortunately, we honed the system and these happened less frequently, but I have to admit in hindsight it really got my juices flowing.
> for their expertise and to have wider reach for getting nominations and publicity.

Got it, thanks for the answer! And hats off to you and your colleagues :)

> These days, most of the funds are provided by the EU, governments and donations

Donations sounds to me like either individuals or one-offs, but isn't it the case that various organizations send their profit to you per their bylaws? I'm thinking of places like SIDN and RadicallyOpenSecurity. Do you mean those by donations?
That's me! Thanks for pulling up the quote from long ago:

> "With his obvious technical skill, and his "cheat early and often"
attitude, Tim could have a promising career as an AI programmer
in the computer games industry. :)"

Instead took a path of security, authoring the TLS RFC and principal engineer in Google security. Thanks for the flashback.
Looked him up: https://en.wikipedia.org/wiki/Ernst_Stueckelberg

So update meme: "publish in a major journal or languish"
I recommend you download a copy ASAP: https://gdcvault.com/play/1034667/Tunes-of-the-Kingdom-Evolv...

Of course it did... GDC has the gaul to charge high attendance rates, pay the speakers NOTHING, and then put the video online behind a separate paywall (650$ for 12 months of access...). I don't want to hear about how much it costs to point a camera and hit record, many other conferences manage this without any problem.
It will be interesting some day if the line becomes blurred between "what you know" and "what you are" and you could be compelled to turn over something against your will. Because that boundary is if anything getting less clear over time?

For example, if your voiceprint were required to unlock your phone, but not a particular passphrase. Could you be compelled to speak (or just recorded speaking) general statements in order to unlock?
That's great! Thank you for the links.
and is responsible for building evil products to fund this stuff.

Apple photos and FaceTime are good products for sharing information without ruining your attention span or bring evil. Facebook could’ve been like that.
That case has nothing to do with the "pay or OK" question. The key issue there was "how Spotify handles the right for individuals to access their personal data."
The license is simply LGPL for almost all modules. Non-LGPL parts are not essential and / or can be replaced without too much trouble (onscreen keyboard). The 5D chess is an illusion created by the Qt Company marketing department - you can simply ignore it.
Awesome, thanks for the link!

"Left: The Brennan model, carrying Brennan's daughter on an aerial wire.
From a certain lugubrious quality in her facial expression, one has to conclude that the young lady was not entirely happy with her situation"
Yeah that's the goal here. Human-performant conversation. Going to unlock a lot of new capabilities for LLMs.

Go to the dashboard and make one, then you can call it on the phone and go on walks. https://dashboard.vapi.ai
If you trigger the side lock button enough to get emergency SOS it also cancels the current session.
I’ve no real comment on the seed oils, etc. but I don’t understand how someone can look at the “Animals vs plant based added fats and oils per capita” chart and conclude first that seed oils have increased in our diet relative to animal fats, and not the glaring fact that total fats have increased dramatically in our diets.
In the power menu next to "power off" there is "lockdown".
Between now and if that happens. Works today though!
And it's back up after 2.5h downtime.