skysight-inc/HackerNews huggingface dataset:
It was posted in 2017. You can get to part 2 from the link at the bottom.
No, the point of buying insurance is to reduce your individual variance even though your average cost goes up. It's not an individual savings plan, but rather shared pooling of risk.
No frills website that tracks Bank and Money Market APYs
I don't think we disagree that the 737 MAX process has problems. I was only arguing that you could have any combination of the matrix and that a sound airplane design won't guarantee safety on its own. It's appearing the 737 MAX may well be the top-right of this.

┌──────────────────┬──────────────────┐
│ Bad Design │ Bad Design │
│ │ │
│ Good Process │ Bad Process │
├──────────────────┼──────────────────┤
│ Good Design │ Good Design │
│ │ │
│ Good Process │ Bad Process │
└──────────────────┴──────────────────┘
> Your comment is factually incorrect. In no universe is anyone getting 10 years in federal court for killing a person.

If you mean “no one will get that much for any criminal homicide”, you are wrong.

But if instead you mean “no one will get that little for any criminal homicide”, you are also wrong, as involuntary manslaughter has a statutory maximum, forget even the guidelines ranges, of less than that.
While there is a trace of the idea in Bloomer, it is relatively faint. Dred Scott is much more commonly recognized as the origin of substantive due process. For example:

> We should note right at the outset some of the many remarkable facts about the case.

> * Dred Scott was the first Supreme Court case since Marbury v. Madison invalidating a federal law. Since Marbury created judicial review in the context of a denial of jurisdiction, Dred Scott might plausibly be said to be the first real exercise of the power of judicial review.

> * Dred Scott was the first great effort by the Court to take an issue of political morality out of politics. In that sense, it is the great ancestor of many New Deal and Warren Court cases.

> * Dred Scott was the birthplace of the controversial idea of "substantive due process," used in Roe v. Wade, in many important cases endangering the regulatory/welfare state, and in the recent cases involving the "right to die."

> * Dred Scott was one of the first great cases unambiguously using the "intent of the framers" and in that sense it was the great precursor of the method of Justice Scalia and Judge Bork.

From https://dash.harvard.edu/handle/1/12942329

--

I don't think it's controversial at all to say that substantive due process is understood to have its origin in cases like Dred Scott and Lochner, cases where the Supreme Court overrode the results of the democratic process to protect economic interests. Or, for that matter, that the court took significant license in "interpreting" the Fifth Amendment that way.

Also, I think many people are too teleological when they evaluate judicial doctrines and philosophies. "Reproductive rights are good, so let's find a way to justify substantive due process." Jurisprudence is part of a structure and process that is bigger than any specific outcome, and bad jurisprudence shouldn't be excused just because it leads somewhere we might like.
I would have thought that the actual simplest math problem was to prove that 1+1=2 not the collatz conjecture.
I don't entirely disagree, but the limitation is still a lack of attention to detail from non-devs. Experience and passion aren't substitutes for that. I agree with the spirit of the article, just not the suggested solution.

My experience has been that even the most competent non-devs are far less consistent with details than even a half decent developer.

This is because developers have much better tools at their disposal to ensure consistency and immediately obvious consequences for not being consistent. There are no such consequences for non-devs other than hearing devs whine "I told you so" after being ignored before a prod release. All a developer needs is more rigorous requirements that are on the same level as compilers, linters, diffs, etc.

This is, of course, not a reasonable ask if the project is complex enough. Luckily many projects aren't that complex and non-devs don't really need automation. In fact automation will ensure a lazy and foolish consistency getting in the way of better decisions. It should not be about making non-devs' lives easier, but making the product better. I shouldn't have to convince anyone that my suspicions of automation being a "silver bullet" are valid. Bad management is everywhere and notorious for these tactics to avoid difficult discussions with non-dev teams.

