skysight-inc/HackerNews huggingface dataset:
I've been thinking for some time that one of the key advantages of Rust's safe/unsafe code will turn out to be that formal methods can be applied to the unsafe parts.

Safe Rust is truly safe if it only calls safe Rust or if all the unsafe code is correct.

And safe Rust is a little too inflexible to do certain things, so the unsafe word is a necessary evil. But turns out it's not a bug, it's a feature because now you can trivially identify which parts of the codebase require extra scrutiny to avoid memory corruption and data races.

With FM the main downside has always been the added cost and development time/complexity, needing to use obscure academically oriented systems that most developers have no experience with, etc. But that complexity is probably okay for a project like the Rust standard library, which is already a highly complex project and will only be majorly worked on by a relatively small subset of Rust developers. So you could save some of that cost by only needing it in a (relatively) small part of the ecosystem.

Ofc I realise this wouldn't give the same level of correctness as doing all code with FM. You could only verify whatever guarantees Rust provides for code with no unsafe codepaths. And proofs can have bugs too. But still I think it could increase safety a lot.
Don't get me wrong... I just like simple things, and this is definitely not simple, so not to my taste... I am sure the majority of people out there will love support for React, TailCSS or whatever else this supports...

But I do believe I am able to write top notch documentation by simply being good at HTML/CSS... because that's what it really goes down to in the end?! How does Docusaurus make things pretty? By using themes? Well, I can copy your theme into my hand-written HTML which then wrapps the markdown content I wrote... I don't think end users would notice any difference whatsoever?

One thing I have difficulty generating is a search toolbox... but that's only because I haven't added the "feature" yet... and as I said: I like to keep things simple.
hydro-generated electricity is great, and if they are pumped using renewable energy when supply is high then in theory they could be used to supply that energy when supply is low.

But thanks for that link. Tâmega energy storage complex is actually looking like it will be a real renewable storage, using two attached wind farms. Just like with solar, when renewable is combined with storage it makes more sense when the renewable plants is located next to the storage and operated by the same company.

It would be really interesting to hear some numbers from that plant, like how much money they gain by storing the wind power and selling it at a later point in time. It would also be very interesting to see the cost per kw/h, even through at this point in time with energy prices being what they are, I will likely not matter too much.
Schizophrenia from the business side who want metrics on TTFB and TTI but also want to have a firehose of information about users and don't connect that there are real performance costs to gathering this information.

Giant dependencies and time to interactive have been battling each other for decades. It's not just how much code you run on first paint, that's a discipline in its own right. But until the javascript and CSS load you don't really control much of anything in the browser lifecycle.

So you work and work on those, and you've gotten through a bunch of performance-as-feature gates, but then someone throws three analytics packages on that together are proportional to the code you sweated to carve out of the initial payloads. You can usually defer those, but how easy that was depends on which generation of web browser you're talking about.

What you can't control is how much work those libraries due on the page while they bootstrap. As recently as the last project I worked on in my current job, I discovered that something like 60% of the event loop blocking was coming from some analytics library that was stuck in a reflow loop that was taking longer than we had saved on code that a couple of my poor coworkers had been working on for ages, to the point you could hear the exhaustion in their voices in standup.

That one was mostly tripping up due to a performance bug in an old version of jquery (mutation on read), but other examples in this problem domain are often not so simple to fix.

Ultimately this is a social problem, but I've seen it way too many times.Someone high in the org chart didn't insist that we run the application exactly as it would run in production. In a Saas situation a customer may say "I want to be able to add stuff to my pages, can you do that?" and nobody catches on that they want to run analytics, and not just for one dashboard, but for the old one they can't let go of and the new one that is cooler but only answers 80% of their questions. And then they want a third party live chat which is somehow as slow as the two analytics libraries combined.
This SO thread covers it I think https://stackoverflow.com/a/40045865

The messaging around this was terrible, but it's basically that a separate product got killed and they made it a core feature with the same name at the same time.
DNS Esoterica: BIMI – SVG in DNS TXT WTF?
You are better off in east europe to be honest.
Robocorp (RPA) | Senior Software Engineer | Remote EU | Full-time
https://robocorp.com

We are building a RPA [1] orchestration platform around the open-source Robot Framework [2].

We use Lambdas, DynamoDB, SQS, SNS, Postgres, NodeJS, React (among other things), tied together using Typescript.

We raised our series A last year, so we're still in the early stages; as such, you would be in a position (and expected) to:

- Tackle interesting and challenging problems (scaling issues, future-proof architecture design…)

- Ship fast and often: you would be coding rather than attending meetings

- Able to work in the European time zone: the founders are Finnish, and most of our engineers work from the nordic/baltic region

- Have great communication skills: we are a 100% remote company with fully distributed teams

You can read more details in our official job posting [3] and apply there or by emailing olli[at]robocorp.com.

