skysight-inc/HackerNews huggingface dataset:
The author notes that API simplicity might be a reason to avoid pushing invariants to compile time:

> What do I mean by “API simplicity?” Well, this panic could be removed by moving this runtime invariant to a compile time invariant. Namely, the API could provide, for example, an AhoCorasickOverlapping type, and the overlapping search routines would be defined only on that type and not on AhoCorasick. Therefore, users of the crate could never call an overlapping search routine on an improperly configured automaton. The compiler simply wouldn’t allow it.

> But this adds a lot of additional surface area to the API. And it does it in really pernicious ways. For example, an AhoCorasickOverlapping type would still want to have normal non-overlapping search routines, just like AhoCorasick does. It’s now reasonable to want to be able to write routines that accept any kind of Aho-Corasick automaton and run a non-overlapping search. In that case, either the aho-corasick crate or the programmer using the crate needs to define some kind of generic abstraction to enable that. Or, more likely, perhaps copy some code.

> I thus made a judgment that having one type that can do everything—but might fail loudly for certain methods under certain configurations—would be best. The API design of aho-corasick isn’t going to result in subtle logic errors that silently produce incorrect results. If a mistake is made, then the caller is still going to get a panic with a clear message. At that point, the fix will be easy.

What I gather from this is that the author chose to define a type (call it A) with an attribute that when set in a certain way will cause certain functions to panic. This was preferred to the alternative (two types, A and B) with functions specific to each and where panic was not possible.

This kind of design decision comes up a lot, so understanding the reasoning here could be helpful in a lot of situations. Unfortunately, the passage is less than clear due to lack of source code inline and the highly-specific nature of the problem. An example with source code using more accessible algorithms might be an improvement here.

That said, I'm skeptical that the full range of approach was considered. I sometimes find that the presence of unwrap is a smell pointing to types that have not been fully fleshed out.

As an extreme case, consider a struct whose fields contained diverse data (numbers, colors, enumerated values), but which are all defined as strings. It will be very easy to put this struct into an inconsistent runtime state because nothing can be checked at compile time. The type itself is anemic. Replacing strings with more constrained types eliminates opportunities for panic - possibly all of them.

I get that the whole point is "at what cost?" All I'm saying is that the tradeoffs aren't clear from the example in the passage.
I do that too. I have a lot of free time.
I really love engineering, and small simple machines, and it is such a shame that so many small simple machines are guns. I still enjoy learning about them and their history, I just wish there were an equivalent for something positive. There is a lot of depth and ingenuity in weapons engineering that is fascinating to read about.
Cool, now compare it to an M2
Yes, that "clear set of logical rules" is called the Rust ownership and lifetime system, and the system that enforces it is called the borrow check. And, having designed a lot of Rust's borrow rules, I'm telling you that the borrow check only works because of the specific rules that Rust enforces: in particular, no more than one mutable pointer to a location. Non-Rust languages don't enforce those rules, so grafting the Rust borrow check onto the language will rule out a lot of idiomatic code. For example, in C++, you would be unable to write shared_ptr<T> for non-const T (this is just one of a mountain of examples), and I'm sure that the situation would be similar in Zig once you start diving into the details.

I'm much more interested in specific details of how to permit mutable aliasing while simultaneously avoiding use-after-free. From what I've seen, the only compelling answer is a garbage collector.
Yes, that's the corresponding miscarriage of justice during that era where white juries would acquit lynchers.

See George Stinney Jr. for an example.
We can already resolve the interframe wobbles that happen due to the inability to preserve spatial invariants on static meshes allowing for dynamic camera motion.

Of course, the spatial invariants of meat-suits in motion require an understanding of volumetric structure, and not just restricted depth surface meshes.

But it's not some unencodable computational enigma.
> the article specifically covers catching panics

I see 3 mentions of catch, all in the same paragraph. It says you can catch it, offers no reasons why you want to then provides an example of output when you don't