The solution I've seen work very well is fewer meetings with clients and other stakeholders and more meetings with developers. Sadly so many non-devs are deeply intimidated by that. Let's not mince words it really is just a blame game once non-devs are easily overwhelmed. Expect non-devs to writhe in pain and maybe even create HR incidents when they're pushed to work harder... or just live with a mediocre product. Your choice.
Maybe purchase sayn.ai. Saayn.ai is unvailable.
> The only scalable/vendor/device-neutral way to do that is to back-end your "new" HDL with Verilog/SystemVerilog/VHDL

i mean like the guy below says, but in the opposite tone, that's like saying building a C emitter is the same as building a compiler. like i just don't agree (for C, because C isn't some abstract device model and isn't (easily) optimizable) because you are forever yoked to the assumptions/affordances of the target language (which is ultimately a language and not an IR/netlist/whatever).

> The only scalable/vendor/device-neutral way

blif is a thing, eblif, xml, etc. are there points of ingress in vivado or intel's thing for any of these? i don't remember but regardless i agree they're probably not well-supported.

> To really change the status quo, you'd have to own EVERYTHING from the point of design entry to the physical device and all steps between.

nah that's not true. LLVM/GCC/etc. FOSS compilers that grew up in the last ~20-30 years prove you don't need to own the last mile to change the status quo. if you build it, device manufacturers will come.

the truth is simply that performant logic synthesis, tech mapping, place and route, etc are just all much harder to implement than XYZ compiler pass. but it could be done given maybe 20*5 highly competent engineer years? i dunno pulling it out of my ass but i know i could write some of that stuff and i'm not that smart. maybe i'm underestimating by 2x (40*5) but that's still less than most "exciting" startups that raise series A today. it just takes diligence and "hard" technical skills (familiarity with the relevant optimization literature).

> Even with both "major" FPGA vendors now with their own synthesis and sometimes simulation capability they can barely and/or reliably make that minimum bar work.

