skysight-inc/HackerNews huggingface dataset:
Semiconductor manufacturing requires a lot of capital expense just to open the doors, it also requires a staff of all levels to keep the machinery working and multiple suppliers for raw materials that require multi-thousand dollar minimum orders. The process these facilities implement are fairly well understood, it’s just cost prohibitive.

If you’re trying to draw parallels between this is and, say 3D printing, you will not find many similarities. PCB fabrication is also a a different beast but a lot of people think it’s as easy as finding a fab house that takes gerber files and creates a board for them.

If we want something that more closely resembles how we develop software, we probably will need to develop processes that enables us to flash FPGAs like MCUs, make them fully read only, and allow the customer to etch their own marking onto the chip. There facilities that produce ASICs like this already, but I can see something more standardized becoming more successful for general purpose. This does however require that we have a foundry create the original chips, the difference here is that they are producing the same standardized chip for everyone which would allow any foundry to make compatible alternatives.
Pretty cool... the third movement of that piece would be... something else!
And if they handled the resignation like a professional, it is not uncommon to simply get the job back.

I've left one of the big FANGs for an opportunity that I thought was better, but did not pan out, when I emailed my old (skip) boss about how to re-interview for my old team, he simply asked "when do you want to start?" (Even get new sign on RSUs)
So FF just needs to tighten their Tab UI and allow custom keys. Not sure why there isn't a fork of FF that just looks as much as (legally) possible like Chrome.
The "meat" of the article

> A USDA certification program for producers who demonstrate a 10% reduction in greenhouse gas emissions from their cattle below an industry baseline will earn them a certification that allows them to market their beef as low-carbon.
When restaurant apps here make it paid, workers put them in anyway because it’s not worth upset customers who can’t eat without them and forgot to ask
Symbolises any contract I signed well.
Yeah this is a tricky ploy to use language in bad faith.

Literally nothing is a "major" cause of climate change. There's so many things contributing to climate change that any one contributor can be made to look small.

The fact that the cattle industry in one country alone contributes to more than 1% of all greenhouse gas emissions is pretty insane in the context of the entire world.
This sounds like the plot to an HBO show.
Looks awesome, congrats! Do you provide any integrations for identifying hallucinated outputs and/or showing references with the output (like Bing does)? Such a feature is critical for AI outputs, so it might be nice if it's supported out of the box.
Do the scripts respect the https://twitter.com/robots.txt ? It contains

User-agent: *
Disallow: /
It's not "one item being out of order" though - it's "the system cannot verify this flight plan as being correct".

Stopping in the face of being unable to verify that safety critical information is correct is a perfectly good choice, especially when the good consequences are fairly light like "some people are a bit late with their flights" and the bad consequences may be 10s or 100s of people dying.
FAA orders Musk’s SpaceX to take 63 corrective actions on Starship
Yeah, I just went through two onsites with Kensho (for two different teams). After the first onsite, I asked them if their compensation range would be competitive with another offer I already received and the recruiter told me "they are very similar." I spent another 6 hours doing the second onsite only to be told that their best offer is 35% lower due to "budget cuts." Needless to say I'll never be interviewing with them again because they've shown they don't respect my (or their interviewer's) time.
All this handwringing about the plastic cutlery. If you are against it just make it illegal and have the local restaurant wholesalers stock biodegradable options instead. The problem will be solved within a few months. This check mark ism doesn’t really work in practice because its easier for the restaurant to just put in the plastic with every order.
Large Language Models as Optimizers. +50% on Big Bench Hard
I agree with you. In fact, the latter is in my Alternative Models section.
Document / do a write-up(s) about experiences & what doing/have done. Customize write-up(s) for use at interviews as way to demonstrate knowledge/application of subject matter .

For academic tracks, should be able to get at least one bonus paper on how hobby/side project relates to field/subject matter.
> the only time node is the right tool for the job is if you have a team of JavaScript developers who can't learn another language

