skysight-inc/HackerNews huggingface dataset:
I'm so sick of hearing this talking point. It's immediately followed by "the right of the people to keep and bear arms, shall not be infringed."

Who's right shall not be infringed? The militia's? No. The people's. The militia is made up of the people. The militia has historically been comprised of people bringing their own arms to fight. How do you bring your own arms, when they're banned from personal ownership?

James Madison's original draft of the 2A mentioned that even those that wanted to bear arms privately for their own reasons should not be required to participate in a militia in order to do so.

“The right of the people to keep and bear arms shall not be infringed; a well armed and well regulated militia being the best security of a free country: but no person religiously scrupulous of bearing arms shall be compelled to render military service in person.

It was removed as "too verbose", but the intention still remains.
research show that people are apparently terrible at evaluating how many calories they take, even dieticians. by cutting more addictive food, it's possible that you're actually eating less than your otherwise would, even if the numbers don't seem to add up
Somehow I've managed to avoid getting zapped by the flyback transformer.
Why call it apocalypse when there are no signs of it actually dying. It's a big cleanup, ponzies bust, worthless coins bust, every project has to proof its relevance again.

It was fucking time. People started to loose any relation to anything with all those masked ponzies & not even alpha metaverses.
Arduino is notorious for promoting this sort of synchronous, main-loop only code. It is a horrible model for embedded devices unless they are severely resource constrained.
I was in school after 9/11 when they started having terrorist drills and such. It's not like we sat in fear all day. We were kids. We weighed it the same as the fire drill or the tornado drill. Even seeing 9/11 on TV and being of age to vividly remember it and understand what it meant didn't seem to do much of anything 20 years down the line now in terms of traumas in my generation. At least kids aren't being forced to die in a far away war when they turn 18 anymore like they were in my fathers generation and in his fathers generation.
A tool to convert Firefox installed from distro packages into Developer Edition
It brings a number of benefits, such as being able to install unsigned addons and being able to use WebExtensions Experiments, which gives access to browser internals pre-quantum addons used to have and allows to expose them to regular addons as permissions.
Oh wow, do you find this sort of a career fulfilling?
It’s funny, they way I describe the relationship I have with weight loss is exercise is that the exercise is giving you the reason to eat clean. You won’t want to make that effort worth nothing. It’s not the same for everyone but I certainly notice it
There is a very sad hypocrisy with issues like these. Most decision makers (who are non-technical) sport iPhone. Just works (both Apple and the user).
When seconds matter, the police are minutes away.
For me personally I have noticed that exercising helps me by modulating my food cravings.

I'll get hungry of course, but in a way where I'm more happy just eating some reasonable amount of actual food instead of stuffing myself with a bag of crisps or worse.

This might also be psychological; it feels good after exercising so I feel more inclined to stay on the path.

The result, either way, is that while I know from experience that just changing my diet works to lose weight, it becomes a lot easier to keep it up when also exercising.
But why?

This is rather trivial to do, but I’m curious why you’d ever want to do this and have you considered how much disk space you’d need?
You are demonstrating the level of geographical and political knowledge that people expect from americans. I hope this is satire.
Don't learn a language but learn tooling? As in learn the most likely thing to be completely tailored to a company's specific processes, undoubtedly using something you've never used before, and impossible to actually practice on at home with learning or side projects? That makes no sense, especially for a software developer.
also crippling the browser so it does it not eat into app store profits.
How are you pretty sure about that? According to survey data[1], even full time employed mothers (let alone fathers) spend on average about double their time on leisure and sport (2.89hr/day, including 1.48hr/day watching TV) than on caring for children (1.37hr/day).

[1] https://www.bls.gov/tus/tables/a6-1519.htm
> and that loading the site and using the code at work would promote conversation about the topic of the logo and it’s narrative.

Or we could be adults and treat it in the way we treat any peculiar thing in a corporate environment, that is, ignore it and move on to what is actually needed? I've been in such situations quite a few times (mixed male/female environment, some old guys and young interns), and the maximum you could count on was a "well, that's an interesting choice", but most often people would just completely ignore it. We're not in elementary school to shout, "look, copulating turtles!"