not sure what's the minimum bar you're referring to but sure i agree - i work at one of em (the one that didn't file divorce papers recently...) and i still readily admit the toolchain is trash. which is why i wish some consortium would get together and replace it (because i would love to be able to program/design on our own parts using a modern tool suite). and no circt/yosys/vtr whatever aren't there probably won't ever be (yosys in particular is terribly disappointing for all the waves/claims it makes).
> that doesn't make them perl scripts!

but it doesn't make them compilers either :shrug:
As an FYI, this is fine for rough usage, but it's not accurate. The OpenAI APIs inject various tokens you are unaware of into the input for things like function calling.
Harper Reed said this at an 1871 event after Obama got his second term.
What's the difference between a company in India, and a US company full of H1-B workers from India?
I bet that problem was not the answer but how you did it.
Has there been any progress in cryonics in the last 30 years?
I've gotten so used to having an LLM integrated into my editor that when I work on the occasional spreadsheet (or really anything with syntax that I only use occasionally and no integrated AI) it's pretty jarring to have to go to another tab to look up what function to use for a formula (even if that other tab is ChatGPT).
My experience is their official Python library was easy to use, no surprises, everything is typed and generated from the OpenAPI spec in a thoughtful way.

The tools are great because they don't invent their own DSL, they "just" use JSON schemas.

Maybe they ought to contribute changes to OpenAPI to support streaming APIs better.

In contrast so many startups make their own annotation-driven DSLs for Python with their branding slapped over everything. It gives desperate-for-lock-in vibes. The last people OpenAI should be taking advice from for their API design is this forum.
> It sucks, but it’s everywhere and tied into everything.

meh lots of places aren't actually programming system verilog - they're using python/perl to generate it. that's not the same thing.
What rural area enforces building codes strictly?

And what market are you in where a double wide is 300k?

And why are you doing anything with asbestos if it's a new build?

There is a lot in this that doesn't really add up to me.

We didn't have to worry about code, because it's not enforced by the state, but local governments. We did build to code though.

A double wide was 125k fully installed. We chose to build a little smaller stick frame for 100k.

Asbestos. Um. Why?

And spray foam insulation is a terrible choice, unless the wall is already up. Why would you not do the much much cheaper blown in?
Might be a location thing; there are vast numbers of solar hot water systems here in W.Australia and typical maintainence is maybe just replace the tank outright and flush the lines every 20 years or so.

How 'clean' of salts, etc. is the water being put through your panels?

Hard water clogs up faster.
That's interesting because IMO and other peers - it's not that the interviews are hard, it's that the market is clearly saturated. They either don't get interviews, or even if they "do well" employers ghost and never give feedback.
This same benefit exists for the types of writing generally called creative:

>The Primary benefit (aside from any financial one) is that the creation exists afterwards, and is thus available as a form of mnemonic for the creator. They can revisit and re-experience that sensation of creation that would otherwise have been transitory.

https://medium.com/p/b0a2538416e3
omg you can't just ask someone if they are Japanese.
AI meets privacy: ngrok's secure bridge to customer data
My Anthropic account was suspended for suspicious activity, even though I never used it. I had forgotten I had signed up, and tried to sign up using a new email with the same phone number. Locked out forever.
> Until the "industry" values hardware

industries don't value things, markets value things. RTL work doesn't pay well because the products don't sell into markets that scale like software. with the exception of NVIDIA and whatever you call Apple's teams that actually do/tweak hardware, no hardware product has the margins and scale of software. that's not culture, that's physics.

> who know plenty about compiler theory and/or have contributed significantly to it

also maybe some RTL people know about compiler stuff (phi nodes/dataflow analysis/reg alloc/etc) but most definitely do not know anything except verilog/vhdl and perl/python.
Depends on the test. The right test can tell the difference between the set of vaccine antibodies and the set from an actual infection. Vaccine only creates antibodies that target the spike protein structure. I participated in a study and got updates every six months.
The mask-wearing is quite common in the US these days. It appears that many people experiencing unbought merchandise like to stop the spread.
Tech enablement of learners has been acknowledged by the education community and others as a necessity for moving forward into the new skills-based hiring ecosystem for quite some time. The key is skills visibility. After all, what good is an employer focusing on hiring for skills if a candidate cannot prove what skills they have in a clear and verifiable way?

Through the use of machine-readable data, combined with human inputs and organisational technology and infrastructure, educators, learners, and employers can access data about the learner’s progress and achievements 24/7. Discover the transformative power of a tech enabled portrait of a graduate in our latest blog.
of course it does! what else would you call something like chicken scheme [https://call-cc.org/], ats [https://ats-lang.sourceforge.net/], or ghc [https://www.haskell.org/ghc/]? they are not "scripts", they are full-blown compilers that happen to use C as their compilation target, and then leverage C compilers to generate code for a variety of architecures. it's a very sensible way to do things.
None whatsoever!!
Many "seniors" I've seen are just handed the role. They are rarely any good...which makes me treasure the seniors who actually know their stuff so much more, and also feel a fair amount of contempt for the folk handing out paper titles.
Awesome stuff.

The introduction video on the page is very nice indeed to get a basic idea on the inner working of the Excel sheet.
> Answering Y is usually helpful, that's why people do it.

That's just opinion. :)

The indisputable fact is that it is sometimes unhelpful and wrong.

Is it more harmful to be partially wrong in answering/trying to answer a difficult question, or wrong about helping at all?

Still, on the bright side with the rise of AI helpers, most people don't need anyone to answer trivial questions going forwards, and actually, it becomes (opinion, mine) increasingly clear that answering hard questions is significantly more valuable in a post-AI world.

/shrug

I think, most of the time, answering hard questions is actually not as hard as people imagine them to be.

The answer is usually either 'that's not possible because of blah' (eg. platform restriction) or 'doing it that way is hard because of blah, but if you wanted to, you would look up these things to do it'.

...but often people are too lazy to add that to their answers.

5 years is total utter hyperbole. Obviously.

Spend 10 minutes trying to answer X before you say 'do Y'. 10 minutes. It's such a tiny investment of time, you're just being lazy if you don't.
Yeah, sometimes I am surprised by what I was able to figure out as a kid, with no internet or anyone to really ask how to do things. I had books, but mostly just figured stuff out.

I recreated bastardized versions of so many data types that I learned about much later.
"Alexander, who lived in Dallas, Texas, was rushed to the hospital in late February after testing positive for Covid, according to his social media manager. He was released from the hospital but was struggling to eat and drink."

Source: https://www.nbcnews.com/news/us-news/paul-alexander-polio-su...
> but that hasn't been proven at all.

Do you know of anything that provides a strong rebuttal to the research found in documents like this? https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3228640/
Anything to disrupt the everything-via-cloud model. Yes, please, more, don't stop. Fine good useful nice stuff & stock it in bizarrely accessible places.

If anything I'd believe demand is mostly gated on having fairly low expectations of what's available. I fully believe this could expand up & out, that vending machines could provide much much more, if they maintain their well-stockedness & are expansive enough so that we get some curatorial interesting nice shit from our local machines.
I'm not sure I understand how that is meaningfully different from the scenario I played out though. There are a ton of 737 MAXes. Just grounding them all indefinitely? Iif they're just fundamentally unsound by design then there's no amount of reinspection that would fix that, so that does mean junking them all, with no replacements available for a decade, so the airlines are then left without the planes they need to operate their routes, meaning most domestic airlines just go bankrupt.

I guess while the government is at it, they could mandate that Boeing refund all their money for those planes, which might save the airlines from bankruptcy, at the cost of Boeing itself going out of business, which thanks to being too big to fail (Nobody seriously would want Airbus to have a global monopoly on planes) would end up best-case as a GM situation where the government takes over ownership for a while.

Still, for the next couple decades, air travel would just be much more expensive due to scarcity of available seats on most routes.

There are basically zero good outcomes possible here, not with your plan, nor any other, to be honest.
Can this be used to bring the C code from Python wheels over to node/bun more quickly?
Fascinating. Any examples of this?
Mangling the quote about regexes…
http://regex.info/blog/2006-09-15/247

Some people when confronted with a problem, think “I know, I’ll use a different language to generate another language.” Now they have two problems.
To all the ANCAPs that thought they could stick it to the man using crypto. This guy is your best proof that its never going to be easy, never touch the systems ability to tax you otherwise you get the rod.
You can steal a few billion like how Sam Bankman did and get a few years in prison with the best amenities but whatever you steal must be taxed
RAG at Production Scale with Cohere's New AI Model
I believe so too wasm is going to change the game in really profound ways
Hmm - I can't find anything except anecdata atm (0) based on Stack Overflow Developer Survey 2023, but it appears that the numbers drop off pretty sharply starting at the 10-14 year mark. Wish I could find the original article I saw years ago.

Also, This(1) has to be the first time I can remember BLS predicting negative growth in the programmer job market! I always remember it being listed with decent job growth...

0) https://codegym.cc/groups/posts/560-50-years-and-counting-ho...

1) https://www.bls.gov/ooh/computer-and-information-technology/...
PostgreSQL and Databricks founders join forces for DBOS – a new operating system
I get that sand is inexpensive and simple and I like the idea - especially since it scales to an entire town (!)

