skysight-inc/HackerNews huggingface dataset:
Relegating parts of the memory model with unclear/hard-to-specify semantics (i.e. relaxed or consume) to the "unsafe" part of the language is an interesting idea, but it kind of goes against the spirit of "unsafe" (this point is debatable, of course).

The purpose of the unsafe keyword is to mark code that could cause safety issues (undefined behavior) if its expectations about the surrounding code are not met. (e.g., an unchecked array access expects its index to be in bounds).

With unlimited time and resources, it should be possible to give a mathematical proof about those unsafe blocks, showing that their expectations are met and that undefined behavior will not actually occur (by for example proving that the array index supplied will always be in bounds).

But since relaxed and consume have unclear semantics, it hard to formally reason about the correctness of any code that uses them (and it is also hard to build tools to do that checking, as mentioned).

So in an ideal world, we would have a 100% clear semantics for all parts of the language, _including_ the unsafe fragment. Unsafe should not be a place to put poorly specified languages features.

Of course, we don't live in this ideal world, but I would rather hope for fixing the memory model so that it be made completely formal and precise (if necessary, giving up some currently allowed compiler/hardware optimizations if they're more trouble than they are worth). As an extreme example, sequential consistency is easy to understand as long as you don't mix it with other types of atomic accesses and avoid non-atomic data races.
Your premise implies that there is no value in either:

- an inmate living the remainder of his natural in prison instead of being killed today

- a society not having killed a person in an act of state-sponsored revenge
Or you buy a wrecked Model S and swap things over.
even after optimizing your rails app, you still need to send HTML to your users through the interwebs.

you can optimize this by routing all requests through a CDN even if you’re not caching pages at the edge. cdn to your data center uses highly optimized TCP protocols to speed up your packets.
It's open-source software.
The horizontal scroll would be a lot less annoying if you could use your scroll wheel to scroll through it.
Sr. Fullstack Engineer | LeapYear - leapyear.io | Remote within the US | VISA

At LeapYear we are bringing differential privacy [1] into the real world, helping the world’s leading financial and healthcare companies maximize value from sensitive data while protecting privacy.

We’re looking for a Sr. Fullstack Engineer for our Applications team to help us solve two key problems:

- Building a world-class user experience that helps end-users understand and master a mathematically proven privacy framework.

- Making it as easy as possible for as many companies as possible to use our platform.

We use TypeScript, React, and Haskell among others at LeapYear, but we care much more about what you've built and what you want to work on than what languages you've used in the past.

[1] https://leapyear.io/product/#differential-privacy
>A better premise would be: be careful where you build your castle, and consider putting it on wheels.

No, the analogy (and the article) is fine, we're just busy torturing it all to hell on our way to some mirage of isomorphic purity. The concept of "your kingdom" does not need to be something you completely control in a 100% self-sufficient way in every conceivable context to be a useful way to think about marketing indie games or other real-life situations.
Fair doesn’t mean the same.

I align with Apple a bit more as they actually do interesting manufacturing R&D; they’re all terrible on the software and privacy side.

Google is 3-4 useful websites, cloud software hype, and resource consumption.

We could write desktop software that recurses over personal data, abstracts useful metadata, and share that with each other. Users pay for bandwidth when they could just utilize their computer better.

Somehow we’ve anchored our agency to doing that via cloud providers who externalized their real costs onto startups which is why they’re rich.

