skysight-inc/HackerNews huggingface dataset:
It's surprisingly convenient when you get used to it. A very large proportion of values are only used once, so if a function only uses a value once you can mark it as being linear in that argument and get the relevant guarantees for very little mental overhead. You can still pass any value you want to the function, the only restriction is that the function must consume the value exactly once. It's tricky to write performant functional code, but personally I find linearity tagging a small price to pay for salvation (see this article I wrote, posted here: https://news.ycombinator.com/item?id=30762281 ). (Note that GHC currently doesn't use linearity for any performance optimizations, this is just a promising possible route.)

One tidbit you might find interesting. Linear logic requires you use the value exactly once, but if you relax that requirement to "once or zero times" you get affine logic. (Values that don't have the any restriction on how much you can use them are called "exponentials".) With both linear and affine logic, you can pass an exponential to a function that's linear or affine in its argument – the only requirement is that the function uses the value in a linear or affine way. That's not quite the same as what Rust does, which I do find a bit annoying. What rust does is called "uniquenes typing", where a function can always do whatever it wants with any values it gets, but it can mark its parameters as "unique" and the caller has to make sure that any value passed as a parameter to that function is never used anywhere else. This is arguably the more useful of the two, because it means that you can mutate any argument marked as unique and no one can tell, but if you design a language around that you get Rust and I find Rust a bit less pleasant to program in than Haskell.
The macOS shortcuts seem like an easy thing to dismiss... but once you have bought into them, they are kind of thing that turn into a deal-breaker when trying to move away from macOS.

The dedicated Cmd key for most operations (which doesn't conflict with, say Ctrl+C in the terminal) is super-convenient. The consistency across apps is... something that you can't appreciate until you experience it. And the pervasive Emacs-like text navigation shortcuts throughout the system are productivity boosters. I like how someone else described the "right side of the keyboard" as "keyboard Siberia" -- I have not touched it for years and have not missed any of those special keys in minimalistic keyboards that don't have them.

Until I tried to actually move off of macOS last year. The different shortcuts on Windows were and still are super-painful. For months, I fought those and tried to use macOS-like shortcuts on Windows. You can see my AHK configuration here if you are interested in adopting something similar: https://jmmv.dev/2021/07/macos-ahk.html

Recently, though, and because that setup is problematic at times and because I decided to remove macOS altogether from my machine... I'm trying to retrain my hands and adapt to the non-macOS shortcuts. It's painful and I miss the macOS consistency a lot. On the plus side, however, after a few weeks of this on Windows, I booted into a FreeBSD desktop and could navigate the system pretty well :) Some more details here: https://jmmv.dev/2022/03/a-year-on-windows-shortcuts.html
Trains will beat a self driving semi truck every day. However, private railroads in the US suck.

Alan Fischer did a great job explaining this:

https://www.youtube.com/watch?v=_909DbOblvU&t=467s&ab_channe...
Sphinx Defense | Remote (US) | Remote OK | https://www.sphinxdefense.com

Sphinx Defense builds software to solve complex national security problems for America and its allies. Founded by engineers and technologists with deep experience across commercial and defense technology, we’re building a vehicle-agnostic communication infrastructure to enable satellite operators to securely utilize antenna networks and maneuver satellites in real-time.

To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/sphinx-defense

Here are our open roles:

- Principal Backend Engineer: https://jobs.lever.co/sphinxdefense/ef1ce343-4bad-4586-9e44-...

- Senior Backend Engineer: https://jobs.lever.co/sphinxdefense/ee5a6616-9ddc-4a7e-b6c3-...

- Senior Test Infrastructure Engineer: https://jobs.lever.co/sphinxdefense/4ad28959-a892-4192-9d8b-...

Tech Stack: Programming: Python, Flask, pipenv, JSON
Data: PostgreSQL, Vault, ActiveMQ
Infrastructure: Docker, Terraform, Ansible, AWS, Linux,
I was thinking along the same lines. Is an "atom" in Clojure like STM where the structure/reference is changed in a highly controlled manner?
> I expect the monitors will last around 3 years...

That's it? What is it that fails for you? My current monitor (a cheap Dell) is more than ten years old and it gets used every day.

I was thinking paying close to $2000 for a monitor isn't that bad because it's an important piece of equipment and they last a long time. It's the same logic I use to buy office furniture.
Their software engineers should, too. You don't actually have to get pipped, get pinged 24/7, and be ground to dust and thrown away to be a successful software engineer.
I'm not saying these people wouldn't take a six figure pay cut for a job they like better. Just saying a six figure increase can still be pretty significant and material.
Wow. Just checked the Apple site and this guy is right, Apple wants $400 for a height-adjustable monitor stand! Why? Also the web cam is crap? Really?

Okay, maybe it's not as bad as $699 for wheels for the Mac Pro, but that isn't right either! Consider that Apple is selling the iPhone SE for the same price that they're selling an height-adjustable monitor stand and less than for what they're charging for wheels! Can anyone explain this pricing?
“ There isn't a platonic ideal "Apple" if that's what you mean by emergent phenomenon.”

Sure there is, that’s what DeepMind showed us with how to find cats in images :)
Easily my favorite essay of the year. Unique, informative and casual in the way sitting around a table listening to an engaging guest tell tales and the visualization works immediately. Count me among the fans of this piece and author.
I think it's worth repeating this:

While there are platforms with better and worse hardware sources of unpredictable bits, the problem with Linux /dev/random isn't so much a hardware issue, but rather a software one. The fundamental problem Linux tries to solve isn't that hard, as you can see from the fact that so many other popular platforms running on similar hardware have neatly solved it.

The problem with the LRNG is that it's been architecturally incoherent for a very long time (entropy estimation, urandom vs random, lack of clarity about seeding and initialization status, behavior doing bootup). As a result, an ecosystem of software has grown roots around the design (and bugs) of the current LRNG. Major changes to the behavior of the LRNG breaks "bug compatibility", and, because the LRNG is one of the core cryptographic facilities in the kernel, this is an instance where you really really don't want to break userland.

The basic fact of kernel random number generation is this: once you've properly seeded an RNG, your acute "entropy gathering" problem is over. Continuous access to high volumes of high-entropy bits are nice to have, but the kernel gains its ability to satisfy gigabytes of requests for random numbers from the same source that modern cryptography gains its ability to satisfy gigabytes of requests for ciphertext with a 128 bit key.

People looking to platform hardware (or who fixate on the intricacies of threading the LRNG isn't guest VMs) are mostly looking in the wrong place for problems to solve. The big issue today is that the LRNG is still pretty incoherent, but nobody really knows what would break if it was designed more carefully.
> simple GPS

Excuse me, but when did pinging multiple satellites thousands of kilometres away (in orbit) become simple?
Markov chain Monte Carlo is incredibly useful and widely applied.
Do internal hosted versions not have auth built in ?
The way I see it, a Patriot loves their country and wants to see it become the best it can be. They recognize its flaws and want to improve it to make it the best country in the world to live in. They see people immigrating into their country as a compliment.

A Nationalist already thinks it's the best country in the world, and considers any criticism to be traitorous. They think being born there makes them superior to everyone else in the world, and doesn't want the country to be dirtied by immigrants.
Thanks epberry!
worst. negotiators. ever.
Still, why plain text? If the goal is “wrap it in UI” why a new white space, special characters.

Why not YAML or JSON and the vetted libraries to read and write the format?

As a user I don’t really have any concern with what underlying data format and structure it stores things in. I want to manage my todos!

This could be an SQLITE file for all I care.

Software engineering should be about more productive UX, not flexing one’s ability to parse arbitrary syntactic art.
People say it is blurry but I think I have pretty good eyes and do a lot of pixel peeping and don’t really see the issue. I don’t think I’ve ever run macOS at the native resolution because things are just too big, with the exception of my 1080p monitor.

Does blurry mean something other than blurry?
Can't believe I'm seeing this downvoted on HN. It's the absolute lowest common denominator of internet common sense.
Your links only shows two (of which only one is in stock)...
Very cool.

Guess I'll have to learn WebAssembly if I want to write something fast like this.
NYC is one of amazon's largest markets, and this is the biggest warehouse in the city. There are 8300 employees in the bargaining group which doesn't include management, engineers who do repair work for the robotics and so on.

They cannot afford to close this shop, and it's obviously playing a big role as to why this location has successfully unionized while the location in Alabama has not.
It's pretty interesting that the most "polarized" judges still only disagreed 34% of the time.
It makes sense considering his personality: https://www.youtube.com/watch?v=5CPs7f7kYHA. Observe his body language in the first few minutes--the way he sits, where he puts his hands. He's a classic bookish introvert. He opens up as the interview continues, feeding off the interviewer who is a former law clerk and personal friend. But you can see why he might be reluctant to jump into the fray of oral arguments, where people are rushing to get a word in edgewise. (As an aside, I recommend anyone to watch the entire video. It gives a great deal of insight into his personality and thought process.)
Can birds tell a male just-hatched chick from a female? I don't know that I've heard of that in any bird. I guess I don't even know how you could test for that. I can ID a typical mature rooster from across the yard. It's the babies that are hard.

Crap, I can't tell a human baby's gender just from the face. The secondary sex characteristics show up closer to puberty pretty much by definition.
Matician | Palo Alto, CA | Full-time | Onsite |

https://matician.com/

Positions: Mechanical Engineer; Technical Recruiter; Sourcing Manager (Electronics); Robotics Technician; Operations Analyst; Technical Program Manager; Firmware Engineer; Linux/Embedded Systems Engineer; Computer Vision/Machine Learning Engineer; Platform Systems Engineer; iOS Engineer; Speech-to-Text Engineer; SLAM Engineer; Controls Engineer

Matician is bringing Level 5 autonomy to consumer electronics for in-home use. We're a small team (just over 40 full-time) led by repeat founders (Mehul Nariyawala and Navneet Dalal, inventor of HOG).

Our user-first mentality is bringing autonomous robotics into the home to solve existing, real-world problems. We're building products meant to be incredibly useful first, and cool second!

Apply via our website above, or send resume and a blurb to exec@matician.com and let me know you found us on HN :)

-April (Talent Lead, Matician)
Please, stop posting this every 2 days.
Did you consider that he is an idiot?
Why not just put it back into the ocean? Obviously, some distance away from your inlet.
Ask HN: Risk with cold DMing on FB / Instagram?
Does anyone have bad experience with that? Do people get banned for this?
> Can anyone explain this pricing?

Greed?
I nearly got phished by Citi recently because their call center gave/sold my info to a phishing network.

I had called their support line to dispute a charge, spoke to an agent for a bit, and they put me in the dispute queue, and then hung up on me after 20 mins waiting. I call back, repeat the process, wait 20 mins and got hung up on again.

Then an hour later, I received text message telling me that my Citi account was frozen, with a (phishing) link to reactivate it.

I had called Citi using a new phone line (not linked to my existing Citi account), so for the phisher to text this new number means that the call center must have leaked it soon after intentionally hanging up on me.

It’s possible that my number was randomly targeted, but the timing was very very suspicious.
When Cloudflare Workers unionize, that will be world first ;)
Not only, some users in our organization have received an email announcing them the password reset and we are using gitlab.com.
Fireside chats are a pretty common segment at conferences or smaller meetups and it's the opposite of pompous. I wouldn't really see it as them trying to look like a commander.
Cold-starting a #3 ESS Telephone Switch
A simple illustration of how it could be useful: Search and rescue teams.