That doesn't sound like it "specifically covers catching panics"
juries don't determine damages, only that damages occurred as evidenced. Similarly, jurors don't determine guilt or innocence, but determines whether the presented evidence from both parties are convincing. Judges determine innocence or guilt, and also hands down sentences.
What I don't like about framework notebooks is that they seem to be mostly interested in speed, which is why they seemed to choose these P-series CPUs. With a notebook, I'm much more interested in energy consumption (how long can I work off grid), emissions like fan noise and the like. Why no U-series CPUs?
> From what little I know about it, it seems that if enough people in a community knew about it, they could 100% control what crimes are punished in that community.

Only in one direction, I think. Jury nullification still can't render a guilty verdict, when the law says the defendant ain't guilty. (At least in principle.)
If you bought servers that nickel-and-dime you on NTP that means you haven't put enough time and attention in to your purchasing.
I mean, I also agree that I wish more people cared about global development but I'm pretty sure tremendous amounts of funding still go to those areas from the EA community (e.g. Givewell now directs hundreds of millions in funding that almost all go to more traditional development). I can't find the post but there was one recently breaking this down on the EA forum.
Performance wise, quite favorable. Battery and power consumption, not so much.
This stuff really should be called anti-Keynesianism. It's obsession with scarcity and presumption of the probabilities being well-defined (or even decidable) is completely the opposite.
Surely the real story here is that Framework have released a CPU upgrade for a laptop?
Terrible, I hope these folks are OK long term.

I recall a similar incident, causing us to enact our DR plan a decade ago. A truck driver had a medical issue and drove into the transformers outside a Rackspace facility. Emergency crews required everything to go dark for the rescue. High-power electric delivery is the Achilles heel of the cloud.
Yes, but keeping someone enslaved was not a crime by the laws of that time and place.
Thanks for catching that! I’ve forwarded it to the team.
47GB would be less than 3 cents per month for object storage in backblaze b2. And most repos won't have anywhere near that much storage. It isn't zero, but afaik, GitLab's main competition doesn't have a similar limitation.
That's not actually the argument that the AI Risk people use. It is a possible fallacy for sure but what people actually argue if you read Eliezer Yudkowsky, Nick Bostrom etc is that there is a high probability of building superhuman AI this century, and that by default the outcome is we all die. You can debate these premises but they aren't Pascal's Wager.
Arc flashes are no joke: https://www.youtube.com/watch?v=G0WlqC7MkS0
It is a fundamental issue with TF. It wasn't designed to support that. It isn't generic, it is very specific with the providers. Bolting a generic provider running on top of that isn't going to solve the underlying problems with TF/HCL.
If someone passes a correct password, but fails second factor repeatedly, all from a new, unfamiliar device from eg another country, I'd send this notification too.
Restricting TDP is generally an option on laptops if you really wanted to. Not sure if Framework provides any out of the box TDP switching but software like ThrottleStop can do it.
Guns, bombs and nukes are what keep the world as peaceful as possible. It is kind of a mutually assured destruction thing that keeps everybody safe. Better your “team” have them than some other “team”…
The U and P series parts are actually the same dies on 12th Gen, but binned. If you set the Power Mode to Best Power Efficiency on Windows or the equivalent power limiting in Linux, you can make a P behave pretty similarly to what a U would (with the Intel DTT settings we used).
Buying groceries for a family on a bike just seems like a nightmare, tbh.

I do something at least once a week with my car that just wouldn't be possible on public transport. Quick examples...

Transporting large amounts of already made food for parties.
Transporting a net for use in sports.
Transporting PVC pipes to do some custom hobby builds.

That's just going to be so much wasted time, imo. Plus there's often a lot of weather here that would be bad on a bike but manageable with a car.
Maybe, but 4-5 hours is solidly the point at which it doesn't matter at all to me.