I’m really hopeful the future of hardware comes with power savings and performance that make building a business with off the shelf parts tenable again. But who knows
List of Open-Source Games
Is 1GB interesting enough? https://gadgettendency.com/amds-new-processors-will-have-nea...
That works - NYC tried to crack down on “unlicensed taxis” when Uber first arrived, so the Port Authority started seizing and towing the cars of people making drop offs at Airports. It was completely arbitrary - if the PA officer didn’t think the people looked enough alike, then the assumption was that it was an illegal taxi. So interracial families, helpful neighbors, etc could all end up being ticketed and their vehicles seized and towed. The sheer idiocy of the whole situation started making the front page of the NY post and a couple weeks later the practice was dropped.
I often try to think of a rule that would require simplified bills without just having arbitrary limits. Like, wouldn't it be nice if each thing voted on had to be less than 8 pages (for example) in length instead of 3000. I'm sure there is some downside though like how will we fit all the pork in to this vote??!?
I hear you. The first thing I do on any new computer is remap the Caps Lock to be Control, for exactly that reason. It helps a lot.
I've always been of the mind that if you like tailwind, you'll love the flexibility inline css gives you, and without the need for interim tools!
You don't need to register it. You can just do a warranty check. Asking for a serial number is probably a good idea at this point, considering the counterfeit market.
Counter point: a few years ago my mother had a botched cataract surgery, she now sees worse than before.

Don't act like you don't take a chance on every medical procedure. Most of the times it's OK, but sometimes it's not. Then what?
Even if you don’t go as far as working on side projects at work, automating even 30min-1hr worth of manual tasks can leave you less exhausted when you get home.
One thing I've learned is that freezing and reheating my chili dramatically reduces the resulting intestinal discomfort and gas production. I have no idea why.
this is what i believe. even 10 minutes daily for me can work wonders. it puts me in that headspace even if i don't get any hobby work done.
If the modular IO port has an SCART module I will just die.
We tried to debug a microcontroller from our browser
This looks pretty awesome. Cool to see a new open source Ruby-based platform enter the scene (along with Forem, Discourse, Mastodon, and so many others).

It'll be interesting to see how their open proposal process for creating new communities in the main network scales over time. I like the fact many of the initial communities here aren't just in the super-nerd tech territory.
Presumably the user would get a prompt telling them they need to log out and log back in to pick up security updates, with a "details" button that shows them which applications actually need to be restarted if they don't log out/log back in.

It's certainly simpler for the developer to pick up the updates only upon rest, but it's sometimes very inconvenient for the user, and probably slower to pick up the actual updates. For instance, I run a vanity domain from a Linux device at home. It would be inconvenient to run Windows on that machine and have to restart it following monthly patches or following emergency patches.
Did you read the "it imposes reporting requirements that, given the way DeFi works, would make it impossible to comply" part? If that's not wrong I'm not sure what you expect.
It happens all the time with different OS’, software, games, and apps. I don’t know of a single example of Firefox doing it, but I feel like it’s fair if people are thinking about it as a possibility.
What Percent of CDC Employees Are Vaccinated? Grills Walensky Senate Hearing
Maybe, but brains talking one was from playtest. Really old one.
> it's possible to have a Japanese soldier fighting in an early battle on the Western Front. This is not great for immersion in a game realistically themed around a serious subject.

The 442nd regiment composed mostly of Japanese Americans was deployed in Europe:
https://en.wikipedia.org/wiki/442nd_Infantry_Regiment_(Unite...

So what's breaking the immersion? Are they wearing the wrong uniforms?
I think the separation is along the typical enterprise/non-enterprise split
If that was entirely true, then better communication with users would probably be the ideal substitute for it.
Unfortunately, anything passed in the senate requires 60 votes or need to be passed during reconcilliation (one bill per year). This is due to the use of the fillibuster to stop anything else from being considered.
Sorry, I misunderstood. I thought you meant that people with environmental concerns were saying it, which I rarely see. Yes, agreed, self-driving proponents do say it with some frequency.