On the other hand, I see your point. People got extremely cautious over the years because of real and perceived harassment attempts and their consequences. I can understand showing this page at work could be perceived by some in the same way as the famous dongle joke on a Python conference.
It is. Your joke is professed reality for probably a good third of Americans.
Neither of the first two nor anything else ending in a question mark unless you're really asking a question.

Not #3 because you're still being coy.

I'd suggest #4 or #5 when dealing with peers but they aren't interchangeable, they mean different things.

Save #6 for when you're giving tons of feedback to a junior.

If you're worried about being perceived as harsh or unfriendly, remember you can still be super friendly in the chatter on either side of the review session.
The TLA+ Home Page
Which is why you use vsync, ensuring the game renders once for each frame your monitor shows, as opposed to having the game just guess when it should present frames - which can produce tearing or be at the wrong frame rate entirely.
Because the kernel code isn’t pulling dependency code from the internet OR a compiler that changes every day. Kernel code will be checked into the repo, dependencies if any, will be vendored. Nor will much of crates.io be relevant - the kernel will only use no_std with fallible allocations.

As for the compiler, it will use a pinned, stable compiler, not nightly.

Why are you spreading FUD about nightly + Linux on this thread? At no point has this combination ever been considered.
I registered for Apple TV just for Foundation.
I did the same for Amazon Prime Video because of The Expanse.

Once I saw those two ended for the season, I also ended my subscription.
> Apple TV otherwise feels superficial and fake in a way to me. Shows like For all Mankind and another one. They feel sterile.

I never found For All Mankind or any other Apple TV+ show to be sterile (well, maybe apart from Severance, but that is deliberately done) - to me, they have an unparalleled production value. Nothing comes even close in the streaming landscape. I wonder if that is creating that feeling for you.
Paywall: https://archive.ph/pmbPO
That's what you and I would do if we controlled our own wildly popular platform.

This is not communism. Corporations want to make money and control their own destiny.

Why should Apple, a private corporation be fully open? Seriously. I want diversity as well. But will that happen? Will Apple, Microsoft or Google allow just about anything on their platforms??

Heck no. Ain't gonna happen. Our countries are run by companies which are run by humans with a profit motive.
This site looks horrible for me due to some font issues?

See https://i.imgur.com/dAHmjSc.png
For articles I want to read later I use Pocket. It syncs nicely to my Kobo which I like much better for reading long articles than a computer screen.
I would add:

- do they communicate about their work?

For me, that's number one. Often, really smart programmers are really terrible at communicating about what they're working on. They get into Lone Ranger cowboy mode and write tons of code without telling anyone what they're doing. They may get a lot done on their own, but it makes them nearly impossible to work with as colleagues. If I had to choose between a coworker who wasn't very good at coding and a coworker who wasn't very good at communicating, I'd gladly choose the one who isn't very good at coding.
I am surprised that "Know your customer" regulations have taking this long to arrive at a fairly reputable exchange.
Unfortunately I can't find the link but somewhere out there I've seen one you'd like; a radically helpful theorem prover that advertises itself as the quickest and easiest way to prove anything. The joke is that everything is true.

For those in this thread who are interested in HoTT and looking for a way in, I'll point out this series of online lectures (+ discord etc. in fact a school) beginning very soon and seemingly designed to provide that introduction. https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer...
I play nvidia GeForce now through safari. Added to my Home Screen it has no browser chrome, and it supports my Bluetooth controller pad no problem.

What is crippled?
It’s not just WebKit. Devs can’t extent WebKit very much. Orion is trying but they’ve barely gotten anything done on the iOS extension side. There are limitations on what you can do by linking into the iOS web browser API, it seems.

I recently switched to Mac with great success. So I decided to try out the iPhone. I hadn’t used one for years and I was sick of Android.

I’m still no great fan of Android. And so many little things are better on iOS.

