skysight-inc/HackerNews huggingface dataset:
He starts from the wrong axiom that its hard to prove and creates a lot of nonsense over that.

Its requires just two induction proofs:
- One that for I=1, after N comparisons the largest number is at position 1 (Proven with induction) its the base case
- The other, that for any I=n+1 if we assume that the first n slots are ordered we can treat n+1 as a new array of length N-n and solve using the base case proof.

Talking about computer science and not doing the bare minimum of computer science is peak software engineering :)
> That seems to be an interesting definition of "dominates". 14% of global smartphones from independents.

Exactly right! It always amazes me to see the bubble some people here live in (and that's the best possible interpretation of these sort of comments; the worst is that it's a coordinated/paid astroturf attempt) We just spec'd several new computers here and they're all Xeon/NVidia. Nothing else can meet our needs.
Celestia Labs | Senior Software Engineers, Golang | Full Time | REMOTE only

Celestia Labs is building Celestia, the first modular blockchain network: https://celestia.org. We're developing base-layer blockchain infrastructure to bring high-throughput data availability to decentralized applications.

We're hiring senior software engineers in Golang, especially in p2p networking. No blockchain experience required; complete disdain for blockchains okay.

https://jobs.lever.co/celestia
they even removed front facing radar a few years back, to save on cost
I have exactly this setup except I also run Radarr for movies. And instead of using torrents I subscribe to a Usenet provider, with nzbget/nzbhydra2 handling all of it. I had a lot of failed downloads using torrents, almost zero over the years since switching to Usenet.
Re: single language, there's a grain of truth to it - see http://boringtechnology.club/ - but that one mainly says there is a cost to adding more and more languages. When it comes to back- and frontend though, I would argue there is a cost to forcing the use of a single language. e.g. NodeJS is suboptimal, and web based mobile apps are always kinda bleh.
The feature I really miss from Unity is tap Alt and type for menu options.

It was really useful when you didn't remember the menu option you want.

Pretty innovative at the time.
> Or maybe for making wacky collision vids on YouTube?

Don't forget the "shocked" expression poses for the thumbnails. :O
Just replied to another comment recommending C. Can you help me understand which core principles C would help to refine i.e. what am I leaving on the table if I go with a Rust or C++?
Get a few bottles of plain saline nose-spray for babies and a book about general baby preparation. Prepare for sleepless nights and hours of holding/rocking/swaying your baby in the exact same position so it can sleep.

Other than that, don't overthink/worry too much about it, and you'll be fine!
Great suggestions and you inspired me. What is Dresden Files?
I dont fall in the "apple has changed the world" camp, but bear in mind what you're saying here - the flagship $1500 MSRP GPU is less than an order of magnitude quicker than a $2000 (total) device, with less than half the power usage. That's a pretty impressive feat for a first attempt.
For the birth, it goes slowly. Waters break but it's still quite a while before the kid comes. Don't panic and don't spend all your energy at once.

Don't hesitate to get a c-section. If you need it, ask for it. Both my kids would have died if it wasn't for that. It's completely routine for the doctor, I even heard them talking about their shopping while pulling out my daughter.
All management consultants do in my experience is give an impression of authority and rigor to a decision management want to take. Want to relocate the hq, get a big consultant in to create a justification for it. Then you can say " look pwc or whoever, agree with us". Giving your dubious decision the respectablilty and authority it needs.
Because your brain is freed up from taking in all of the data points for constantly steering and speeding up and slowing down, it's incredibly less exhausting. Instead, you can focus on observing a lot more of the road and capturing things that you previously would have been unable to focus on. It's not often it deviates from expected behavior and catches you off guard with some radically unpredictable maneuver. When driving longer distances between cities, it's a night and day difference compared to my car that only has radar cruise control but still requires steering. Perhaps it's something you have to experience firsthand to truly see how much less exhausting of an experience it is.

By taking away throttle control and steering, you leave yourself with only decision making. It's reducing major components of normal driving behavior. It's not perfect, but knowing its strengths and weaknesses allows for better driving in my opinion.
It used to be close, but not anymore. I am in the beta, so we are talking door-to-door navigation with turns, stops, starts, etc.