I haven't had trouble finding an outlet for years, even at airports, planes, coffeeshops, etc.
Imagine we found an asteroid hurtling toward the Earth and would hit it with a 50% probability a decade from now, wiping out all of humanity. Is it worth spending trillions of dollars prioritizing stopping that, at the cost of lives that could be saved today by using those same funds?
§2071. Concealment, removal, or mutilation generally
How do you think copyrights around these images will evolve? No copyrights? Full ownership to the one creating the prompt? Copyrights based on specific context?
'cause humans beat apes

and if you plunked down 20,000 humans onto a world with 10 billion apes, humans would beat apes

call it a slippery slope if you want, the fallacy is when you take it too far, not inherently any time you extrapolate anything whatsoever
You remember those Bloomberg articles about SuperMicro servers being bugged? The details they came up with for how the bugs were inserted were kind of out there, but the scenarios for what could be done line up with a compromised BMC.

If you assume something will get remote execution on your BMC, it's likely going to get full access to the BMC, because no updates. Then, what does your BMC have access to? DMA to the host, ability to monitor and trigger lots of exciting things, etc. It's pretty scary if you think about it, but IPMI replaces serial concentrators and remote access PDUs with zero rack space and not much security, so yay?
I have absolutely no data or information to back this up, but I predict a RISC-V based Framework within the next 5 years. And I'll be one of the first customers to buy one.
TLDR; any mention of Tim Ferriss?
Yep! We released an announcement around starting shipments of this two weeks ago. Our blog post this week was just a round-up of benchmarks both from reviewers and from us, to respond to common questions we got around performance improvements.
Over 100K Cars Cut from North American Production This Week Due to Chip Shortage
This should be the greatest era of innovation, FAANGers liberated from their enslavement.
when our team got moved to the companies main office we were going to be put in rooms that were pretty dark and had few windows. i insisted on being in a room with a window or i'd quit. they ended up custom fitting my desk in an empty corner in the hallway which was smaller than your standard cubicle size but had a window.
Exactly! Frankly the format, tone, context, and delivery look like a low-effort shill by an author who's ran out of ideas.
Yes, we intended to do an apples to apples comparison, but didn’t find the necessary units on hand when writing the post.
Here's a simple EV for you:

https://www.thedrive.com/news/meyers-manx-returns-with-an-al...
It is MAD for powerful countries with those resources when they are up against similar powerful countries.
Cool, now show me upgrading your M1 to an M2.
Go over to the dark side http://Yandex.com . It's the only thing that's decent that doesn't rely on Google or Bing.
No, that can’t be. I’ve been repeatedly assured the no states want to go after women for having an abortion.
After you got access to your account, are you sure the email from Facebook was really from Facebook? It could have been a phishing attempt to snag your login creds and regain control of your account.

How did they get access to your PayPal account?
some people can, not everyone lives in a situation where that is possible. it rather comes down to preference.
> none of them use chip backdoors

We’re talking about GDSII files passed around on USB sticks in Chinese factories. Of course there’s blackbox IP on some chips in the wild.
Kodak [1] tried that and gave up. Maybe it wasn't profitable enough.

[1] or some company using the Kodak name
Hope those folks are going to recover.

Hope Google releases details on how this took Google Search down? In theory the entire data center can vanish and everything should stay functional
Once the account is disabled they offer a download with all the data the account had. Not ideal, but your data will be there.
They can also partially occlude their face too.
The sheer amount of land being freed when automated driving becomes mainstream
Yes, that. People downvote anything these days.
What kind of work has been done on discounting future hypothetical lives? Kind of like time-value of money, but for future lives. Yes, valuing a future life as identical to a present-day life is compelling, but since it's just a hypothetical life, it seems it should be discounted somehow.