I’d push back just a little on that. If you’re on a small team writing a small app, having the frontend and backend both be in js/ts, and in the same repo, can be a big help.
There are probably plenty of people on here with easily identifiable writing styles, either due to neurodivergence (like me) or whatever else. Though, it wouldn't be necessary for me because my username is just my real name and I already use it everywhere anyway.
From being in MI, collateral damage is a thing... decisions like "if we act on this information, 100 people will be saved but they'll know we know and 1,000s could die. If we let 100 people die, we can save 1,000s" are more common than we'd like.
I recently got ghosted by the management of a multi-national corporation after they made me an offer. Lower level staff trying to bring me in were told by the same people who made the offer that they didn't have the budget. Definitely won't forget that. They are also doing RTO. I don't think this behavior will last. The US economy is overall in very good shape and developers are still money making machines. Right now I'm being contacted by multiple recruiters every day. Other contractors I know are noticing a speedup as well. There are signs of life.
I love SymPy. Its so useful for doing calculations I don't want to do myself.
Rcade Battle Simulator “Moneyballs” Virtual Fights with Unmanned Platforms
The Guardian has a lot of misses. Unlike the BBC, it tends to be less quality.

If they aren't willing to publish the files (though many, many sensitive documents have been published while protecting the source!) than they can use a second or third news source to validate the files. This happened with the original panama papers before many of them were publically published - 4-5 papers all vetted them in chunks.

"Trust me bro" doesn't cut it, especially not for The Guardian.
> "erlang was kinda off doing its own thing, syntax-wise, and so some of it is just Like That now."

The syntax makes a lot more sense if you go into the history (well-documented) and understand that Erlang's initial implementation was in Prolog and a lot of the syntax can be seen as a consequence of that.

As for pattern matching in the function signature instead of forcing dropping to a case expression, it removes a level of useless and noisy indentation and, again, is a lot more like Prolog.

Even the use of , and ; as separators in Erlang make sense given that heritage. In Prolog a sequence like this:

A, B, C.

Can be read as "A and B and C" while:

A; B; C.

Can be read as "A or B or C". So function bodies using , as a separator and ; between alternatives with . as a terminal follows straight from Prolog.
And uh. Let be honest with ourselves here.

Our alternative is currently android.

So instead of meta slurping up all your shit, google vacuums it all up and then some, and lets even more of it trickle in to meta.
I can parse a 200gb TSV with NodeJS in under a minute.

Could it be done in 1 millisecond with assembly? Probably.

But we are talking about over a days runtime here. That is not a micro optimisation, regardless of the language you’re using. You’re just using the language wrong, the same as if it took a day to parse with C.

Your attitude, that it’s pointless to even try and investigate performance issues because it’s written in JS rather than whatever language you see as optimal, is totally counterproductive.
Don’t dismiss the possibility of IBM getting bought out for those easy cash flow government contracts. Someone like Amazon or Oracle could potentially goggle them up in 5-7 years when their stock price grows and IBM’s stagnates or drops.
I do a bit, but when something breaks that enough I don’t have trouble pretending it’s something else and still enjoying it, if it’s good.

I didn’t find I needed to with TLJ, and complaints of that sort about it don’t resonate with me at all.
On-topic tangent: reminder or heads-up (depending on if you’ve already seen this) that Postgres is experimenting with thread-based instead of process-based connections (which would pretty much obviate the need for pgBouncer if it works out and becomes the connection model going forward).

HN discussion from a few months ago, with lots of commentary relevant to any pgBouncer scenarios: https://news.ycombinator.com/item?id=36393030
What's for Dessert?
I use GrubHub and for years, I've unticked the cutlery box. Well, I managed to amass a significant stockpile of various cutlery packages, faster than I could use them. However, something changed in recent months; restaurants stopped including them altogether, and of course I had to dip into my stockpile to use a set, and now I've run out. Except I have a lot of loose spoons available, ironicaly I have a sealed box of plastic spoons which I ordered awhile ago, too. So I have almost no forks; I couldn't even find a spork when I wanted one; it's going to be like an Alanis Morrisette song all up in here.