Somebody notices my car parked there with the whiteboard laying on the dash saying "Griffith Shadow 3/24". Any responsible hiker seeing that is going to call it in.

The search and rescue team will look at that whiteboard and note the label tape at the bottom with various bits of information. It should be obvious that I'm inviting search and rescue to use the information printed there, why should a judge be involved?

(And the S&R guys will know it's probably serious--from reading that board they know I should have been able to call for help.)
I don't know, this resonated deeply with me. I had a crippling game addiction that got turned into a very productive programming career, and giving up that dopamine hit was critical in making the change.

I've had this discussion with a few people: and afaict for some folks it's not actually an addiction, but a passion. I think the difference lies in whether you ever have the thought: "I wish I was doing something else right now", and then continued doing what you were doing. It comes down to whether you're in control of your own motivation and time.

Hobbies are great, and video games are a perfectly legitimate hobby, for some. Just like some people can casually do cocaine and not think about it the next day. For others, it's a different story.
I very much agree. Every worker should unionize, for the good of us all. Far too much power has been ceded to companies pushing for abusive working practices, that are now largely culturally normalized.
This sounds super promising! I love jpop and kpop!
If the national review doesn’t count as the usual crowd, I don't know who does.

https://www.nationalreview.com/corner/the-scottish-governmen...
Certainly, it is the cancelers who are most upset when their behavior comes back around and bites them in the behind.

Do you also have a problem with robbers being punished by the justice system and having their ill-begotten spoils returned to their rightful owners? It’s really no different.
Not sure what the reasoning is, but off the top of my head: storing a timer per request is a non-trivial (and flat!) burden on the CF server, while proof-of-work puts a burden on the client proportional to how hard they're hitting it.
Reminds me of the Terminator when he commanders the tanker truck and pulls up the schematics by scanning the shift lever.

They should have had a throwaway scene where he tries to steal a Deuce from an armory and it comes up, "File Not Found."

Or he's throwing errors and has to reboot himself trying to find 4th.
NATO = US Military

I'm amazed that some people can't seem to wrap their heads around why Russia might see it as a threat.

Would the US see it as a threat if the Chinese military moved weapons, people and military training into Mexico? Or if the Soviets had tried the same with Cuba during the Cold War?

I think some people just see us as the good guys because of course we are. But everyone tends to see themselves as the good guys...
interesting, I also happen to switched to vscode to manage my notes and todos. I use Todo+ https://marketplace.visualstudio.com/items?itemName=fabiospa... for managing my todo list, what I like about todo+ is that it has simple formatting and I'm able to track start and end time of the task, it also has this little counter at the the top of the list to track finish/total tasks.
I have my own informal format that doesn't use the [], just single characters

- this is an unstarted todo
/ this is a started todo
x this is a finished todo
~ this is a todo I'm not going to do

It works well for me.
I'm not entirely sure what the OP meant, though if you asked me "list the top AI companies" as a reflex I'd probably mention Google and Facebook first without any prior evidence. I think it's kind of hard to really compare. Could Tesla AI engineers do the AI work of Facebook? Probably not, and vice-versa. Tesla's AI goals seem to be even more specialized than most other companies (which is ok and not a negative thing). Are we comparing "solve any general AI problem" or "best at solving their specific problem"? No idea.

And Does it make sense to separate Waymo and DeepMind out from Google since that's the owner? Idk. Just a thought.

But even if they weren't exactly #2, they're probably inarguably top 5 right? That's still pretty amazing. And that's without really considering international companies. I have no idea what the AI capabilities of Chinese tech companies are, for example.
> Apple, if you ship a monitor with a non-adjustable stand in 2022, please make sure that the default height is at an ergonomic level. It should be at least 5-8 centimeters higher.

That's terrible advice. For a non-adjustable stand it needs to be at or near the lowest that people would want, because it is way easier to raise a fixed stand that is too low by putting something under it than it is to lower a fixed stand that is too high. (At least when the stand base is a simple rectangle--it might be harder on monitors that have narrow crescent bases).

Bricks are cheap [1] and would be great for raising such a monitor.

According to the specs at Apple the top of the monitor when on the non-adjustable stand is 47.8 cm above your desk. They don't give the bezel size but I've seen reviews say it is about 1/2", and that looks reasonable from the photos, so call it 1.3 cm. That would put the top of the screen at 46.5 cm.

I just measured my 27" iMac, which has the same size screen and a non-adjustable stand. The iMac top of screen is 49.5 cm about the desk.

I found the iMac a little too high. I ended up getting larger wheels [2] for my chair to effectively lower the iMac and putting a pillow on my chair to get a little more height for myself to make the iMac relatively lower. (Those are great wheels BTW. Unlike regular chair wheels these do not seem to end up clogged with hair wrapped around the axles).

[1] https://www.homedepot.com/p/8-in-x-2-1-4-in-x-4-in-Clay-Bric...

[2] https://www.amazon.com/gp/product/B01CGZPOK2/
>with new cars there’s no reason to try to talk things out and reason with them because

...because there's a solid chance the car will talk back.

Welcome to the future! Your car will sass you, and you will like it!
FWIW, 4k is 3840x2160, which is (19202)x(10802). So 4k@27 running at a 2x scale is exactly the same physical area per logical pixel as 1080p@27 running at a 1x scale.
It could be a sentiment rather than a statement of legal fact. Like "everyone has the right to free speech, healthcare, and three hot meals a day".
I actually recently moved over to using self-hosted Gitea, Nexus and Drone CI to cover most of the use cases that i needed GitLab for: https://blog.kronis.dev/articles/goodbye-gitlab-hello-gitea-...

GitLab is actually pretty good: the UI is nice, the feature set is pretty complete and GitLab CI is still one of the best CI solutions that i've used and probably a noticeable step up from Jenkins, or at least the Jenkins instances that i've seen, but self-hosting it and keeping it up to date certainly takes a bit of care, especially if you ever want to have it be publicly available.

That's not to say that Gitea or any other piece of software couldn't have similar vulnerabilities, but rather that GitLab is a pretty large and complex piece of software that's also moving ahead rapidly, so situations like this are inevitable (also things like the EXIF vulnerability a while back https://gitlab.com/gitlab-org/gitlab/-/issues/327121). Perhaps even something as simple as basicauth in front of it can be helpful for cases like this (or just making things available only through a VPN, though that's likely to be too limiting in some cases, e.g. non-enterprise settings).