To me it almost just seems like a "different people can have different values" sort of thing. If you want to value current lives more than future lives, you'll just come to different conclusions than someone who believes otherwise, and maybe both sets of conclusions are okay.
How and why exploiting uncertainty makes products more profitable
We're still in the early stages of remote working era. I could easily see most companies wanting in-person work again - especially startups.
How seriously have you thought about the arguments for AI risk being more than speculative scifi? My take as recently as a year ago was pretty much exactly yours, but I've had time to read and think a bit more recently and I am much less sanguine than I was.
Beat me to it :)

I was going to post this one: https://inv.bp.projectsegfau.lt/watch?v=PO6see7_ODY (this is an invidious link; it's an alternative frontend to youtube)
Got my foot in the door doing an after-school program teaching kids to code.

I leveraged that to get a teaching assistant job at a bootcamp for adult professionals.

I networked my arse off at the teaching assistant job until experienced programmers (such as instructors) realized I knew my stuff but was underemployed. I got a couple of side gigs doing BI Analytics that way.

After doing this, I had a tough set of interviews for my first full-time role. Every failed interview taught me about my weaknesses and blindspots, and I learned from them. I opted to get stronger at system design, stats & ML algorithms, though I feel like grinding leetcode could have been another approach at this point.

Because I had a wide set of marketable skills within data-oriented work, an analytics consulting firm took a liking to me. I had versatility for billable projects, and I got a bunch of tech certifications in AWS/etc. This role would be describable as 'Analytics Engineering'.

They overworked me for a little while, then my next role was a Data Scientist role that was on my own terms.

I don't want to make it sound like I could just jump in no problemo. I had to think strategically about how to climb each rung of the ladder. But I am now at a point where I have the experience needed to be a senior. While some companies might turn me down for not having a piece of paper, there are enough who actively want me that I am sitting pretty with my career.
Ask HN: Can no-code automation and no-code in general help DevOps?
If you haven't read it yet, I think The Manager's Path by Camille Fournier is probably among the most practical books on engineering management out there.
> it's hard to believe that they're uncovering actual biology and not just chance correlates with external/socioeconomic factors.

This is routinely validated on siblings. If the polygenic scores are as accurate in predicting differences between siblings (who, presumably, share substantially same environment) as they are between unrelated people, it means that they detect real, biological things, instead of just some kind of population stratification. The linked abstract, of course, mentions this, and you'd have known this if you had read the article.