I usually order two drinks at a time, and so they send me two straws every time. But I'm only one person, so I reuse the one straw, which means I amass plastic straws at an alarming rate. There's no end in sight for that.
> These are pretty classic union-busting techniques.

It may be a union-busting technique, but I'm not sure about "classic".

I mean how often has the economy had to recover from a multi-year work at home mandate due to a pandemic?

The massive switch to remote work and the pendulum swinging back towards more in-office work is a unique phenomena, not a recurring "classic" situation.
I’ve had problems with e-commerce as well. Recently I tried this with Nike & the checkout phase was trying to read all my sensors, canvas, etc. were all being hit & failing according to the console. Disabling fingerprinting let me get ‘further’ but even disabling uBlock, something on my network was blocking some other piece of tracking spyware & I couldn’t complete the checkout. I reported it to customer service & later got an no-reply email response from their technical teams saying I should “disable your anti-virus, then proceed with the checkout, and reenable when the purchase was complete”. Funny since I don’t run an anti-virus on Linux just being careful but already having a lot of malware blocked by my system/router/DNS. What’s also funny is that you don’t need to fingerprint me to prove its me since I’m already on an authenticated account, so what are they doing with that fingerprint? Ultimately, I traded a Hong Kong pie to a friend to do the purchase on my behalf as he doesn’t care about his online privacy—and I got to add noise to his purchase history with my own.

When are we going to get e-commerce & e-banking to stop being so hostile towards consumers?
I don't know why everyone points to taking pictures and audio as scary on social media apps.

The ability to record and post a video is effectively baseline functionality and requires those permissions.

Certainly Meta is doing shady things here but not all of the permissions are necessarily sketchy. (I would agree that much like position data more specificity would be good for permissions)
True, but surely the point of a startup, with real investors is to make money, not "save the world" or "get your ass to mars". Disappointing really.
Every industry is trying to claim that every other industry is THE worrying source of GHG emissions. And every individual points out at the activities of others as being more polluting.

It is all a bit self-serving.
If one has CPU load for 50 pods, then it is not a usual project I guess? Average load should be thousands of requests per second I believe.

So the question is how many applications have CPU load for 50 pods but also cannot saturate a single database, so sharding is not considered yet? Gut feeling is that they are few, more like exceptions.

From my personal experience pgBouncer is used a lot when framework/library does not support application level pooling in the first place, and not so much when it does.
> Newtonianism doesn't seem relevant to my question. It is a random event if you're not trying to make it not-random. I could just say the word "heads" and continue with my day based on the "heads" decision if I wanted to affect the outcome.

If we're discussing whether the future is fully determined by the past, this point is rather important. In a fully classical (newtonian) world, the future is fully determined by the past - so the result of that coin flip was already determined not just at the moment the coin was thrown, but in fact the moment the universe began.

Now, with QM, whether this remains true or not is much more debatable. In the many-worlds interpretation for example, it does remain true: in that interpretation, the whole universe evolves according to the Schrodinger equation, with all possible outcomes of a quantum measurement actually happening, just not in the same place in phase space. In the more common interpretations, there is true randomness, with only one outcome happening from a random event and no way to predict which it will be.

So, in the most common interpretations of QM, while coinflips may not be very random, you could instead measure the spin of an electron and base your decisions on that, and no one could predict the future if you do so.

Still, note that you are not choosing anything, in either interpretation. Your next action is as unpredictable to you as it is to anyone else, if there is true randomness. Your thoughts, beliefs, experiences, do not influence your actions in any way if you base your actions on a random event. So, if you believe that a deterministic universe is not compatible with true free will, then you should also believe that a random universe is just as incompatible with true free will.
Won't this robots.txt update stop major search engines from indexing Twitter? Seems like a great way to kill revenue as Twitter vanishes from search results.
Very valuable feedback, thank you!
No corporation has strong incentives not to “steal” your data. It’s just not something 99% of consumers care about so if they can make more money doing it they will.
You must’ve understood what the author meant before correcting, right?
Go read the Dawn of Everything: centralized authority was and is not a requirement for highly organized cooperation on a massive scale.

