skysight-inc/HackerNews huggingface dataset:
The existence proof uses the axiom of choice so it's not a constructive proof. You cannot deduce how it's constructed from its existence.
Internet speed of 420M Mbps achieved using standard optic fibre cabling
> It did so by blithely assuming that those algorithmic decisions are equivalent to the expressive decisions made by human editors at newspapers.

Because human editors pick the algorithms. The algorithms are not independent actors, they are concrete implementations of editors' intentions. As someone who writes algorithms-for-editors for food I am painfully aware of that.
I am working on part 2, which with any luck I can finish on Friday. I have a lot of other stuff to work on as well.

Part 3 is a bit more speculative and I am not sure when it'll follow.
Location: Philadelphia, PA, USA
Remote: Yes. Flexible on time zones.
Willing to relocate: No (occasional travel fine)
Technologies: JavaScript/TypeScript/Node/React/Angular, HTML/CSS, Google Cloud (GCP), C/C++, Bash (and shell scripting in general), Go/Golang
Résumé/CV: Available on request
LinkedIn: https://www.linkedin.com/in/brad-westhafer-91449b181
Email: brad.westhafer at protonmail dot com

I've been a software engineer for the past 5 years. Have worked on an open source NoSQL database built on top of a compiler at a startup and also done full stack web development with Google Maps APIs and Google Cloud. Before that, I was a CS grad student (pursuing both Bachelors and Masters simultaneously) at Penn State and left a class short of a masters.

I'm a language agnostic generalist who has a history of learning new languages and technologies on the job and quickly becoming highly productive. Looking for an opportunity to make a bigger impact. Open to remote or hybrid in the Philly area. Also open to occasional travel. More frequent travel to NYC, Baltimore or DC would also be ok.
> “As long as you keep thinking about the problem, even if its in short bursts every few years, you’re still making progress. And if you never finish? If all you find are side-paths and obstacles, and it turns out the entire mission was doomed from the outset? That’s okay too. Projects like this nourish us, because there’s a part of the human mind that wants nothing more than to climb the mountain, rappel into the cave, explore the unknown and grapple with it.”

In addition to the impressive technical details, this is some really beautiful writing
Solving a math problem with planner programming
The point is that when you're not slacking, no one should care. But now they do care because its a war.
Ask HN: How to set healthy barriers with side projects
Hi HN! I worked super hard on my side project that hasn’t work out yet but I’ve had to sacrifice a lot of relaxation time and I’m kind of sitting here thinking: can I approach this better? So my question is: how do you set healthy barriers with you and your side projects .
Who remembers the christmas easter egg fiasco? https://blog.shunliang.io/frontend/2018/12/25/the-ant-design...
If he were at all serious about this, I doubt he would have included "505 Unbelievably Stupid Web Pages" in his list of citations.
It's only "war" because people's ego is tied up in their work because they make it their identity, and WFH challenges that, very similar to people who brag about 60-100 work weeks like it is a badge of pride. Some work to live, others live to work, and there is a whole lot of inefficiency to be squeezed out that is hard to squeeze out because of the lizard brain [1] [2].

It would be great if it wasn't a war, just measure output or equivalent objective measures, but like religion (which wars have also been fought over), belief systems die hard. Mental models are rigid, emotional health is not always available to everyone, and so on. Loss of third spaces doesn't help, and your cohort of workers who demand in office time because that is the only socialization they get (or those who are fleeing their home life by going to work) also contribute to the friction.

[1] https://en.wikipedia.org/wiki/Bullshit_Jobs

[2] https://en.wikipedia.org/wiki/Parkinson%27s_law
I wonder if industry standards will change as more people spend more time working on their phones.

I reckon a new generation moving into influential decision-making roles will probably sort this out over the next decade.
Hello, I've sent you an email, I'm really interested in this job. Would also love to learn Japanese as a language.
Yes. We cover Jordan and Elman RNN, LSTMs, and GRUs. Assignments only really test for LSTM knowledge, though.
Python "threads" have no impact on the slowness of Python.

1: Threads are still under GIL's (global interpreter locks) because the entire object model is thread-unsafe.