Also, your assumption that socioeconomic factors are independent of genomes (that they are just "chance correlates) is also substantially wrong. Genes correlate with socioeconomic factors, because they often cause socioeconomic factors. People are not born into socioeconomic conditions randomly, they are born into socioeconomic conditions of people who share half of their genome with them.
I am going to get a lot of flak for this. But the more I read things like these, the more I feel marriage is not for everyone and society has a whole should stop gushing down this concept to next generation.
Personally I feel, If you have to write a note to your spouse everyday to "save your marriage", then you probably didnt have one to begin with.
This is wrong. Trading is positive sum. When companies trade with employees to buy labor or trade with consumers to sell goods, all parties are better off from the interaction — otherwise they would not trade.
Seems like a buried lede here is that limits also now apply to paid accounts. Just checked my team’s name space: we have 700GB of storage used, and gitlab is going to start charging us $0.50/month/GB for everything in excess of 50 GB. On top of the hundreds of $/month we’re already paying in per-seat pricing. That seems absurdly expensive.
Well then you are minority.

I want a portable desktop, speed I can bring with me without lugging my 35lb liquid cooler setup with its 4x140mm radiator.

I want something compact and sexy but insanely fast when I “dock” it
That was a mistake, but not such a spectacularly fatal one.

However, it does illustrate the underlying irrational process by which Japan drifted into the wider war. The decision to go to war in China wasn't the product of deliberate reasoning at the top, but was the result of actions of lower ranked hotheads in the Army.
Why wait?

https://arstechnica.com/gadgets/2022/07/first-risc-v-laptop-...
Doubtful they'll be okay long term. Even if they survive the burns, electrocution does a number on most of your organs including your kidneys. I'm in no way to evaluate the veracity of the claims (which are mostly: electricity damages the body in a lot of different ways), but here's a graphic description of the damage electrocution does to the body:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6026718/

What I'd read in a non-academic context is that the kidney damage suffered from electrocution takes more than a few years off your life expectancy. I couldn't (quickly) find an authoritative source discussing long-term survival but burns and acute rhabdomyolysis (like the paper above is talking about) on their own are no joke.

It'll be interesting to see if Google opens up about what went wrong.
Or if you want to use Apple but don’t want to be tied to the Arm ecosystem.
This is simply a tip that has worked for this person, and could work for others.

It doesn't have to work for everyone to be useful.

Also, I feel like far too many people have "holywood" views on what marriage is.
Robotic motion in curved space defies standard laws of physics
6800U is awesome from what I’ve seen — better efficiency by far, and legit integrated graphics better than Xe — but it is vanishingly rare, even months after announcement.

The scale Intel has in manufacturing mobile CPUs is still unmatched.
If you go back to the old 80,000 hours blog posts, they stress not getting into the most oversubscribed fields, given that the marginal contribution of a incoming do-gooder is likely to be minimal due to the great interest in those fields already attracting a lot of intelligent people. Before COVID, I might agree that EAs should get into pandemic prevention - Bill Gates was certainly concerned. After COVID, pandemic prevention is probably only second to climate change in the level of oversubscription. What is your alpha in pandemic prevention?
Would increasing the RAM really make that big a difference in terms of kernel compilation time? It feels to me that 16GB should be plenty for any sort of caching that will speed things up.
> IMO dedicating funding to improving child care, healthcare+diet, and k-12 education will have a much greater impact on increasing a society's measures of intelligence and educational attainment.

Maybe if you do it in North Korea, but US/Europe are already pretty much "maxed out" here. You can always improve things on the margin, but you're not going to see substantial gains of even d = 0.5 magnitude.
I travel a lot. That’s going to be increasing by the end of the year as my wife and I live the digital nomad life flying across the US. The freedom of not having to worry about your battery life for a day of real world use is amazing. I’ve only had that over the years with an iPad before ARM Macs.

Not to mention your laptop not getting hot enough to boil eggs or sounding like a 747 when you open too ,any Chrome tabs.
A bit more specifically, "misalignment" is super common in existing ML, and models seem to be gaining capability (and knocking down targets that until recently seemed well beyond our reach) much more rapidly than we are gaining the ability to understand their internals or make guarantees of any kind about their worst-case or out-of-distribution behavior.
The success of the thin-and-light segment, and the MacBook Air in particular, suggests that OP is very much in the majority.
And how reliable Google services are that you can have that kind article.
i think you're missing the point. it's not that you have to write a note to your spouse to save your marriage. the act of writing forces you to think and evaluate, and those acts of reflection, and 'public' appreciation, help keep the small problems from becoming the big problems.

like in karate kid, "wax on, wax off" is not about the wax.

but, you're right, marriage isn't for everyone. but i also don't think TFA is trying to convince everyone to get married.
The one case I was a juror on, there were questions about specific details of the charge vs the standard for a conviction on that charge. We couldn't get clarification because the judge decided to go home at 4:30, 40 minutes into deliberations.

No one wanted to come back to deliberate another day, so we convicted on the counts we were sure of and acquitted on the remainder. The aggravated details made no sense as the verdicts were read as they ended up being grossly inconsistent. In the end, the defendant was sentenced to 6 years. It could have been 60 years if the judge had hung around though.
First gen unlikely to be low(er) power though surely? I can see this emerging, but power would have to lie in the space of "premature optimisation" risks. For intel, AMD & ARM they're all multiple generations in, have understood their exposure of risk to parasitic effects in the VLSI of choice, have fab at viable defect rate. RISC-V is more played with in FPGA or emulation than otherwise. (happy to be corrected, but I think this remains true)