However, the SINGLE BIGGEST THING is absolutely broken. Browsing on iOS is unusable if you’re used to uBlock Origin. I can run that on Fennec/Firefox. I cannot do so on iOS. I was hoping the content blockers and extensions might come close. They do not in any way.

I don’t even REALLY like FF and I don’t like Android but those are the options if I want browsing that doesn’t suck.

Or maybe I’m missing something and someone can enlighten me before I return the iPhone.
Honest question: Are there things privately you care about? I take pride in parts of my work with the same emotional response as I take pride in my family. Not exactly the same magnitude, but the same emotional pathways at work. After 15 years of working I've learned to say "no", manage emotions, etc. to become at least robust in not 'caring' about office politics and such (in the emotional sense). But I do care about my work. It's the main thing I do.
They're doing way too much now
Since we are cherry-picking terms, what most people imagine when the term 'nazi concentration camp' is mentioned is actually extermination/death camp. Organized mass murders predominantly via gas chambers or shooting. Wikipedia mentions 6 of those - Chełmno, Belzec, Sobibor, Treblinka, Majdanek and Auschwitz.

Concentration camps per se were just as name suggest - place to concentrate large group of undesirables, either for further sending ie to death camps, or organized hard labor of anything reich required. That horrible things happened en masse and conditions for survival were slim also here was just down to humans (at least in appearance) who ran it.
For several years I exercise in fasting state, 14-18 hours of fasting.

I can easily not eat for three hours after exercise. Actually, I experience no hunger at all.

Could just be conditioning. Sample size of one.
What if you're l3 certified through ASE to work on all those components? Why can't those people buy any of those parts without working for Tesla? Its not limited to high voltage components, Tesla won't sell you a simple fender either.

People don't always understand me when I make this argument. We aren't just talking about fixing your own Tesla in your driveway. We're talking about your certified master mechanic that has more qualifications than an average tesla tech fixing it at their independent shop.
wow, this really undermines the privacy aspect of cryptocurrencies. i guess more reason to move off of exchanges.
That's what the libertarians have been about for forever. Democrats: hypocrites. Republicans: hypocrites. Libertarians: you can be a trans, pot-smoking, gun enthusiast. We don't care.
> and it seems one by one the promises of crypto of the last several years are evaporating

Promises of crypto have nothing to do with some random US-based centralized entity. Not your keys, not your coins.
> Exercise is good for you in a whole lot of other ways, but the idea you can outrun a bad diet is pretty thoroughly debunked at this point.

Perhaps you can't "outrun" a bad diet, but you can certainly out-lift it.

Weight training leads to stronger muscles, stronger muscles spend more energy, more energy spent leads to losing weight.
Do you mean it's kind of like a red flag when they don't use git?

In a previous life I worked at a successful 30-person company. We used SVN and just didn't think the migration to git was worth it.
Should you use semicolons in JavaScript?
> I am just going to jump to another company the next year as I did not get a raise.

Why would anyone give you a raise if you work with this mindset? People get raises and promotions. If you don't, the responsibility for such situation is very likely at your side.
The promise of crypto is still valid. It’s the centralized idea of crypto platforms like Coinbase that is evaporating, and that’s a good thing.
Was he supposed to prove that this is true in every situation for all time or were we talking about general trends? Also New York at least sends aid to Texas in their time of need[1] unlike in the reverse when Texan senators make sure no aid goes to New York in the event of a natural disaster[2].

Actions speak louder than words and I don't see New York as a state treating Texas as a state to abandon while Texas is advocating for anything against NY.

[1]https://www.cnn.com/2021/02/21/politics/alexandria-ocasio-co...

[2]
Grep for `TX` to see the Texan senators vote on aid to New York for Hurricane Sandy relief https://www.senate.gov/legislative/LIS/roll_call_votes/vote1...
Compactness and understandability are the same thing on a large scale or under time pressure. This example is definitely loaded, but compared to more wordy alternatives it just cuts to the chase.
I use Wipr on ios (and ublock origin everywhere else) and it works like 99% as well. Costs 2 bucks I think. Have you tried that?
When it's demonstrated that it can generate whole function bodies intact (fast inverse square root debacle), and autocomplete it with a wrong license, it's not a stretch anymore.

