skysight-inc/HackerNews huggingface dataset:
There is something backwards about how safety checks are done in C.

First it's up to the programmer to put them in.
Then hopefully the compiler will optimize away the unneeded ones. If the programmer though biffs and forgets then oops. And of course classically we blame the programmer not the system he's been forced to work under.

That seems like a reasonable thing in 1982. Which is 40 years ago.

It would be better if the compiler implemented the checks automagically and removed ones it knows it doesn't need. And bonus, if the programmer puts one in, leave it alone.
I explained I would never impose the death penalty (it was 1st degree murder) and I was excused
I never remember explicitly learning the epsilon-delta definition. By the time I had worked through enough problems, read enough books etc I just knew it.

I saw other students learning definitions etc off by heart and to me it seemed liked they were doing it because they hadn't really understood the material and it would get some them marks. It was probably the right exam strategy if you didn't deeply understand the material to optimise your marks and get a reasonable pass mark but I don't think it was the right way to really learn mathematics or get one of the top marks.

I did learn and test myself on the structure of some of the more complicated proofs in my finals I mostly revised by doing old papers though.

(Feel I should offer some credentials but also don't want to brag, but feel I am about as qualified as one can be to talk about doing extremely well in maths exams :-))
Beyond clownish that apple didn’t just release this themselves. Kudos to the creators for doing the job apple should have done.
I would love to see a demo of SK8. I've never been able to get it to work in any of the classic mac emulators. If anyone out there has experience with this I think the community would benefit from some videos
Amusingly when I was in voir dir it was all about the lawyers in the pool getting excused.
That would be true if any of the members of the party in power were ever prosecuted for their crimes.

The core problem here is that the only attribute which correlates to likelihood of being prosecuted for alleged crimes is "political party affiliation"
not at all relevant to this outage
I have never touched a gun. And I don't intend to.

(I'm from a country where people don't have access to guns. And most animals here are considered exotic and shooting them is illegal.)

Nevertheless, I can appreciate a piece of good engineering, even if a little dark.

I also like other well engineered simple long-lasting stuff. Things like the Toyota Land Cruiser, BMW B57 & B58 straight-6 engines, and ThinkPad laptops come to mind.

People sometimes even say "ThinkPad is the AK-47 of laptops".

What are some other well engineered long-lasting products?

---

Update: explained why I haven't touched guns. Thanks for the downvotes ;)
No idea which way it will turn out, but I’ve been assuming the opposite for startups actually — startups that don’t have an office and recruit more widely could more easily keep costs down early on in their life.. but yea much more fast paced startups that want to grow super fast would likely want to have people all together in one place to try to instill a sense of urgency in the workers probably..
After Apples announcement of M1, I feel like it is mandatory for such a laptop test to discuss power per watt and for how long you can game on the 11 vs 12th gen processor.

I also feel like it is worth mentioning that 12th gen laptop is priced ~ $150 over the 11th gen.

If you're coding against an online build system and 11 last an extra hour (or whatever), it's a no-brainer to stick with the old one.
The meta is how to make society ready for new big threats. How can counties communicate and collaborate better. Using climate change and covid as learnings. If we can do that then we have a better chance of surviving $BIGPROBLEM when we don’t know in advance what that problem is.
I think your use of the word attractive is wrongheaded, but if I set that aside your logic is also self contradictory. Lack of attention can cause lack of attraction, and thus attention from an “unattractive” person can cause attraction.
In the Anglo-American tradition, juries cannot nullify, make, or frankly do anything else with law. What they can do is decide the facts. Jury nullification is the jury legally denying the facts, no matter how observably true they are. Because legally speaking the jury determines the facts, that’s that. A judge can overrule a guilty verdict, but not an innocent one.
it was not DNS
The answer to 'what goods can we not live without if delivery isn't stable and regular' is that you go back to the traditional approach which was used for centuries when delivery wasn't stable and regular: simply keep large inventories of the goods. [In recent decades business switched to Just In Time, but this has been shown not to work with irregular delivery--so business is going back to the traditional methods.]
you don't. You assume that the key distribution mechanism is secure, so that whoever has the key _is_ who they say they are.

This doesn't prevent adversarial impersonation (where you cannot trust the party that want themselves impersonated). E.g., if you are an employer, and interviewing via video, you cannot tell that the person authenticated and performing on video is indeed the person you're hiring. I dont think this is a problem that _should_ be solved tbh.
This is ridiculous. Why do people behave this way?
With the pod, you still have the per-VM/node resource constraints, so it's an additional layer.
It's not "reunification" because Taiwan was not part of China to begin with. Taiwan is it's own democratic country. China can fuck off.
What type of battery life are you getting on an Mx MacBook?
It's for people who are all-in on the Sonos ecosystem, which supports stuff like multi-room audio (listen to your podcasts as you walk around the house), integration with music services etc.

If you just want a single pair of speakers in one room and are fine just casting off your phone, of course Bluetooth is fine.
It is almost certainly because its easier to source larger chips. The hardware product I work on has twice the RAM it needs, and an order of magnitude more eMMC than it needs, because we couldn't get smaller parts.
What scares you from touching guns? Guns are fun, shooting is one of my favorite hobbies but I don't one a ton like a gun nut.
Are you referring to the work of Fabrice Bellard? I thought he only showed the proof of concept for text data, using language models, only?
The defendant attorney didn't kick that jury off?
Indeed a necessity for every opportunity seekers out there! I personally have landed so many wonderful opportunities using my Fueler proof of work portfolio and it's bucket
I found the guide difficult to understand, but I think the end product is connected to new speakers. At least they link to buying a pair of speakers.
"Open-source" but no license? Maybe I'm just missing it (on mobile).

Nice renders though.
> I’m a husband who is 30. I also have 4 kids, ages 6 and under. I’m the sole-provider for the family (though my wife works harder). Between the job, the kids, and extrafamilial obligations, there’s not a lot of time for communication with my wife. We’re on the go from sun-up to sun-down, and at the end of the day we drop into bed exhausted to get just enough sleep for the next day. Very often in the past, a week or so would go by and I hadn’t even so much as checked in on my wife.

Sounds like hell; is this the American Dream?
I think the reason it's not a compile-time error is that it's actually possible to select your ordering at runtime, like this:

use std::sync::atomic::*;
let x = AtomicU64::new(0);
let ordering = if rand::random() {
Ordering::Relaxed
} else {
Ordering::SeqCst
};
x.fetch_add(1, ordering);
My XPS didn't blow. My MacBook Pros (Intel) always did. As others have shown heat management in Intel MacBook Pros were abysmal and not comparable to other Intel Laptops. Yes, the M1 is a huge power efficiency jump forward, would love affordable ARM desktop machines, but a lot of the MacBook Pro (Intel) problems are from very bad heat management.

[Edit] My understanding is, that a lot of power efficiency and performance comes from the large cache - not only ARM - which is more efficient than main memory and faster - also see AMD X3D. (per core AFAIK) Ryzen 7 L1/L2: 32/512, M1 L1/L2 192/3072
The grand jury and the jury for trial are different things.
I think I can safely call the gas chambers the Nazi created as intended to be an anti-semitic weapon.

Could they have been used in another manner? Yes. But we all know what the intent was, and any engineer who worked on that project knew damn well what was going on.
I remember the crypto wars of the 1990s. I played my own small part in 1992:

http://www.shub-internet.org/brad/cacm92nov.html

I was a member of DC CypherPunks, with Declan McCullagh. I got to meet Whitfield Diffie. I saw EFF and EPIC and other such organizations get created.

I was just a tiny fly on that wall, but it was clear what we were up against at the time, and how things have just gotten worse since then.

Back then, the crazies were worried about these things called RFID strips that were supposedly embedded in all the money, so that the government could track you wherever they wanted.

Today, we all carry around phones broadcasting Bluetooth or wifi MAC addresses or RFID tags to tell us where we lost our keys, and we give them so much more information than could ever have been gathered by the claimed RFID strips.
Even with shared network BMC's, NTP will work fine.
I'm not sure what BMC they are using that does not have NTP - it's been around all aspeed BMC's for a decade.

I'm not aware of anyone charging for it, either.
I've used Reciped.io a few times so far and would recommend it to software developers that are busy and find it overwhelming to google recipes. I collect recipes and do my meal prep after recipes pile up in my recipe book.
I mean, if "the vast majority of citizens thinks something is a good thing", shouldn't it be legal in the first place? Because democracy.
Is there anything new in Lane's new book ("Transformer") that readers of "The Vital Question" wouldn't have already read? I have read a few of his books now, and have enjoyed them. Curious about the new one.
Something that truly amazes me, is how well Dall-e handles lighting. The lighting and shadowing is really good, comparable to a path tracer, except it isn't really doing the super expensive light simulation that a path tracer does.
The question is now if you mean cryptography or cryptocurrency, although I am afraid you definitly might mean the latter..
I understand the desire for criminals to face their crimes.

The fact that this happens in the recent aftermath of the election of the leader of the executive branch, under which the FBI is contained, against his adversary just leaves a very politically charged taste in my mouth. I wish this were applied uniformly. Pretty much all presidents have likely committed crimes so I'd at least like to see them serve warrants against Obama for his approval of drone strikes that killed children and Bush for orchestrating the lying about WMDs in Iraq and subsequent carnage. Hopefully we can use Rico charges to put all current living presidents in jail, all the way up to Biden.

It seems all too convenient and politically motivated that only the adversary of FBI's branch of government has a warrant issued. This kind of targeted attack while ignoring war crimes of former presidents IMO is even worse than no justice at all, because it creates a precedent for political targeting.
When you're working on clearing away a backlog, your review periods should get bigger because Anki will give you "credit" for recalling these items longer. So it seems like reviews should be manageable as long as you're not forgetting too much. And Anki will always prioritize the items you're at highest risk of forgetting.
The Getting Started only mentions Visual Studio, but the README only mentions CMake:

> This project was recently migrated to CMake and the setup instructions have changed. They will be updated here shortly.
Indeed, the Russian military was explicitly trying to develop a weapon like the 44. First they developed the 7.62x39 cartridge and then developed a weapon to use it. Kalashnikov had been working on a sub machine gun design and then adapted it (redesign really) to the new cartridge.
How do I position myself to get luckier?
> "30bit displays are unusable under Linux"

Have you read the rest of the sentence? It lists current unresolved issues.

Who the hell cares you can enable 30bit mode _only_ under X.org when the most crucial applications fall apart under it?

> I see almost nothing that applies to my computers

Yeah, it's addressed in the article:

A lot of people who are new to Linux or those who use a very tiny subset of applications are quick to disregard the entire list saying things like, "Audio in Linux works just fine for me." or "I've never had any troubles with video in Linux."

I won't reply to any further comments down in this thread because as always people read a few lines, disagree vehemently and close the page. If you don't bloody care to read everything then just don't post comments, OK? I understand most people nowadays have a severe case of ADHD and only capable of watching 30 second TikToks, but guess what this webpage is not a TikTok.
That has the downside that you're now limiting what protobuf payloads you can send. You need to have the inner protocol (protobuf) cooperate with the outer protocol. That also makes it difficult to switch to a different type of payload besides protobuf, since even if you could convince the protobuf standard to reserve a specific key for the outer protocol, you might not be able to convince the standard for a different protocol to reserve that for you. The article says "gRPC is definitely not Protobuf specific".

It's like an intrusive linked list vs std::list. Sure you can do intrusive linked lists, but it means you have to clutter up your object with info about how it's stored. It mixes the layers.
Thanks for writing this down. This is problematic for me in so many ways. If I have a fast computer, connection, things flow. But obviously that's not always the case. Sometimes something takes 2 seconds. Maybe 5. Or 10. Or a minute. To deal with these miniature disruptions seems really difficult.
Thank you! I will definitely test and iterate.
It does feel like more of a sociological than a philosophical overlap, aside maybe from consequentialism. The best argument for GiveDirectly and mosquito nets over structural change is that nobody honestly knows how to move the likelihood of the latter with a few thousand dollars, so you can reasonably choose to definitely do something that will at least really help someone over trying to fix an alleged root cause but most likely having no effect at all. But then our understanding of how to invest in AI alignment is even worse than our understanding of how to invest in reducing root causes of violence and inequality.
Regardless of outcomes, your faithfulness is still virtuous. Living completely in inner truth is what you want to aim for. Sometimes that means persevering in truth over a period of time. When it doesn't work out, you have trained yourself to be faithful. The most important thing is probaly that whatever you are doing is truth for you, but without dependency on the other. There is no dependency when reciprocation is not necessary in order for you to feel loved by the simple act of doing what is true for you. I've met a person with an imaginary relationship and it keeps him focused on his creative output. It's very important to be able to maximise creative output (perhaps through your muse?) and to not overrationalise. That is because we live in the age of DALLE and artificial imagination, and you need all the entropy you can get!
what do you mean by "loses net energy"?
> I'm not sure how much I should worry about AI, but I'm certain that for the people who are worried about it, it's because they're convinced it's a threat, and they aren't having fun.

I've met a lot of these people and regardless of how you feel about the sincerity of their convictions, they are definitely having fun.
A YouTuber, Luke Miani, gave it a try recently. Of course it doesn't work, but it was interesting to see that mechanically everything fits and the chassis is of course practically identical, but it doesn't work because FU that's why: https://www.youtube.com/watch?v=q_jckhYfGBw

No surprises there. Apple also firmware locks the swappable storage modules on the recent Mac Studio: https://www.engadget.com/mac-studio-ssd-software-lock-211410... No repairs or upgrades for their customers.
Companies of One Need Flywheels
I like to think that saying lynching black folks is "in principle clearly wrong" is one example where I am okay with thinking that I am certain enough to override a "community's beliefs" about what is right or wrong.

I don't think that this is a magical power.
I don't know. It sounds amazing though, if it is.

Are there any videos that shows the power of a Smalltalk IDE?
I’m rather disappointed in 12th Gen for mobile. I have a AMD 5800h Lenovo laptop and a 12700 Dell. The dell stutters, fans spin, etc. the Lenovo is just rock solid and fast. Never stutters or slows down. Fans spin up only when playing games.

I wish framework would do an AMD laptop. But Linus put them in touch with AMD and they done nothing.
That doesn't justify the build part.
It’s like every panel has a claymore mine in it
Hopefully the author is sensible enough to not be hurt by the most mild disagreement to the article point.
Two different people on the team running the benchmark at two different locations (the challenges of being remote-first). To be clear, had we prioritized it, we could have built two equivalent systems for this benchmark at one site. However, we are mostly focused on building products, so most of our blog posts end up being someone having a interesting topic to discuss and pulling together data and assets we have on hand or can create quickly for it.
I very much hope most of us here think that lynchings for having the wrong colour of one’s skin is wrong, while history has showed that there are communities that don’t consider them crimes.

There are good reasons why we try to minimise how much of law enforcement that are left to peoples discretion.
> I think memorizing a smaller set of facts consistently is better

In general, existing SRS does a very bad job of supporting priority and prerequisites between items. There's no way of saying "learn A, B, C, then learn X, Y, Z once you know the former well enough." This limits the domains where SRS can be applied most effectively to ones with very little structure, such as raw language vocabulary.
> The thing with any AI/ML tech is that current limitations are always underplayed by proponents

if you don't worry about deepfakes, ok. But if you worry about deepfakes, you should not be reassured that this glitch is going to save you.

I'm not a proponent, just think your argument in this context doesn't work.
Your customers don't care _why_ your service is unreasonably expensive.

Would you go to a dry cleaner that charged you $50 a shirt because "I fly the shirts to my brothers shop on the other coast to be cleaned"? Of course not.

I can think of no reason why you need to be on AWS vs a dedicated server or a stack of used Dell servers in your garage.
> Intelligence is inheritable.

inheritable traits like intelligence tend to revert to the mean.
Do you see any room for automation?
this is probably related to the effect of different ways we perceive love. see the five love languages. we need to talk to our partners about that and try things to find out what makes them feel our love. and also tell them how we receive them.
Refinement types.

Because instead of using types you can use proofs. And have the compiler prove things about your code.

You then may not need such complex higher order types in typed code.

And you could retrofit this to JS, Ruby, C so you don’t need to learn new languages to get excellent type safety.

For example assert that a number is in the 0-100 range and have the proven at compile time. Not just unit tested. It would be amazing.
nope, not only this guys examples are bad but he just tries too hard to be a contrarian for the sake of being contrarian. i called him that & he blocked me [1] for some reason. probably there's some truth in it that he got hurt.

his examples are so bad. i've read paul graham's essays, naval's thread & alex hormozi's $100m offers book & all are quite good & easy to understand. naval's thread is a big hard but he has whole bunch of podcasts (4 hours) [2] explaining them in detail & articles [3] to accompany them.

the op's entire schtick is to sell his courses by writing articles. first he wrote an article on build a business, not an audience [4] & then did a complete 180 turn & has been building an audience ever since. then he started selling courses. it's like his schtick is to go against the popular ideas & attack them to garner following.

although, he does have some good insights in a few of his articles like when he summarized a book (nathan latka) or a video (sam parr)... rest of his posts are purely trying to hard to be a contrarian. tries to hard to be like peter thiel except he doesn't have any real arguments.

you don't have to believe me. just read $100m offers & apply it. that book could've saved me many years of trying to figure out the framework myself & has every single technique mentioned on how to make a good offer. if you actually follow the advice to the t, you will actually be on the pathway to your 1st million. not to say, the author himself is worth >$100m & has a portfolio of companies making $150m/year so he'll be a billionaire in a year or two. you don't become a billionaire without any real insights unless you are a trust fund baby.

[1]: https://twitter.com/deadcoder0904/status/1528327537872760833

[2]: https://www.youtube.com/watch?v=1-TZqOsVCNM

[3]: https://nav.al/rich

[4]: https://jakobgreenfeld.com/build_an_audience
The Americans may close their mouth until they acknowledge the ridiculousness of The Los Angeles Angels.
The way Samba "integrates" with /etc/{passwd|groups} is horrible/asinine/and broken.

It's a completely alien to Linux daemon.
Discussion: https://news.ycombinator.com/item?id=32393536
Data-derived advice for designing a set of keyboard shortcuts
Show HN: Loop, run a command in loop and nothing else
This is a small utility to loop a command, in a shell. This is deceptively simple, you can loop a command forever, or loop until it is succeeded or failed.

Currently, it really does nothing else than a bash `for` and `sleep`, but I intend to add the possibility of running a command in loop, in parallel.

In conjonction with some tests/stress tools (like https://hurl.dev who I am one of the maintainer), I think this can be useful to other...

$ loop --iter 4 --delay 1000 date
Tue Aug 9 06:59:58 CEST 2022
Tue Aug 9 06:59:59 CEST 2022
Tue Aug 9 07:00:00 CEST 2022
Tue Aug 9 07:00:01 CEST 2022