Stopping at stop signs / red lights is the biggest game changer. But all of the driving stuff is useful.
Anxiety, anger, and pain share some circuitry in the brain. If you're feeling like you're going to have a short-fuse (easily angered) day with your kid, pop one ibuprofen. I found it helped replenish the zen/chill reserves immensely when I really needed it. But watch your total consumption of all pain killers; they do cumulative damage to your liver.
Prepare developed democracies for long-run economic slowdowns (2021)
The nifty thing about JSON Feed for micro.blog’s purposes is that it sounds like they wanted some kind of JSON API anyway, so extending JSON Feed works out rather nicely.

For just about any other purpose, I’d say you want RSS or Atom anyway, and supporting multiple formats is actively undesirable because it complicates feed selection, so don’t even touch JSON Feed.
Show HN: Phrag – GraphQL API for CRUD auto-created from an RDBMS connection
I am guilty. I wrote this sort for a gnu screen session menu years ago and even named my function bubsort.
The Fight over Which Uses of AI Europe Should Outlaw
We use it for compilation. The M1 Mac Pro we use is about 50% quicker than the i7 we had before it for an end to end compile of our project.
Congrats!

Honestly babies are all very different so lots of advice wont work.

Try to be hands on. I see lots of Moms doing all the work. It looks like they're coping but its super hard. As a test try looking after the baby by yourself a few hours, its exhausting.

This is down the road but related, try to normalize grandparents or other parents doing babysitting. Its easy to do all the work yourself but its brutal.

Be social. Hopefully the mother will have friends with babies, if not get some. You should be the same, it really helps to have other parents in the same position you can swap notes with.

Take lots of videos. Its hard to believe but soon you wont remember how they looked or sounded at that age.
The days, weeks, and months when they are small seem to last forever. 18 years passes and suddenly they're an adult, and it's ... really not that long.

But for the time being:

* Sleep when the baby sleeps. Their schedule is not going to mesh with yours for a while, and you'll be sleep deprived.

* Every kid is different, and half of the advice you get will not work for your kid. Even with the same genetics, they're still different people.

* You will probably get very used to puke, pee and poo.
China rallies support for Kylin Linux in war on Windows
GreenTriangle | Frontend/Product Software Engineer | Full-Time | Remote | Europe | Flexible

GreenTriangle makes farming financially viable by helping farmers manage their volatility. GreenTriangle's customers, some of the largest (re-)insurers in the world, help those farmers manage this volatility by insuring them against agricultural risks.

We are hiring a product software engineer remotely, anywhere in Europe: full of energy, passionate about building great products and user experiences, and excited by our mission and our team.

More here: https://docs.google.com/document/d/1Y37iLc-KDm-ZC9UOLEvBs9RB...

Email here: chris@green-triangle.com

My personal LinkedIn: https://www.linkedin.com/in/savvopoulos/
Why criticism lasts longer than praise
The Free Chad-Tier License
> The reason I never stopped using a MP3 player is because I have 20/30+ hours of HQ music organized in folders, just as I like it.

20-30 hours. Hmm.

Clementine tells me: 16345 tracks (64 days 16:52:45)

And that's not even large by the comparison with some friends.

And yes, it all fits on my Sansa Clip+ (except that I keep the christmas music off the Clip+).
Also - don't forget to take a few photos! Some delivery rooms allow you to bring a camera in and one of the free nurses would snap a few photos for you. It's very special to have a photo with your partner and newborn before it's even a minute old.
Same video, another almost disaster forcing driver to break hard:
https://youtu.be/yxX4tDkSc_g?t=428

It's a tram not a train, the driver does call it a tram, but labels the video a train...It's the new era of word twisting..inspired by FSD...

Edit: Still the same video, here driver has to break hard.
Would run a red light, get several people killed at that
large, busy, and fast intersection:
https://youtu.be/yxX4tDkSc_g?t=738