But I can't help but think of one "technology" that could make a scheme like this MUCH more effective.

a phase change.

for example, it takes 1 calorie for water to go from 30 to 31 degrees F, but but it take 80 calories to go from solid at 32 to liquid at 32 F.

A project I remember reading about that was really interesting was a house constructed with logs that had a resin that phase changed around room temperature. The idea was that the logs would be heated by sunlight, and the resin in the logs would absorb lots of energy without easily going above room temperature. Then at night, they would slowly solidify and give off heat at room temperature. This would be a cool way to stabilize house temperatures without needing equipment.

EDIT: it was called the enertia house

I'm uncertain of the history, it seems there are a lot of different "enertia house" search hits.

Here's one explaining the idea:

https://enertia.net/howitworks.html
Ah, I see what you mean.

> If people were actually concerned

Yeah, and tbh I think (and am glad) we aren't at that level of concern, yet. I really hope we don't get there. I can think of several ways we could get there, though. I really frigging hope that a lot of reinspections and triple-quadruple-checking of things avoids any further disasters that cost lives.
There could be timing and similar context effects there, too; bet that looked different just before vs. 5-6 years after the dotcom crash, for instance. (Neither of those seems to be the time you are discussing, just pointing to that as an example.)
Yeah, I had to look the term up to make sure I was right. The terminology probably depends on where you live.
I imagine that many people's attitude about being careful to avoid covid would be much different if they had a daughter who was highly vulnerable.
Rammed earth is the one that I find fascinating. But I've not seen or heard much about it's use in the Midwest where winters tend to wet.
Of course. And John Ioannidis. And Jay Bhattacharya. And Martin Kulldorf. And Stefan Baral. And Sunetra Gupta. And Vinay Prasad. And dozens of other acclaimed researchers who represent the core of the incredible, laudable, essential, dear sciences of epidemiology and evidence-based medicine.