2: The Python interpreter works with full objects, JS interpreters all work with some kind of tagged values (NaN,NuN or SMI-bit tagged)

The biggest thing about Python is that they've never wanted to rock the boat on API compatibility since their strength is the ecosystem so CPython is quite tied down. Compare it to PyPy that is far closer to popular JS impls.
If all articles were written like this, straight to the point and only the important bits, I would read a lot more and skim a lot less...
Size matters.

Flight 17 was shot down with a Buk missile. Wikipedia says 150 lbs. warhead.

Flight 655 was shot down with 2 SM-2MR missiles. Wikipedia is mum about warhead weight...but the missiles themselves would be over 3,000 lbs. (combined).

Vs. the helicopter was shot down with a 24 lbs. missile, with a 2.6 lbs. warhead.

One extremely clear lesson from WWII was that hitting a fixed-wing aircraft was very different from shooting it down. Size mattered. Once the combatants realized that, they replaced their start-of-war "you might get a hit in just the right spot" pea shooters with the heaviest AA weapons that they could use.
I know that SBCL can achieve C-like performance on some tasks, but I was not aware of a Scheme that did that; what are the implementations? Is any open source?
Nice work collating all the tax data, how do you ensure that the tax data stays up to date? And is there any way you could add a filter for countries that are part of the VAT OSS scheme? As Europe doesn't necessarily mean part of VAT OSS.
You're talking in some absolutes here, but I don't think any of it is so set in stone. If a city vegan doesn't think about where his food comes from and isn't mentally bothered by this, then he's healthy. If a farm boy slaughters livestock casually isn't bothered by it, he too is healthy. Each are well adapted to their circumstance and is healthy so long as they remain in that condition. What other people think about either of them is the problem of those other people.
>As for SEAL Team 6, they have a "duty to disobey" unlawful orders[1]-- which every member of the team probably knows off the top of their heads-- and which is a much more effective real-time check on a president's authority.

Now, let's play that out in real time:

Donald Trump: please kill person XYZ.
Seal Team 6: Uh, no sir, that's illegal. We cannot do that.
Donald Trump: the courts say I have immunity, this is an official act. Person XYZ is a threat to our country, and under the constitution I'm allowed to defend this country against all enemies, foreign and domestic. This person is a domestic enemy. Kill them.
Seal Team 6: Uh, no sir, we can't do that.
Donald Trump: You're fired. I'm replacing you with someone that can do what I tell them.
Seal team 6: Ok, we'll kill person XYZ.

And the courts will have no problem with that, as per their ruling.
I often feel like a common argument I hear from Rust evangelists is that "C is the worst, and this isn't C".

It's a very silly argument, in my opinion. Better ones are actually about what makes Rust good, not that the alternative are evil.
Probably similar to now mechanically. They got the chinook and others up and going during the same time period. Although I guess the Chinook was quite a bit easier since its mass was distributed out toward the rotors instead of clustered between them.
I love how effective the article is at communicating. A digestible idea followed by visual example. Rinse and repeat. I think we could learn something from this for our documentations, or even Jira comments.
The Chilean Spanish portion of the article made me laugh. I'm a Spanish speaker and the Spanish I speak is closer to Mexican Spanish. I could not for the life of me understand Chileans I met in Canada. Brings back funny memories of 2001 for me.
Resolving Rust Symbols
Remember, the market can remain irrational longer than you can stay solvent. Shorting is expensive.
Interesting. Does it permit normal UI interactions over the notch? For example, menu icons.
WFH is not a "religious" war. For many people it's definitely a huge battle but for workers' rights, the same we had to do for the 8-hour day 100 years ago. When people realized they don't have to be packed like animals every day in order to do their work, they revolted. So yes, it is a full-scale war, but has nothing to do with religion or some dogmas, just realizing the absurdity of the pre-pandemic situation (especially in open-plan office spaces).
Thanks, I really appreciate it! Just to let you know, you can even contribute to it when you feel to.
Looking at the pictures on Wikipedia regarding those programs, it's interesting how they seem to result in fractals.
Orale! Was not expecting to see us New Mexicans get called out here on Hacker News, but you're not wrong. It's surprising how much variation there is despite NM being so close to Mexico.
Are you just that misanthropic?
Most of my photos are temporary screenshots that I need to delete instead, not backup.
Except the US actually made it to the moon with functional equipment and not Ekranoplanz.
Yep, and I have to finish at 5:30 because that's when Jenkins becomes unusable.