Big brother / Tesla / Waymo will do your driving, will do it better than you. Just sit back.
x87 instructions weren't dropped, they are still available on x86_64.
Do you? You went without WhatsApp for a week.
Was alalphafold2 that big of a landmark in application sense? I realize the protein folding problem is a hard and important one. But I didn't realize this result had immediate practical application. Will they just be consulting pharmas? Patienting proteins and such?
On a related note, FUFME is still online: http://www.easylife.org/fufme/
The reason for this is that most legislation wouldn't pass without the amendments; the amendments contain 'pork' and special interest legislation that encourages legislators who are on the fence or even mildly opposed, to vote for the bill. Some of the most well-documented examples of this are the amendments to the ACA (Obamacare), which include the infamous 'corn-husker kickback'.
Well, I have serious issues with most of the major open-source browsers. I liked Opera when it was around, I heard good things about Vivaldi and I'm willing to trust them more than Firefox and Chrome at this point. I wish it wasn't this way and I would have preferred open source or even paying hard cash for a good browser experience, but I will take a good browser experience from a source that is at least transparent about their funding and is not Google or funded by Google.
Don't think of it as you being a dinosaur - think of it as you being a sane person making sane decisions about your development environment.
Ok, never seen one myself but glad they exist.

Also, glad that gas purchased by credit-card is that thing that exists. Use it myself once in a while, when I choose.

Here's the one and only part that is a problem --> requiring it. And by definition identity, time, date, location.
I used to have an 8.4 inch tablet, and while I couldn't fit it in a pocket it was still "take it with me everywhere" in a way that a 12 inch laptop wasn't.
> I wonder how many company started or partially started on HN that went on to IPO. I know Dropbox is one. Do we have a list somewhere?

news.ycombinator.com needs a ycombinator.com/topcompanies equivalent.
As I said in my other comments you are delusional. have a good one. You see a conspiracy theory without proofing it and you disregard the facts from several high regarded sources like anandtech, phoronix and everyone who has published their benchmarks today. It's the literal definition of a delusion.
Rarely anything new but I regularly need it for old manufacturing line equipment that just keeps running. 20 years is nothing for some of our assembly lines.
Unprecedented decision – deliberately coughing at someone is a criminal assault
It also has a very long (and silly) dev history. I don't know it very well, but wasn't the source code stolen at some point? Then several forks that did and did not include that code? Or is that just source from the SomethingAwful fork?
This is entirely due to the necessity of 60 votes to pass a normal bill vs 50 for a reconciliation bill.
I agree, but would you mind providing a concrete example of:

> No matter how you integrate different applications, be it via APIs, messaging, or a database, it's vital to separate your application's internal data model from models which it exposes.

Especially in respect to this product.
To answer that we have to know, can healthy kids build natural immunity with minimal or no long term health issues?
It's certainly an interesting question. If someone explained they were going to do something you thought they should do, but they were doing it with mistaken motivation (i.e. protecting their child), is it ethical to just say nothing? I guess some would say this is an unquestionably good thing, I'm a bit more skeptical of that.
The Red-Pilling of Loudoun County, Virginia
Multi cloud, hybrid, and on-prem often need solutions that aren't married to a single cloud provider.

That's not all companies. It's not even the majority of them. But those companies do tend to be the ones who can afford HashiCorp's premium offerings.

Edit: Fix typo.
When did they make these excuses? AMD hasn’t had its own fabs for about a decade way before Intel was stuck on 14nm.
Basically over the course of about 20 years, college educated twenty somethings decided they liked living in the city. When I graduated from grad school, aside from those working in Manhattan, almost none of my cohort moved to a city.
And I'm sure that people are going to call the Google Tensor "big.little" when it is really "big.medium.little" (it has 3 different types of ARM cores)!
Sorry, I meant "seems like not such a great advertisement for DIY conversions if it completely changes the way the drivetrain works (and costs twice as much as the price of one crate motor, never mind the battery etc.)".
It's at least partly because in WoW you oftentimes can't get into a raid unless you've already beat the raid. People can lookup your achievements online and/or ask you to link them before allowing you in. So for some it might simply be "pay (more) to play" rather than pay to win.
History of the “Heim” Joint
Shocking that the author is a self described "backend guy" with UI like that...
Thanks. Is there a particular kind of stud or tire? Also, is it both wheels? For obvious reasons, it would be much more convenient if it was only the front wheel.
I wouldn't say locked in when it comes to computer hardware, bundled might be more apt.
Also ironic, the justified text alignment, huge font and large padding which leaves room for 3 unreadable words per line on mobile.
Nintendo Hidden Gem: Legend of Zelda Link to the Past! Smash that like button fellow gamers!
Of course, this is just an anecdotal observation, but I think what changed weren't the games, but the players.