An entire generation of the top experts in these fields were sidelined, and the spotlight suddenly shifted to nervous second-stringers in order to present the appearance of a vibrant debate in front of profiteering media, piped into television screens in the waiting rooms of daycare centers where under-privileged two-year-olds were forced to put cloth across their face for no reason.

It's obvious to everyone, and yet the apperance of debate is still kept up through not only through dishonest pundits, but botnets on reddit and, I fear, even here on HN.

It's wild.

But we'll overcome it. Don't let it get you down. The scientific method endures and it will eventually win out. People are getting more and more literate and younger ages. The facade is nearly finished.
Well... no.

I believe this to be a cultural difference as well as an economic one.

The marginal cost of open source software is $0. But if you license an ARM core, you're paying money for it (like Apple is doing for the M-series processors). ARM has to make money somehow for the development of it's core.

Open source software reduced risk -- though it took a while. And the reduction of risk was valued by most companies who wrote software, or relied upon it for it's profit stream. Major software corporations at the time (IBM, Microsoft) only increased the risk in the 1980/90's, because they were mostly rent seeking.

Most problems were seen over and over and over again, hence they could be solved with software. And when the Microsoft failed to solve them, the open source community did.

In hardware there's only a handful of companies, and open sourcing anything might lead to a competitive disadvantage. So whatever tooling AMD has, they're not going to share with Intel.

Also when you're paying ARM for a license, you're getting a good core, and a lot of good support.
If China were really THAT involved in the day to day operations at Tiktok, one would expect to see more pro-Russian propaganda with regards to the war. There's little to none that I've seen.
I think the biggest factor that decides where you live is work. You move where the work is, that’s how you survive. You don’t have to use a hyperbole like living on 40 acres. There’s many cities and towns that have social events but aren’t as crammed as SF or NY.
ghc doesn't target C since 7.0. the other two i couldn't be bothered to care even less about. when you can point to a production grade """compiler""" that targets C (instead of emitting ir or asm directly) then i'll be happy to discuss the merits/virtues of source to source translation instead of compilation.
I own a 2010 Prius and I've had to replace the brake pads more often than a regular car because of this, around every two years or 20k miles. I've had to replace the brake rotors twice over 80k miles, as the pads rusted and then wore it down unevenly.

Below 5mph the brakes are used, but it doesn't seem to be enough. Compared to my ICE car they always look a lot worse, and after parked for a day when it's damp have surface rust.

As another comment says, it seems like a software change could fix it by using the physical brakes more. I believe the issue is they get wet, and then don't get hot enough to dry out before parking.