It's fine with me. You'll burn yourself out trying to get everything complete and I like have a fixed point where the system becomes too slow and reminds me to log off. And it's really not my fault, I wouldn't do half the things they want us to do, because it terrible "Enterprise Architecture". But they require it, everything is slow and it's not my fault as I've already made suggestions on how to improve it. But I'm not Enterprise Architecture, so what do I know?
Once you have PXE you can do all the things -- NFS boot, HTTP boot, iSCSI boot, and so on. There are several open source projects that support this. I think the most recent iteration is iPXE.
Not exactly easy to fire someone (even with reason) in some EU countries due to (in some cases very needed) regulation.
Samuel Newman's Concordance, and How "Delve" Changed the World
Yes, but vegans are diet-aware as a matter of nature. I'm not sure vegans in the IRL sense are the same as "regular people" shifting to a plant-based diet.
Hi, all! I am a Product Manager and Certified Scrum Product Owner (CSPO) located in the Miami, FL area. In my 5 years in the industry, I have launched more than 4 consumer facing websites and mobile applications. I use data to drive my decision-making and roadmapping. I look forward to connecting with you!

Location: Miami, Fl

Remote: Yes, please!

Willing to relocate: Not at this time.

Technologies: Scrum Fundamentals, Certified Scrum Product Manager (CSPO), JIRA, Mixpanel, requirements gathering, and more

Résumé/CV: www.linkedin.com/in/sara-nachman-product