(When applying, mention that you're coming from HN)

[1] https://en.wikipedia.org/wiki/Robotic_process_automation

[2] https://robotframework.org

[3] https://robocorp.jobs.personio.de/job/244260?display=en
So I'm very much in camp AMD. But, market cap has proven over and over again to be kind of bogus. E.g. do we really think Tesla is actually worth more than the rest of the top 10 or so automakers?
Letting the camera take control will result in good photos. But great photos are more likely when you take technical control and put thought behind each photo.
Incidentally, I think this is also why many extreme diets seem to have some evidence in favor of their health benefits. From where I'm standing, it seems like veganism/paleo/etc start being linked to various problems right around the time the agro industry starts cranking out specialized (read: highly-processed) products.

Relatedly: I'm taking bets regarding lab-grown meat.
I think what you're describing at the end is the most insidious and parasitic idea of them all. Teen angst stems from finally learning enough about how the world works and wanting to change it, but what I'm reading is the desire to redirect that want into a foreclosed acceptance of the status quo. It's the mental castration of a burgeoning will to power that leads to life long economic-social-political impotence. To reframe it as whims and folly of youth denies us of a billion possible futures. No wonder the kids today feel hopeless about the future, they've been infected with it on purpose.
DefenseStorm | Seattle, Atlanta | Full Stack Engineer, Senior Full Stack Engineer, Lead Engineer - Data Ingestion | Full-time | REMOTE or ONSITE https://www.defensestorm.com

DefenseStorm is a cybersecurity startup that helps banks and other financial institutions manage the deluge of security data that they produce. We take all of the security critical information and then alert on what's important, generate reports, show cool dashboards, and simplify demonstrating compliance to their regulators and auditors. I got my job here through an HN Who's Hiring post 6 years ago, and I love working here. Strong engineering culture - weekly hour 'topic sync' to share knowledge, minimal meetings, flexible hours/wfh, happy customers that give good feedback, and interesting problems to solve. Our engineering team has been fully remote for COVID and we are conducting interviews remotely, but we are just now starting to open up the office for those who are vaccinated and wish to come in.

For Full stack engineers, we use Angular, Typescript, Java 11, PostgreSQL, Elasticsearch, and we're built on AWS. Our interview loop is one or two ~1-hour phone screenings, followed by a ~4 hours video call - and we've designed it to approximate realistic day-to-day coding and code review (no algorithm riddles).

We are also hiring for Lead Engineer - Data Ingestion

You will own an essential backend service, overseeing a small team of engineers and implementing features while ensuring that the service remains performant while handling large scale data flows. As a team lead, you will be empowered to determine processes and best practices to ensure that features requests are properly specified before work begins, and code quality meets a high standard.

Email gary [at] defensestorm [dot] com to apply, or check out our career's page: https://defensestorm.com/about-us/careers
> Just from my memories, we didn’t have as much stuff competing for our income. There were no cell phones or ISP bills, and we didn’t have cable TV either.

There were bills back then that people had, that you don't have today.

* Daily newspaper subscription

* Telephone line (plus long distance calls...expensive back then)

* Cigarettes - people used to smoke every day

Cable TV was not as popular but many people had it in the 80's. Premium channels as well. People still rented movies back then, bought VCR's, records, tapes, they bought more magazines and books.
Is there an official scale of processednes? NVM found it: https://en.wikipedia.org/wiki/Ultra-processed_food
So if this goes through my political campaign "Problems in Bed? Vote Ted Cruz to affirm your right to buy ED treatment from edpharmacy24.com now" would be illegal to mark as spam? No way this could backfire.
The letter was subsequently updated to say that the situation has improved and in fact the author is currently looking to get less attention (apparently it was posted to HN without their knowledge and now their work email is getting a ton of non-helpful noise from hackernews commenters). So it would probably be better to not tweet about this.
I wish I knew what was ultraprocessed.

> "Ultraprocessed foods are defined as "industrial formulations of food substances (oils, fats, sugars, starch, and protein isolates) that contain little or no whole foods and typically include flavorings, colorings, emulsifiers, and other cosmetic additives," according to the study.

But if I have a package that says it is whole grain or whatever, how do I know if it is or isn't ultraprocessed or just, you know, regular processed?
if you put the cut potatoes yourself in the deep fryer I guess that that wouldn't be that beneficial
Interactive Brokers | Go Developer | United States - United States | Remote www.interactivebrokers.com

If you love working with Go, this is the job for you. This is a great opportunity for someone looking to break into the Fintech industry. We are a small technology group seeking a self-starter that enjoys the craft of coding and developing innovative solutions. The ideal candidate is someone who can communicate well with the business side and take a project from conception to a finished project. We offer mentor-ship from seasoned, senior developers.
Position is remote to start, then becomes a hybrid model 3 days in office 2 days remote. Offices in New York, Chicago, DC, Ft. Lauderdale, and Greenwich.

Apply online here https://boards.greenhouse.io/ibkr/jobs/6023048002
Location: Vancouver BC
Remote: Yes
Willing to relocate: No
Technologies: React, React Native, All the FE, Most of the BE
Résumé/CV: On Request
Email: chriskingwebdev@gmail.com

Long time full stack developer looking for interesting challenges, preferably mid-short term, part-time contracts. I'm very adept at jumping into existing code bases or launching new ideas from scratch. My two most recent positions were a six month contract at AWS making a new console and two and a half years with a new fintech startup called Philanthropi. During the pandemic I also created a walking tour app of Vancouver called VanWalks.

Back End
I'm familiar with all kinds of BE stacks. I have experience with php, .NET, Rails, WordPress, and SharePoint (but please, no SharePoint). VanWalks uses DynamoDB and a serverless stack from AWS.

Front End
Websites have been my bread and butter for 13 years. I started making sites for my bands before the MySpace era, and never looked back. From static sites to full single page apps, if it's in the browser, I can work with it. I also have experience with SEO and Web Marketing. Most recently I've done a lot of React. VanWalks also uses React Native and Expo.

I recently have opened a music school with some partners, so I need some flexibility around that. I also want to block off time to continue work on my app. I’m hoping to find a position that will see these projects as assets, not distractions. I’ve also been doing bike tours over the summer, and will continue with that until the tourist season calms down. So I probably won’t start any contracts until late September.
Call it naive if you want to, but I purposely flag all marketting emails as spam when I unsubscribe.

If it weren’t spam, I wouldn’t be unsubscribing.
The full quote is:

“Eat food. Not too much. Mostly plants.”

― Michael Pollan, In Defense of Food: An Eater's Manifesto

https://www.goodreads.com/quotes/18508-eat-food-not-too-much...
> After years of testing different JS frameworks and build systems, I became convinced that heavy Javascript frontends are generally a bad model for the web

Funny, after only 5 minutes on any website i come to the same conclusion as a user :P
@dang could you explain why this post is getting down ranked so hard? It's been 6 hours and I could only find this post by using the search function. We have a ~800 point post from 2 days ago and it's still on the second page

Edit: it's either back on the frontpage now or I missed it somehow

Edit 2: Looks like the doc was updated and it was posted without consent. I think we should delete the post now.
I hate to say it, but a leader who lives in fear of this is what Intel needed to stay ahead. Andy Grove believed and lived in fear of monopoly power ... since then CEOs at Intel have lacked that conviction.
> My family stuff is what keeps me going though. My work is a basket case at the moment, 12-month contract ends in 4 weeks, and it's almost a full time job applying for jobs.

Unsolicited advice: if you can, wait for September to really start looking for employment. August is slow season in recruitment because people are still on vacation while September is the last month of the quarter, so recruiters have targets to reach for the projects scheduled to start in Q4.
You should find a new partner.
I think I sort of know what they are, but a definition of "ultra-processed" foods would be good.
Being an island, Taiwan is far more defensible than Vietnam, Afghanistan, Korea, or Ukraine. Prevailing weather conditions mean that an invasion is only even possible for a few months every year, and local geography means there are only a handful of beaches and ports where an amphibious invasion force could attempt to come ashore. China could wreck Taiwan using missiles and air strikes, but China still lacks the airborne and amphibious lift that would be necessary for a successful invasion. They are building rapidly, and so that situation will probably change in a few years. But even then, the Chinese leadership would have to be willing to accept horrific losses while crossing the strait and establishing a secure beachhead.
Agreed — I was thinking something along the lines of allowing you to register a government ID on your account so the process would be something like the librarian starting an assisted reset process, confirming that the ID you present matches what's on file, etc. and people with strong privacy concerns could choose to take the risk of not doing that.
I think that required housewives. We're missing a full day's domestic labour.
This. I'm one of the fortunate ones who learned to cook from my mother. Teaching me to cook is truly one of the greatest favors she did for me, bar none. This is not only because cooking is an essential part of eating well, but also because it's such a goddamn joy (if you're not following a recipe).
The landlord in the egregious example cited in the very short article can sue the tenant.

The moratorium simply means the tenant can't be evicted for non-payment of rent. It doesn't mean that the tenant does not owe rent for the period, and while judges are generally lenient to people struggling to make rent, that wouldn't apply to the tenant described in the article.
Very real issue. My uncle used to be a big hunter (he died a couple years ago), and could never see other hunters wearing the required blaze orange, but when they were wearing camouflage he had no problem seeing them in the woods.

I have lots of other stories about the wierd things color blind people see and don't see. (My sisters are color blind, none of my family sees colors exactly the same, makes for some weird situations)
You're being to conceptual and that's why you can be so confident. Of course government can set limits on freedoms. Literally nobody is arguing that except the most extreme anarchists/libertarians. The dispute isn't that the government _can_ draw a line, it's over _where_ they drew the line.

This isn't an objective argument.

> Because I didn't need to... Because I didn't believe...

I agree with all the things you mentioned here. However, you failed to mention a myriad of things the government imposed that were, at best, worthless and, at worst, counter-productive. Did you agree with closing beaches/parks? Closing outdoor gatherings is and was known to be anti-science at the time. It had the nice side effect of having people gather indoors because people are social and you won't stop them from gathering.

> The alternative being the increased chance of getting COVID and the increased chance of spreading it to others

Would you be on board with the sealing in of doors as happened in China or is that too much imposition on your freedom? Would you agree with the travel restrictions placed on people in Australia? Both of those instances achieve your goal of reducing your chance of getting and spreading COVID.

There is an entire population of people who have different, subjective, opinions. You're going to have a bad time if you think yours is the _one true opinion_ and fail to tolerate any descent.

You and I seem to be of similar minds in what restrictions are reasonable (and I tolerate a bit more or less because I know I'm not objectively correct). The difference between us is that when some people think the line should be drawn elsewhere, I don't derisively refer to them like this:

> Not the permanent state of pharmaco-military-industrial complex imposed tyranny the anti-maskers kept insisting we would all inevitably descend into because "when governments take away your rights they never give them back voluntarily." Nope, here I am, not in a globalist labor camp, with all the rights and freedoms I had prior to the pandemic.

> but the question of whether governments can justifiably take temporary measures which interfere with individual liberties in order to mitigate a pandemic outbreak isn't an open one.

And (nearly) nobody thinks it is because that's the easy question. The hard question is always how much and you've done a masterful job of acting like people who have a different answer to the hard question instead have a different answer to the easy question thereby making your disdain of them justified.
I took it to mean "sandbox"
My theory is, Skinner likes dog food.
For film cameras.

For film cameras, holding exposure time times f-stop constant does not produce the same image density.
Exposure time for film is not straight photon integration, like it is for a CCD array. You can only trigger each film grain once, but new photons can repeatedly add electrons to a single CCD pixel. So there's what's called "reciprocity failure".[1]

[1] https://en.wikipedia.org/wiki/Reciprocity_(photography)
>If you are fighting against location based pay, you should be asking your employer to pay all employees on similar teams worldwide the same

My response to the OP is to the above.

I don't have to advocate for others. I don't even know the others capabilities, so I can't make an honest case for/against them.

I know my skills. I know my value.
Memory safety is one of the key focus areas of carbon language. In this tutorial we will learn about carbon memory safety goals and roadmap.
Looking at this further, I think both I and the author of the posted tweet both initially misinterpreted what these graphs represent. The horizontal axis is the date at which the forecast (or nowcast) was made. The Atlanta Fed made estimates for Q2 GDP every day in July, which is what was reflected in the archived version of the page. They didn't make a forecast of Q3 GDP until July 30, which is why there aren't earlier data points in the current version of the graph. That's also why the latest estimate in the archived version is -1.2% while the estimate in the current version is +2% - it's not a change in estimate, they're just measuring different things. Makes perfect sense when you know what you're looking at, but easy to misinterpret without context.
What are skip links and why they are important for accessibility
What makes you think you have more access to objective reality than others ?
SEEKING WORK | Remote Only | Marketing Operations

I am a freelancer/marketing consultant who can provide marketing operations support to both small startups and large corporations. I'm an Adobe Certified Expert - Marketo Engage and proficient in Hubspot and Salesforce. I've spent the majority of my career at SaaS companies in Silicon Valley and have a proven track record for streamlining processes and empowering the rest of the marketing team to execute efficiently.

LinkedIn (consulting page): https://www.linkedin.com/company/ctaconsultingllc/

LinkedIn (personal): https://www.linkedin.com/in/caitlinaxel/

Contact form: https://forms.gle/RDCsuvdqpFZpLKqv7
I'd be smart of Blizzard to fix this issue ASAP least they deter the next heavy spender from giving them large sums.
Proposed legislation typically doesn't work that well as an HN post/topic:

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
4chan dates from 2003, for reference.

It may be the case that algorithmic feeds and social networks that have one giant global context tend to expose stuff like this in ways that would have been less likely on the early web. 4chan has always been pretty awful but you wouldn’t have seen it unless you were on 4chan, which for most people was “never”. The norm at the time was to be in multiple different communities, and there typically wasn’t much overlap.

By contrast, TikTok is all one big space, and if the algorithm wants you to see something you’ll see it. That part is new.

Maybe that falls under “monetary influence to drive engagement” in which case I suppose I agree.
I would interpret 'side project' here as a work project that is not your primary and has low stakes for delivery into production timelines or expectations.