I was playing Dark Age of Camelot back in the day and we'd spend hours just waiting around, chatting, meeting new people, trying to group up and try to clear a dungeon. Of course, our compositions were less than ideal but we'd try to make it work. Hey we have no one durable but if we take little Timmy's mercenary here and put some high armor gear on him and dual wield shields maybe it would work. Of course someone would go to bed or to dinner and then off to find a new player we go. Trying to make it work was the name of the game. With time, you'd amass a big friend list of reliable people you know you could call on a moment's need if they were online and most of the time they would be happy to help.

Modern players are borderline obsessed with time. No one wants to waste time experimenting with content so they look for guides to clear as fast as possible. Getting wiped immediately results in remarks of "you're wasting my time". The human aspect of the MMO has been stripped away by bots, fast travel, people generally being rude and the mumble/teamspeak server or discord group chat. Somehow, it feels like the MMO is a reflection of our current society.
Sounds like a motherboard issue. Never had that happen.
barn burner: "an event, typically a sports contest, that is very exciting or intense."

Though one would hope the title was selected for the double meaning.
Have you tried the sugar-free Hiball energy drink variety? It’s very expensive, but if you want a low to medium dose of caffeine with none of the side effects, that’s the way to go.
They keep the soil of the dike in place, which would erode away without the "mattress".
The storage subsystem design failure seems extremely irrelevant to processor design really (no matter how bad Apple made it there)
despite a lot of the backlash i've seen around the web concerning tailwind, bootstrapping projects is easier when all* the work is done for you. i also found that the consistency and familiarity you gain is just... nice? i've learned a lot about css through the tailwind documentation, and it's impacted the way i look at and implement my own css outside of using it. i even practiced learning css by creating my own design system / atomic css framework by mimicking tailwind. not sure if you've checked this out but windicss[0] is an awesome implementation of tailwind.

*mostly

[0] https://windicss.org/
Joe's Online WAD Editor and Creator
Shoutout to Armon who was happy to give a talk at a DevOps for Startups meetup!
Well you can audit the code that generates spreadsheets, which seems to solve the audit problem. Kind of like I prefer reading a Dockerfile that builds a program from the GitHub repo, rather than downloading a pre-compiled package I can't trust.
> Resisting necessary change in your town because it doesn't jive with what you want is more or less the problem.

Should there be a process to determine what change is necessary? Who should be able to participate in that process?
It does, Intel is better because you can use it to heat your house like AMD bulldozer.
Do the gains you talk about include power consumption considerations? Could an Intel chip with a tone of cache run all day on typical laptop battery?
The article is provocative!

But I do not see why the product itself is different to serverless DBs such as SupaBase and PlanetScale?
I'm in the US, and my kids are in elementary school, so mileage may vary.
Creator of Tailwind here — what you're seeing here actually is a best effort attempt to be consistent and predictable.

Keys in the config file generally correspond with the CSS property they refer to, and we use the singular form to make it match the CSS property.

There are 3 exceptions, which are "colors", "spacing", and "screens", and these are sort of special keys that don't map to anything in CSS. The "colors" and "spacing" keys are more like reusable variables that are consumed by the property-specific keys like "backgroundColor", "fill", and "borderColor" in the case of "colors", and "width", "height", "gap", and others in the case of "spacing".

The "screens" key is a list of breakpoints for your project, which also doesn't map to an underlying CSS property.

Originally we tried to keep things really abstract and group things together under concepts like "spacing", "typography", whatever, but ultimately found it was more flexible and predictable to make it possible to customize every CSS property using the exact property name, while only providing a couple high-level things like "spacing" and "colors" that you can use to update other dependent keys at once.