See: https://twitter.com/mitsuhiko/status/1410886329924194309
Hardware acceleration in robotics news. The ROS 2 hardware acceleration stack and ROBOTCORE™, RISC-V shines at embedded world with new specs and processors, AMD bests Intel in cloud CPU performance study, Former AMD chip architect says it was wrong to can Arm project
It’s actually going great! I do have it under lights, though I hope to get the hang of it and eventually set up some vertical systems outdoors to make them more cost effective. Maybe next spring.

Right now my lights, air pump, and fan cost around $25/month to run. Nutrients are remarkably inexpensive (perhaps pennies per head of lettuce assuming they mature on schedule). All said it’s maybe a $30-35 per month hobby which might generate far more than that value in real, edible food. It’s surprising how many plants you can fit in a 1m x 1m grow tent when you use hydroponics.

I’m sure I’ll mess up several times before I get it working smoothly, but I’ve loved the learning process so far.

Before this I got kind of hooked on growing micro greens. It’s such a great gateway to indoor gardening, the results are awesome and it’s very low effort.

Edit: I hadn’t worked out the math yet, but my “break even” would be growing just a few bundles of herbs and 3 or 4 lettuces per month. The system has 24 plant sites so by all means, if I don’t totally blow it, I should be plant-profitable pretty soon! And that’s excluding the micros which develop under the same lights. The cost of micro greens is wild.
Just the mere existence of WebKit keeps up Browser diversity. It's probably the one reason most websites have not adopted a "use Chrome or go away" model. Many were happy to adopt a "be in a country without GDPR or go away" model, so would that really be a stretch?

I do think Apple should lose their walled garden, but it should be pretty hard to "unlock" an iPhone to keep coersion down. Maybe make it slightly more easy if you only trust one extra vendor, like Epic. They'll do it one way or another.

While it's not perfect and AppStore review really needs to step it up, there are still some unique qualities there, especially for people that would never ever "choose" a browser - they just use whatever they have.
Reviewing Bear's new Discovery feed
Integrating Laravel Pint with GitHub Actions
Wasn't Microsoft hammered with antitrust violations over a situation much less mundane than what Apple is doing?
I’d heard this for years and was quite the skeptic. I’d hit the gym pretty consistently in my late teens and cycled a lot and kept a pretty consistent weight irrespective of what I ate. Over the better part of 20 years the only real fluctuations were during extended travel periods where both diet was bad and exercise non-existent. But multiple marathons, extended focus on weight training, picking up various sports again, and I’d oscillate in about a 3kg range.

And then my wife had to go on an extended elimination diet to deal with gastrointestinal issues and I joined as moral support. In the space of a month, with absolutely no exercise happening, I dropped 10kgs. And I don’t think I’d ever felt healthier. As soon as I got back to running I was as quick as I’d ever been, no great surprise I guess given how much lighter I was.

Turns out the biggest impact I could have on my health was being more conscious of what I was eating. I couldn’t out run what I was putting in my mouth, no matter the distances I was putting in.
Proposition 13: The state of the world is increasingly hidden behind paywalls.
"Each method is defined on this Context type that carries some common state, and the methods tend to call one another."

This is classically a problem of GUI systems, where you have a large number of interlinked on-screen objects constantly undergoing modification.
The problem most people have is less that some police encounters go south but more that when they do, the government's suggested form of relief appears for you to go fuck yourself.
Most of the people I know are watching Apple's new show Severence. Probably their biggest hit yet.
Because XTDB uses a transaction log and document store, it's possible to purge a document from the document store so that the only thing that remains is an irreversibly hashed document id on the transaction log. This isn't crufty. Using a reference like this is a very common, good solution to GDPR compliance.