Insane....just insane, and that is being diplomatic.
> How hasn’t the FCC shut them down?

Should be FTC, but yeah. This seems like a clear case of an unfair and deceptive trade practice that (literally, physically) injures consumers.
Check out Prowlarr, it's much nicer and more feature-complete than Jackett.
That it'll be ok, even when it looks like it won't.

Relax... most things will take care of themselves and worrying isn't going to make a huge difference, in fact it may become a problem in its own right. Kids are far more resilient than adults usually believe.

And congratulations and I hope everything will go as smooth as possible.
Mendon, Missouri
Yes! By the way, this also goes for other important events such as interviews.

Be careful, there is some evidence that NSAIDs may also contribute to infertility.
“This I Know” Marketing Lessons from Under the Influence (2017)
Holy crap, is that what PZ means on all my bits? No wonder they don't really work right for Phillips.
Same way I listen to my collection of 80s dance/club 12" vinyl, which I sold 3 years ago: find them all on YT and download the audio.
Also, if your child is taking an antibiotic, say for an ear infection, don’t give them milk and medicine at the same time. It upsets their stomach, and they will vomit it all back up… and then some.
I'm not a parent.

Kids are prone to learning languages and fast, so try to keep them surrounded with content of a foreign language that you deem interesting for their future.
I see Robertson on Decks/Decking mostly --they are stainless or rust resistant so their necks/shanks don't weaken over time. Others rust and when you try to take them out they shear off easily.
I sent a message on Twitter asking him a bit more information about his license. (I'm working on a similar project to translate Ukrainian medial terms to French and English)
> kubernetes is pretty standardized

Sure. Though the standard changes weekly.
Small sort implementation in ES6:

const args = process.argv.slice(2).map(Number);

for (let i = 0; i < args.length; i++)
for (let j = 0; j < args.length; j++)
if (args[i] < args[j])
[args[i], args[j]] = [args[j], args[i]];

console.log(args.join(' '));

Didn't expect it to be actually that simple, but now that I wrote it, it makes complete sense.

To PROVE it, is another thing. Good work.
More at Goodreads: This I Know: Marketing Lessons from Under the Influence
https://www.goodreads.com/book/show/30201128-this-i-know
The comments are a pile-on of criticism and how can this be legal. The question is what percentage of self driving hours lead to a situation like this, is it high enough to determine it's unsafe compared to non autopilot or statistically an outlier?
Not precisely so.

We tend to think of ownership as in absolute owning of an asset for indefinite time. For a lot of things in Singapore you can ownership (i.e. own it) in that sense, but after sone time you have either to return it or stop using (rendering it useless). This applies to assets like homes, cars, etc.

If it’s not feasible to enforce those policies, government just imposes hefty tax on assets, ensuring you extract (or contribute) sufficient added value from asset.
I thought his goal was to get the prover to prove it without understanding it himself.

By realizing the low-indexed portion is always sorted, you've already proved the algorithm yourself and the prover is just checking for bugs in your logic.

I'm not saying the proof isnt valuable, just that it's not magical and actually requires the user to understand the majority of the proof already.
I’m trying to understand this comment.

Are you suggesting that writing explanatory blog posts about technical topics is dangerous because someone will eventually come after you for being elite?
It's only dated if the vulnerability has been patched. In this case, the only way to patch it is to serve over HTTPS.

If it was a quick hack, then that makes it even worse. Difficulty is a mitigating factor.
You'll know what to do. And if you don't... Welcome to the club. Have fun, congrats dad.
But they aren't lending money, they're lending crypto.
Tiny Core Linux 13.0 is a full Linux desktop in 22 MB
Take a course on parenting. I got a _lot_ of value out of the STEP training (Systematic Training for Effective Parenting). You wouldn't get a dog without learning how to train dogs - getting a kid should follow the same logic!
I regret not asking for a c-section explicitly. Coming from a traditional south-indian background I hesitated electing a c-section beforehand, trusting the doctor will take the best decisions based on the situation. I was wrong. The doctor pushed it too far and my baby had to be NICU-ed for a couple of days and even worse, I still have PTSD witnessing the trauma my spouse had to go through.

I should have simply listened to my intuition and asked for c-section upfront.
You've no doubt double blind tested these claims?
Ask HN: Recommendation of Portable CD Player
Hi friends, I have a bunch of CD that I'd love to enjoy with a portable player. I know back in the day Sony made good ones but they are very expensive the last time I checked. Do you have any recommendation that is below say $120? Thanks!

Also happy July the 4th for our US friends!
Tor + (~secure) VPN, but most things like pirating and pr0n DON'T require 'real' security!

You want privacy mainly and that's orthogonal to security.

If privacy is not enough and you need secrecy... well, just use your botnet as a VPN and from that get to Tor! (You do own a botnet in this case, that's what you need the secrecy for :P ...otherwise you'd have specialists hired for this at your disposal, or you'd be the specialist providing it to someone else).
You can use esbuild with webpack via esbuild-loader, but what makes Vite so fast is mainly the strategy of pre-bundling dependencies when running the dev server, this makes hot starts and hot reloads incredibly quick.
OpenAI currently offers a GPT-3 API and an invite only DALLE2 API. Both of these are commercial products trained on web datasets and can output collisions with the training set. They have effectively zero concerns about copyright due to it being covered under fair use and OpenAI having copyright on all outputs (in the case of DALLE2).
To add - most people don't take antibiotics seriously. Please do take all of your subscription as long as your doctor says you should. Otherwise, you're breeding resistant germs.
China's real estate crisis deepens as big Shanghai developer defaults
More like 11x (depending on the timescale). Hydrogen itself has no GHG potential (no IR absorption), but it does soak up OH radicals that would otherwise destroy methane, so it acts as an indirect methane source.

https://newatlas.com/environment/hydrogen-greenhouse-gas/
In the US, the Postal Service has been scanning the address on envelopes for years and rewriting it along the bottom as a barcode which they print at the post office. They use their own code rather than the address you wrote to actually route the mail.

It seems like this British version just moves the barcode to the stamp. When the address is optically scanned, the code number is associated with the address and can be used for physical routing going forward.

That means the system is for their convenience, not the user's. It may reduce the amount of OCR scanning that's necessary, it removes the printing step, and it allows tracking and routing even before the OCR takes place.
This is a great list. I'm going to ride your coat tails with some of my favorites. I'm a father of 3 little ones, FWIW.

- Take all parenting advice with a grain of salt, everyone's sample size is too low.

- (Related) Each kid is very different. It's kind of wild how different they are and mine are still very little.

- By default you're likely to raise your kids as the average of how you and your spouse were raised. If either of you didn't like your upbringing you probably want to consider some kind of outside help to change your course sooner rather than later.

- OP said "It hasn't really sunk in yet" -- I just wanted to say this was the same for me. For all three kids! I was aware my wife was pregnant but it never really clicked until the baby was there.

- Months 1-3 were my least favorite. A tiny infant is a sort of alien, and very fragile. Somewhere around 3-6 months they'll look at you and smile and your heart will melt.

- You'll be fine!
I think of it in terms of I am still piloting the vehicle, but FSD is executing the maneuvers. This means that I am able to focus on the bigger picture (looking further forward, paying attention to what is going on in all lanes, etc).

I am a MUCH safer driver with autopilot/FSD than without.

So, to your devil's advocate, I am sure I would blame myself if my family member died while driving my car no matter what the car was. But FSD in my car has prevented accidents for me and my family.

Edited to add:
I don't want to pretend it is without risks. My biggest fear with FSD/autopilot is that it requires a constant understanding of who is in control. And that is the thing I stress to my friends/family. Your #1 job, and the thing that can kill you, is thinking that autopilot is engaged when it isn't and running a red light or driving off the road on an interstate exit.

Tesla gave me a loaner for a couple days while my car was in the shop. The loaner did not have FSD, and there were a couple of times I expected it to stop and it didn't. It was mentally tough b/c it was familiar like my car, but it wasn't my car.
People shouldn't "roll their own" cryptography any more than they should "roll their own" padlocks or door locks.

> The people who should not be writing crypto are precisely the ones who will ignore this advice.

Why would they pay attention to "good examples and good explanations" if they disregard the simplest and most basic advice?

> It’s also sort of elitist sounding and that puts people off and further reduces the odds that they will listen.

Modern cryptography is intrinsically elite. It requires math and computer knowledge far beyond the ken of mere mortals, eh?

> Everyone knows that someone “rolls their own” crypto or none of it would exist. How does one get into this mysterious club? As near as I can tell you… roll your own crypto… and manage not to fuck it up. So the way you get to become someone who gives this sage advice is by disobeying it.

That sounds like, "Medical students dissect corpses to learn anatomy, so non-doctors should be allowed to perform their own surgery."
Yes, as a "T-Shaped" person and solo entrepreneur, my (never ending) goal is to continue to develop expertise in one two areas.
You'll get lost and lots of advice. Some of it good, some of it bad. Some of it good for you, or bad for you. Just pick and choose what works for you.

If you happen to draw a colicky baby, my suggestion is to quickly introduce shifts. Don't stay awake together, but try to get that 5.5 hours of sleep. Everything will be so much better if you get some rest.
Surprised this had not been posted before.
And to be easy on yourself. They don't come with a manual and there's a lot of trial and error involved in figuring things out. On top of that, just about the time you figure one thing out a new one comes along. There will be mistakes and that's normal. Try to recognize them and learn from them.
Eiffel Tower riddled with rust and in need of repair, leaked reports say
Find a way to spend quality time with your partner. Once the dust has settled try to book some time where it's just the two of you. Get a babysitter and go out together one night in the week.

Often you're so focused on the baby that years can go by until you realise you've ignored your relationship and then it can be very hard to fix or get back to some normal / happy state.

Same for your regular friendships. Maintain them. The other day someone asked me to name my 3 best friends and all I could come up with was people I knew years ago that I barely speak to anymore.

For me that was the main problem. The kids slept relatively well, ate ok, didn't get sick very often. But they still take up so much time that it's easy to forget about everything else.
My point is that benchmarking as a whole need a bit of time to mature with the help of real and diverse usage. Not just two weeks of GeekBench.
And an intercity bus will beat them both, while also avoiding the issues of getting in and out of the airport and into the city center.
Not having that much situational awareness sounds super dangerous. 50 ft is way too little for safe driving.
> Breastfeeding does make a difference.

The difference it makes is measurable, but there are lots of other factors. On a macro scale, it absolutely makes sense to encourage breastfeeding, but mothers who can't or don't want to nurse can feel a lot of pressure and shame about it. Nursing feels like a big decision, but on an individual scale the only thing that's important is: is the baby getting their nutritional needs met. And formula does that just fine.
Beware microsoft bearing gifts
Without any prior knowledge of C you wouldn't really understand what problems Rust solves for you. Especially when never having worked with any lang without automatic garbage collection.

A quick dive into C is a good idea for learning. It is hugely influential and basically the Latin of programming languages so any knowledge pays huge dividends down the road even if you never use it directly.

Whether you should use C was not the question. There are valid uses though even for new projects and if just for the few exotic targets that Rust doesn't yet compile to.
Trust your instincts, if they were wrong your ansestors wouldn't have gotten you here.
Just watched two of them, very cool. I had no idea that animas and birds that eat fish whole always always always eat the fish head-first.
> they won’t even let me beta test because where I live triggers incorrect forward collision warnings too frequently for my driving to be considered good enough

WTF. And I guess they will still compare "Autopilot" accidents with your average driver's, when they are literally combing (supervisor) drivers for their skill?
Yes, it would not surprise me. I once had Google Maps asking me to go against a one-way road, but I think their algorithms are better as it is very rare I encounter stupidities like that.
If I understand you correctly, you're arguing that having machines making mistakes maybe ok if it's statistically less likely to happen than humans?
To many the loss of own car is a good enough cure. Trams can rarely pull a full stop in that time.