Getting complex config files right is unfortunately hard and it's not perfect for sure. At this stage in the project it's a delicate balance between improving things and maintaining backwards compatibility. Totally appreciate what you're saying, just wanted to do my best to clarify though as I'm equally picky about this sort of consistency.
Who _actually_ decides if it gets in the bill, anyway?

And who actually writes it? Often industry. In this case maybe law enforcement?
Thanks for the suggestions. I hadn't realized Github Pages supported SSL today for custom domains, missed a Let's Encrypt at some point I suppose. Trying to get that activated. I'll have to look into the mixed content warnings later.

Reading the HN feedback I did make a note to adjust the body font color: https://github.com/WorldMaker/lcars-moderne/issues/4

Might also play with some of those newer color theme ideas, the Lower Decks inspired ones spark joy for me. (I used a different theme site for some of the colors that was at lcarsdeveloper.com and seems maybe done now. This one seems similar and I'm wondering if they just had to change domain names at some point.)
sounds like a great system. we have something similar where we put excel in and out but doesn't sound as slick as that. on top of the system there is access control, versioning and such. the data gets approved and then stored in the backend to feed the regulated process.
The restrictions are a feature, not a bug.
Yeah, you're right. 64-Bit Mode Valid Thanks.
Inflation is a thing that exists, so decent $100 CPUs are going to be hard to come by if you expect to run modern applications in 2021.

However, there's plenty of competitive CPUs that can operate below 100W. CPU reviews tend to focus on the top-end products which throw efficiency out the window for higher clock speeds, but lower tier SKUs target 95W, 65W, and 35W power points, while still maintaining quite reasonable performance.

While I'm not as familiar with the power management capabilities of modern Intel CPUs, AMD Ryzen CPUs can operate in an "Eco mode" where the power target is lowered, so you can optimize for power efficiency without having to go out of your way to buy a special "low-power" SKU.
My job complains when I make a pull request that includes more than a few hundred lines of code and tells me to break it up into smaller, more readable changes. But for the US govt a 2700 page bill that congressmen get only a couple of days or hours to review seems to be the norm.
You worked 18 hours a day? Yes that is obviously hell.
This functionality can be disabled in Settings, though.
How much data does humanity currently have stored on hard drives? I think saying there will never be yottabyte storage is very short sighted.
As someone from Canada, I can't help but want to laugh at this being called a forest... As far as I can tell the UK, and England in particular, have got to be some of the most thoroughly deforested non-tiny countries in all of Europe. Maybe Denmark and Holland come close though.
The same company that ships your Oculus to your door is the same company that you log in with (and probably the same one that has your info from scraping someone else’s contact list)

Very easy to tell that your “real” name does not match your CC or your home address.
Agree! Here's a recent video of Mitchell at Dev Tool Time proving your statement: https://srcgr.ph/mitchell-hashimoto
Inconvenient but possibly. What about the other issues? Do we need charger condoms now as well? :D
I get this issue on Android Chrome when using the "Desktop Site" version.
Personally, I believe the UX problem is with the website. You seem to be aware of the problem and yet decided to keep a broken version. That's a UX decision made by you.

The web is top-to-bottom, every user has this expectation. The usual mouse has a top-to-bottom scroll wheel, not a left-to-right one. Maybe it's not what you want, but it is what it is. You can either accept that fact and use a top-bottom layout, or accept the fact that you made a deliberate decision to create a confusing UX.
Don't trust ProtonMail CEO as well with your privacy.
See I like this argument better because it has nothing to do with being an API or HTML and everything to do with access authorization. It doesn't make sense for the government to have the power to control how the data the parents are authorized to view is displayed, or what tool they use to display it.
I had that discussion with another grad student back in 1996.

I was using VRML to visualize slices of a six dimensional object and it was OK for that.

The other student pointed out that VRML couldn't accomplish what video games like Quake and Descent could at that time and just wasn't good enough.