https://us.macmillan.com/books/9780374157357/thedawnofeveryt...
> What I'm trying to understand is do companies not think these actions will limit their ability to hire in the future?

Running out of money or going out of business also limits your ability to hire in the future.

First responders sometimes apply tourniquets and emergency trauma surgeons sometimes amputate critically injured limbs, even knowing that those have potential or certain downsides for the future of the patient, but aid in survival.

Companies in critical condition or facing threats to their survival may logically do the same thing. If you agree with that, it seems not too far a leap to conclude that taking these same actions while merely under a more moderate threat and wishing to avoid entering a critical condition may also make sense.
My recent discussions with multiple SAN vendors as well as quoting out cost to DIY storage has that number being far away from "reasonable". I do not claim storage is $5,000/TB but it is substantially higher than the $50/TB you're estimating.

It's difficult to estimate the log throughput in this scenario. Cisco on debug all can overload the device's CPU; systems like sssd can generate MB of logs for a single login.

All of this is really missing the core issue though. A 2PB system is nontrivial to procure, nontrivial to run, and if you want it to be of any use at all you're going to end up purchasing or implementing some kind of log aggregation system like Splunk. That incurs lifecycle costs like training and implementation, and then you get asked about retention and GDPR.... and in the process, lose sight of whether this thing you've made actually provides any business value.

IT is not an ends in itself, and if these logs are unlikely to be used the question is less about dollars-per-developer-hour and more about preventing IT scope creep and the accumulation of cruft that can mature into technical debt.
Lean will not create a custom type to infer for each function; it will either infer an existing type or report failure; it will also not automatically coerce to String. What you see above is a proof in tactic mode of your specification as a theorem. If you want to guarantee the outputs of a function, you need to specify a custom type. For instance:

inductive FizzBuzz where
| fizz
| buzz
| fizzBuzz
| none

def fizzBuzz (n : Nat) : FizzBuzz :=
if n % 15 == 0 then .fizzBuzz
else if n % 3 == 0 then .fizz
else if n % 5 == 0 then .buzz
else .none

instance : ToString FizzBuzz where
toString : FizzBuzz → String
| .none => ""
| .fizz => "Fizz"
| .buzz => "Buzz"
| .fizzBuzz => "FizzBuzz"

def stringFizz (n : Nat) : String :=
toString <| fizzBuzz n

def printFizz (n : Nat) : IO Unit := do
println! s!"{fizzBuzz n}"
The generated "emoji" size is 500kb. That's really a lot.
>- Forcing employees who were hired as remote employees to relocate for RTO

And that is why when I was recently looking for (contract) work I insisted to have "work from home" out in my contract. Despite looking for wfh from the beginning and multiple verbal and email assurances when it came to sign the contract I got one that said "office based". Of course I said I'm not signing. A week of "but we have a standard contract", "but we can't change it" ensued. Eventually they did change it.

I recommend persevering to anyone else in similar situation (if you have other offers of course).
Wish this could have a normal article format instead of the cheap meme-worthy avatar generator.
The 3rd movement is not one of the hardest pieces to play. It’s like medium-hard. It’s not even the hardest sonata - that would be the Hammerklavier.
Firmware engineer here with an opinion from down in the trenches:

The reality is that it takes a ton of work to get a microcontroller to blink an LED. Various clocks need to be configured, various peripheral devices (I2C controllers, GPIO controllers etc) need to be configured, interrupt vector tables need to be set up and so on.

Who is expected to do this work?

Today, it is done by the semiconductor vendor. When you buy a microcontroller, you’ll use an SDK and a toolchain that the vendor offers.

The vendor is incentivized to keep their SDK and tool chain as general as possible to sell into as many different designs as possible.

The OEM wants to ship a product as quickly as possible to make their cashflow model work.