Edit: Actually, here's a question for the lovely people here: suppose that you want to self-host a platform with a web UI for working more easily with Git repos, something like GitHub, GitLab or other platforms like that, to collaborate on a project with some friends and/or like-minded strangers. What do you, a single person with a VPS and a bit of spare time pick for the most successful outcome? Or is the only viable advice nowadays: "Don't. Just use the cloud."?
Having talked to quite a few spanish speakers, latinx is pretty much unpronounceable in spanish.
"except if you're in a room/bus and you're disturbing everyone by being on speaker phone."

You're likely disturbing everyone even if you're not on speaker. In general, I'm not going to talk on a phone in a crowded location unless I have to. This is one very small edge case which I don't see affecting my claim that it doesn't hurt to use speaker phone.

"What's the point of this? Are you trying to avoid brain cancer or distracted driving?"

Cars act as weak Faraday cages. Using a phone inside a car increases the power output required to reach the tower. Similar if you are in a low reception area.

"I mean, if you want to go through the effort to set this up, that's your prerogative."

It takes maybe 5 minutes to log into your router and set the schedule. Not much effort at all.

"I'd probably put more effort into chucking out the 1200W microwave before worrying about the 0.1W coming from router."

Why? You realize the microwaves are contained to to inside of the machine by it's shielding, right? The allowable lifetime escape limit is set at 5mW.

Routers can have much higher power output than that. I think the US limit is 1W. This is also something that runs almost continuously as compared to a microwave that runs for maybe a few minutes per day.
That's really stretching the limits of the meaning of the verb "to uncover".

Since Justice Thomas rarely speaks in court and only occasionally writes any opinions, it's hard to judge what he does or doesn't understand about a number subjects including software engineering.
Well, no, I can bargain individually better than a group could try to on my behalf.