Email: SNachman527@gmail.com
I wrote program to solve the cutting stock problem (https://en.wikipedia.org/wiki/Cutting_stock_problem) for a personal project. I couldn't (or didn't want to) use any existing program for it because my stock involved cutting pieces shaped like either /---/, /---|, or |---| and I didn't want to waste material on the 45 cut.

I find it interesting that the description of Brady's program to optimize search for BB(4) by cutting out search subtrees whose differences don't matter is fairly close to a description of what I did to make my program fast.
> So Apple Intelligence “is a bad thing” because from day one they don’t have interoperability? Does that serve customers in the EU better?

Yes
Y Combinator | https://www.ycombinator.com/careers | Full-time | San Francisco (In person only) | ryan@ycombinator.com

My name is Ryan and I’m an Engineer & EM here on Y Combinator’s software team. I’ve helped us hire 8 of our amazing teammates, and – spoiler alert! – we’re hiring for three more full stack software engineers.

Why would you want to work at YC? Well, the short of it is that you’d get unprecedented insight into how companies are started – with access to all the talks, constantly being around founders, and working directly with YC Group Partners. Our GPs are possibly the 12 most knowledgeable people in the world about starting companies. You’d be hard pressed to work here and NOT learn something new about startups every day – which might be helpful if you’re interested in starting a company yourself.

Software also touches everything YC does. When I went through YC in 2013, the core pieces of the YC batch were a dinner each week, a 1-1 with your group partner, and an end-of-batch Demo Day event to raise money. Today, YC offers so many software tools to help founders build their companies, including:

- Demo Day website, which has helped founders raise $3B+ over the last 3 years

- Work at a Startup, where 1000s of companies have hired from a pool of 1M+ job seekers

- Bookface, a tool for YC founders to support and help each other build their companies

YC software runs kind of like a startup: we have a small engineering team (12 people) full of full-stack software developers (Rails, React, Postgres) who talk to our users, ship fast and iterate often. YC’s great for people who like to move fast and learn quickly. As a member of our team, you’d work with and learn from some pretty experienced people who were early at Facebook, Carta, Salesforce, Twilio and other top companies. Many of us have also been founders, and seven former employees have gone on to start startups that were funded by YC.

Building software at YC isn’t for everyone – YC’s real product is the Batch program and the Group Partners’ advice and help for the life of your startup. Our software team is often in the background, helping scale YC’s ability to help more companies, and in a way that means more 1-1 attention and support for each founder. What keeps me motivated is continuing to scale and improve YC through software, and getting to work with some of the most kind and talented people of my 20+ year career.

If you have questions, I would love to answer them here. (It would help me understand how I can make our role & work more clear!) And if this resonates with you, shoot me an email with what you’d most be excited to work on (job descriptions below) – ryan@ycombinator.com

Y Combinator, Product Engineer on Bookface - https://www.ycombinator.com/careers?ashby_jid=00c6950f-341f-...

Y Combinator, Product Engineer on Work at a Startup - https://www.ycombinator.com/careers?ashby_jid=ef00c8d1-76e7-...

Y Combinator, Product Engineer on Internal Tools - https://www.ycombinator.com/careers?ashby_jid=bbf8f36d-60bf-...
Anti-aircraft weapons have gotten better. In WWII the Axis didn't have proximity fuses so the shells would explode at a predetermined range and throw shrapnel.

Now anti-aircraft weapons explode at a very specific distance and create a rapidly expanding ring of metal which slices the aircraft in two.
These differences go back much further in the past, so FARC has nothing to do with it in Colombia (it’s spelled with an “o”). There’s a large linguistic diversity within these countries, which that table doesn’t reflect or account for.
I was genuinely getting neck pain at one point from using two monitors and going back and forth. I now mostly just use my laptop screen with a large screen for coding and running debuggers. A single large screen IMO is more effective than a bunch of screens.

Our Devops people often had multiple monitors setup, with crazy specific window management to keep 10 terminal windows visible at all times. None of the windows ever showed anything useful, and when you actually worked with them, everything was done in a single terminal window, on a single remote machine.

Their tickets still took forever to be worked. Some people are just more obsessed about "optimizing" their tools than actually using them.

A notebook meanwhile is super duper useful.
Correlation Network Built with Svelte and Cytoscape.js
A federal judge's ruling could put non-compete ban on hold
Location: Pittsburgh, PA, USA

Remote: Preferably but not required.

Willing to relocate: Hard no, sorry! Maybe a couple years down the line.

Technologies: AWS, EC2, VPC, EKS, K8s, Rancher, Git, Python, PHP, Javascript, CI/CD, Apache Kafka, Snowflake, MySQL, PostgresSQL, Redis, RabbitMQ, Bash, Linux, Ansible, Vagrant, Salt, Docker, others

Resume: Available by request.

Email: my HN alias at g00gle's domain for such transmissions
'Upflation' Is the New Retail Trend Driving Up Prices for US Consumers
Claude doesn’t render LaTeX like ChatGPT though which is a huge miss for those of us who use LLMs for math stuff.
It's a bit ambiguous and depends on context, which is why I said 'at least in CS', since for whatever the particular topic is 'safe' and 'unsafe' is likely to have a fairly strict meaning.

In general you're right. For safety it's just that 'safest' implies some sort of practicality: the best - most safe - from a set of options. But the safest option isn't necessarily strictly safe.

(Say your dog's stuck on a roof on a windy day, you decide the safest option is scaffolding (safer than a ladder or free climbing), but it's not safe, you just insist on rescuing your dog.)
> And we talking about the same EU government that every other year tries to make it a law that there must be a backdoor in messaging platforms?

And the same Apple that puts them there: https://support.apple.com/en-us/111754

But hey, at least Apple is more principled than those filthy, corrupt and privacy destroying governments. They would never kowtow to a higher power, our stout and beloved Apple.
IMO data scientists often are used to the jupyter form factor instead of the editor form factor, so I see why they would prefer this thing.
15 years ago CPUs cared much more about branches and much less about cache locality and threading. Nowadays it's actually really hard to shovel data into the CPU as quickly as it can churn through it. The kind of optimizations talked about here[1] won't get you to even 1% of the performance your CPU is capable of.

A Ryzen 5950X can do something like 5ghz * 4 IPC * 16 cores = 300 billion ops per second. Add SIMD on top of that. It's insane.

[1] https://cstheory.stackexchange.com/questions/9765/the-stalin...
Not a drug but intermittent fasting could help, here are some articles on it https://scholar.google.com/scholar?q=intermittent+fasting+Al...
Are you defining trench warfare as "has a trench"? Because I meant the system of long lines under fire for weeks/months and high-attrition infantry attacks across the narrow no man's land to take slivers of territory.
Tried it once and while it was fun and spicy, the novelty quickly wore off and the drama was ultimately not worth it. Going to work and getting some backhanded snide comment from guys who have no business at all in your relationship is no fun. You can't even tell them fuck off.
https://archive.ph/fXuz3
That is the point, if you sacrifice the soldiers lives you should do it for something valuable, even using pro-Rus maps Russia is gaining at best something less then 1 square kilometer a day and has 1000+ dead or wooded, I am sorry for you disillusions with USA but in civilized countries nobody would think that 1 soldiers live is worth 5000 square netters of field. Sure probably they are sacrificed not for that land but for buying time for Putin, maybe Trump or other miracle move will save him. So from Putin's POV 1000 soldiers for 1 more day on the throne is a price he can pay, in a democracy this would have ended a long time ago.
This seems to be happening a lot with these things. "Here's an amazing new thing... oops, sorry, actually, it's terrible, let us remove that." This, the bonkers Microsoft screenshot-everything feature, various Google things...
It's probably time for HN mods to start nuking these WFH threads.
I didn't believe in it before the lockdowns, but WFH has really improved my productivity. The only downside is that there's no clear moment to stop working. It's tempting to check later in the evening whether a build or test succeeded or kick off a new job.
I'm not sure a lot of us would find that "funny", but is pretty great that you are in a place now where _you_ can find it so.
It’s very much real.
Location: Rutland, Vermont, USA

Remote: Yes

Relocate: No

Technologies: Next.js, Astro, Gatsby, Ionic, Supabase (Postgres), Nodejs, AWS (S3, SQS, Lambda), Netlify, Algolia, Angular (1, and 2), Drupal (7, 8, 9), Technical SEO

Experience: 12 years, 7 as a freelancer

Joining date: Immediate

Website: https://www.andrewgwardwell.com/

Github: https://github.com/andrewgwardwell

Linkedin: https://www.linkedin.com/in/andrewgwardwell/

Email: https://mailhide.io/e/jrNN2QjA

Role: Frontend Engineer, Drupalist. Contract preferred, but open to permanent
What are the bottlenecks according to the profiler?
Because if a country is not willing to fight to control it’s territory anther country will claim it and allowing another country to claim your territory will lead to more claims and gradual erosion of territory, potentially escalating to all out war and attempt at total invasion and subjugation.
Reading the title, my initial expectation was that this was going to be a Croatia/Bosnia-Herzegovina situation. Refreshing to read that most of the reasons here are geological/meteorological in nature.
Personally I don't think it will be helpful for career development. I'm never going to work in a space where Rust will be useful and it would probably be a mistake to choose it. But I'm just a Java dev /shrug.
Makes sense. My phone model is a Xiaomi. Don't know why Samsung would ship their kernels without ConfigFS support but I have never had such issues.
Why isn't your side project the main project?
About #1, a lot of languages just prohibit this. By either making the changes thread-local or by making the global state read-only for some threads.

You are probably thinking about Python, but Python is kind of a worst case scenario for compiler optimizations. Almost all languages fare better than it.

About #2, some languages do pack your data behind the scene. It's hard to implement, so this is not very common, but the languages more biased into vector and matrix calculations normally do this.
Looking at her rating chart: https://ratings.fide.com/profile/497592/chart, she went from 1400 -> 2100 in 2 years which is wild.

Comparing to Praggnanandhaa who is also a very notable prodigy, he went from 1400 -> 2100 in a similar amount of time and at a similar age: https://ratings.fide.com/profile/25059530/chart

All that to say if she sticks with it, she could be an extremely strong player. Prag is top 10.
Did you seriously just argue that "if this decision has the potential for extreme negative consequences, then it must be a good decision"?
> I really dislike this "autonomous sci-fi slaughterbot" framing of the article. That's not what's happening here.

It's literally exactly what's happening here:

> Saker has gone further in recent weeks, successfully using a reconnaissance drone that identified targets with A.I. and then dispatched autonomous kamikaze drones for the kill, Viktor said. In one case, the system struck a target 25 miles away.