There’s a huge gap between these two ends where a ton of important stuff goes unaddressed. At no point are the OEM and semiconductor vendor incentivized to sit together and addresses all the issues that fall through the cracks.

The current school of thought dominating MBA courses would see addressing these issues as a cost with no tangible benefits to the business. I can see their rationale: if consumers don’t signal that they care about security, then it is actually hard to argue that addressing security is a benefit to the business.

Most consumers today don’t know how bad the situation is to care about this stuff. It sucks because we firmware engineers want to do the right thing but we can’t justify it.
Show HN: In Browser WebGL Reversi
I had been hacking on a JavaScript game engine for a while, and to get it beyond prototype state decided to do an end-to-end experimental game. It seems to be a legal requirement for browser game developers to implement Reversi and so that's what this is.

The AI player is based on ideas from the Byte article linked from: https://en.wikipedia.org/wiki/Computer_Othello

https://archive.org/details/byte-magazine-1980-07/page/n57/m...

The only external libraries are ammo.js and gl-matrix. It doesn't use npm and is instead bundled with a heavily customised version of esbuild. A build takes a few hundred ms. The motivation for using this and not Unreal is iteration speed and ultimate bundle size, so being able to work this quickly is the whole point.

The renderer is a custom WebGL2 effort based on quite a lot of experience dealing with mobile GL ES idiosyncrasies over the years. It is far less flexible than threejs, but it much more optimised in the cases of what it does.

WebGPU will be interesting mainly for reversed z-buffer and reduced CPU usage once iOS Safari supports it, as that is the main development target.

Video: https://twitter.com/atomirex/status/1700152558621163556

The engine does have WebXR support and is capable of much more complex scenes than this which I hope to be able to show in some upcoming games.

My email is nige at atomirex dot com.
Wouldn't it be possible to give the cutlery to the delivery man, and just let them ask if the customers need it?
Curious if Clark had to give up any Amazon shares before taking the position at Flexport...
Last Flexport jobs posting on HN was 19 days ago.
That was nice.
Feeling bad for the the folks? That's high-grade levels of naivete. The definition of crocodile tears.

He's been on the board during his whole 'leave from the company' (read : very long vacation) and had pull to make sure this doesn't happen. But he made sure that he did nothing. It's just a convenient narrative to pull now that he's 'back' as CEO (although he never really left the company).
“Golden orb” is actually mustard-colored blob. New title:

“What can we learn from deep-sea mustard-colored blob?”
Bun v1.0.0
You didn't say it was Emacs's fault, but to make the point clear to others, Magit is slow on Windows because of how Windows spawns processes:

https://magit.vc/manual/magit/Microsoft-Windows-Performance....
Ah OK. I’ve come across some strange beliefs about computers and other technology so it’s not completely implausible. Poe's law strikes again.
I'm not paying anything extra to use Mac vs. Windows on my office license... or Visual Studio either.

In regards to games on Steam, you don't pay anything extra to play on Windows/Linux/Mac if the game has support for that platform -- haven't since it became a thing almost a decade ago.
and we wouldn't need any trust if banks just used a real protocol that we could implement in 5 minutes, instead of a thing made for rendering magazines in real time.

> but the poor non programmer user wouldn't be able to do this

we are on a programmer forum.
Previously (227 points, 102 comments):

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

That was submitted to HN on June 6, 2021. A low head dam near Eden, NC would take five lives just 10 days later on June 16th:

https://www.wral.com/story/family-sues-duke-energy-over-fata...

Here's what that dam looked like from upstream:

https://d3s3k13islrvw7.cloudfront.net/original/2X/e/eb3e018c...

https://forums.paddling.com/t/looks-like-a-low-head-dam-stri...
Hardly legally enforceable, no? robots.txt is nothing more than a gentle request.

edit: even Twitter don't really have much faith in those rules:

# Every bot that might possibly read and respect this file
# ========================================================
User-agent: *
Disallow: /

"might possibly". lol. Really sounds like "probably won't work but can't hurt, eh?"