A system that's truly immutable in all parts is elegant, but unfortunately the real world is not as easily modelled. Being able to truly expunge data is actually needed at times. And it's not just GDPR. What happens when something truly sensitive is written to an immutable store?

> I'd like to be able to know my data was purged, but still...

So do you want the feature or not?! :)
This fake-grassroots propaganda for "browser diversity" (= Chrome monopoly) needs to stop. Apple is literally the last bastion holding up the open web, with everything else - WHATWG, W3C, ga, DoubleClick, AdWords, YT, Mozilla/FF, etc., etc. - being Google/Alphabet or financially dependent on Google/Alphabet.
I was expecting this to happen sooner or later. Banking is heavily regulated service in India and the barrier to entry/exit is very high unless you have political influence/connections.
Check the authors' names before calling them names.
It's a multiprocessor. The multiple available genes allow more expressiveness. Three genomes reacting to environmental changes exposes its resources 3 times as fast.

Or maybe the chromosomes are spatially optimal in a centimeter long rod.

Or maybe it's evolved to suppress the genes/proteins that would be excessive if it had 3 working copies being transcripted repeatedly.
Well, if we're talking about web, then I it's better to use WebP rather than PNG.

It's widely supported by vendors if you do not need to deal with IE: https://caniuse.com/?search=webp.
This would explain why exercise causes weight loss even though people with sedentary and active lifestyles seem to burn the same amount of calories[1]

[1] https://dupri.duke.edu/news-events/news/herman-pontzer-expla...
AdGuard extension for iOS Safari is really good and does the same job as uBlock Origin on desktop.
I feel like this is often overlooked.

One morning, I did a code review before having any coffee. I basically used the latter two throughout the whole thing. I came into the office to find my coworker literally crying. Later in the day, someone else said it was the best code review they’d ever read… and asked me to come to their team…

There was so much drama from that code review. That code got merged as-is to appease the author without a single one of my statements addressed (including security considerations), and no one else would review it. My manager was in a tight spot, felt sorry for him.

I was literally just my pre-coffee blunt self. I usually use the first few versions in your list, which is probably why it hit my coworker so hard. We chatted and made up, but our relationship was weird after that.

So, I’d say, just be consistent. Changing tones unexpectedly might affect your coworkers and politics in interesting ways that you might not expect.
Auron SMS Server 2022 – Integrate with SMS Providers from Windows Server
CPU tasks (rendering views, instantiating objects, crunching numbers, etc) and GC.
If this is just me whinging then I apologize, but in my own life and among some people I know: the insane bifurcation into monster fitness where it’s more important than your job and “no one cares” seems to be a driver of careless weight management.

The standard of being “in shape” has gotten so absurd, and the nonlinear payoff around fitness so steep at the “maybe doing some pretty extreme shit” cutoff that I’m personally surprised I have t just given up, and it seems a lot of people have.

I don’t know if it’s TikTok, or Marvel movies, or whatever: but “fucking mutant superhero” used to one among many attractive archetypes.
> they wouldn't be using it unless it was usable for "real work".

We had to introduce Rust at work because we really needed some WASM functionality in one of our mostly JS frontends... anyway, I was excited about Rust and all and pushed the idea, implemented the whole thing and made presentations for other developers about Rust. I was thinking everyone would be as excited as I was and would jump at the chance of maintaining the Rust module.

In reality , only one of the 20+ devs even tried to ever touch the Rust code. Everyone else thought the code looked like Greek (no offence to my greek friends!) ... today when the code needs change, I am pretty much the only one who can do it, or the other guy (who is more novice than me in Rust so takes a lot longer to do anything, but at least there's someone else).

For reference: we write code in Java/Kotlin/Groovy/Erlang. So, we're not a system programming shop in any way, so I can't speak for places where C and C++ were previously being used.
I use AdGuard which is a native Safari extension and works fine.

The issue with uBlock Origin is that it expects all URLs/content to pass through the plugin and they are not interested in any other model.

AdGuard instead works by submitting rules to Safari which is significantly better for privacy and performance.