skysight-inc/HackerNews huggingface dataset:
Yes, I want the integration to be tighter. In fact I'd really like to be able to target Ada kernels to cuda, ispc, mlir, spirv... And also have access to deep APIs for each platform. Now that gnatllvm is getting stable(r), there's a lot of opportunities opening in the Ada/SPARK world. KLEE would also be fun there.

I really wasn't a fan of the 'parallel' loop construct foreseen in Ada2020: in addition to having a 'bad' syntax ('how' instead of 'what') wasn't really well integrated in the 'control your tasking precisely' mentality that Ada provided. Having something a bit more platform-specific but still somehow portable if designed well would fit the Ada spirit far closer.
I'm glad about the outcome, but the number of Debian devs willing to sign known defamatory statements by voting for the anti-Stallman letter is frightening.

The proponent of that particular choice, Langasek, works for Canonical. Stallman had been making critical statements about Ubuntu for a long time ...
It’s an inherent conflict of interest. The agent that owns real estate is incentivized and, perhaps more importantly, empowered by virtue of his license, to favor his own property over that of other clients.

I should amend my comment though: an agent should not be permitted to practice while he holds property, and he should not be permitted to hold property while he practices.
Credit cards are such an American thing though. Here in UK pretty much everyone uses debit cards with no rewards. I actually have a credit card just for emergencies but it offers no rewards either.
The new US plan to rival China and end cornering of market in rare earth metals
WTF happened here, my new comments are all flagged as dead, why???

I swear I have nothing to do with anything you are implying, why should I reply with a different account when I could have used this one? and BTW my comment had positive upvotes!

that's not me, why in the hell I am being punished for something I haven't done and had no reason to do????

please reverse your decision, you're making a big mistake here.

I have no idea why you assumed that's me, I haven't used my HN account after that comment and looked at it again only today.
For an encyclopedia that holds itself to high standards of integrity and information sourcing, disguising outbound-to-inbound tracking parameters by camouflaging them as "provenance" is pretty on the nose.
Well my girlfriend just bought a laptop, it was broken, she returned it, she bought a different laptop, again broken, and now bought a third one. Looking at how many products are DOA nowadays, it might be that a person that just bought something is more likely to buy it again than the average person.

Also in general I've noticed there are a lot of people that return online purchases a lot, even the non broken ones, since you can't determine if the clothing fits, if the colors really look good, if it has a good texture, from pictures and descriptions online.

They may not be good customers, but Google probably gets money per purchase, not for customer quality.
Surely the "simple" fix for this is that Codecov runs (for public projects) by pulling the source from the public repo, like anyone else can, and gets a scoped "token" to post back a comment on the Github/Gitlab API. That way, Codecov doesn't get privileged access.

I could almost see this work in private repos, albeit with an authenticated fetch token - I'm sure I've used a "deploy-only" key before with both GH and GL to do an authenticated pull. The repo would then be processed, and a response posted via commenting API.

Am I missing something here in why it's necessary to involve Codecov in your build/CI stage itself? Is it truly doing dynamic analysis, or is this some (in)convenience factor that could be eliminated? It just strikes me this could sit entirely on the side, without access to anything (beyond the source itself). For enterprise, you could spin up an on-prem instance, and give it the API tokens for authenticated pulls etc.
This is a documented effect but I forget the exact name of it so I'm having trouble finding a scholarly article about it. But it's basically how advertising is "supposed" to work from the advertisers' perspective: they get their products/brand to the top of your mind for a given subject.
It means 1/36 interactions will be recorded by the app, which is almost certainly not enough to move the needle.
I'd say the motivation is mainly intrinsic. I don't know about you, but I've generally just felt better when I've worked like I care. I've found there to be a correlation between my overall happiness and well-being and the effort that I put into work. This doesn't mean going overboard and working overtime, just to care about what I'm working on.

I suppose the extrinsic motivation would not be noticeable immediately but should be noticeable over time (ie. taking a 10 year view) as you would (hopefully) earn more than peers who just do the minimum to avoid being fired. If you get laid off, I'd guess you'd also have an easier time finding a new job as well.
I am some what confused by this being called dystopian. As more and more Westerners call for people being canceled due to a small but vocal minority on Twitter and other platforms, wouldn't this design play right into that? Rather than wasting time defending Twitter, the reasonable social justice warrior would simply petition the sympathetic State functionary to flip the bad-person's Internet connectivity. For example, right now people are trying to silence Candice Owens. Rather than doing that publicly, all they would need to do is find someone within the network admins that agrees and shut her off like Duysak did to Trump's Twitter.

This kind of social reform would be made all the more effective due to the fact that the wrong-thinkers would not be able to personally connect to any of their Internet based accounts. Sure, they could still use the debt card to get cash, or their credit card to spend, but only in the physical world. People could easily track the wrong-thinkers and shout them out of restaurants. They couldn't connect to Amazon, Walmart, or even Costco. They would ever increasingly be forced to capitulate to the right-thinkers, or, more appropriately, the Neo-liberal betters.

This is not dystopian, this is the way it should be. The original designers of the Internet failed to see how many people would fall out of line with the common, known truths. We should take this page from the Chinese and thank them for their leadership. We all know that no right is absolute. We also know that the wrong-thinkers, because they are in fact wrong thinkers, need guard rails on their speech. We need to use this plan to limit the 1st US amendment, and the equivalent EU laws. Otherwise wrong-think will prevail. People will believe they have the right to autonomy and free thought. They don't. They have the right to think what the Neo-liberal thinkers think. There is no land between these sides. All else are fascists.
In my view, it's all about what you can persuade yourself to do on a regular basis. I hate running, but enjoy cycling and walking. My spouse loves running, including marathons and ultras. Often she will sign up for a marathon, and I will ride my bike to the location of the race and cheer her on. Chasing a marathon on a bike is actually a workout if the race is on a closed course and you're looking for alternative routes.

Walking and cycling let me mix exercise and utility, e.g., commuting to work or walking to nearby shops. It's also just a pleasant lifestyle to go for days if not weeks without needing to drive. Truth be told, my love of mechanics and tinkering is one of my motivators for cycling.

It probably behooves everybody to at least give a few different exercise modalities a try, to see which one you can tolerate, with enough intensity to be beneficial. If you find one that's addictive, so much the better.

I've gotten myself some little dumbbells that I keep by my "work" computer, and I lift weights during online meetings because I know that my main modes of exercise don't do much for my upper body.
Don't know that you can really make a meaningful comparison given the political and military dominance of the United States.
The entire backend in Rust, using actix-web framework and async libraries for postgres and redis.

You're not going to rapidly prototype anything with Rust for your first 12 months working with the language, depending on your motivation and your ability to write missing parts for security middleware. However, once you've gone through that, you can be just as productive with an async Rust stack as you can with a Python one. Your prototype will also be ready for the "no time to refactor" mandate that makes it your production system. Actix-web framework and async libraries for postgres, redis, and rabbitmq are all mature and well-documented. I realize you said quick prototype/MVP, but all of this comes at little additional cost once you know how to adopt and integrate quickly.
Absolutely this. Prototyping a project in a new (to you) language/stack only serves one real purpose: to get comfortable in said language/stack. If your goal is to get a working product quickly, with as few hiccups as possible, your comfort zone is your friend.
Yes, police violence is a problem for everyone. Having an encounter with a cop is like a game of Russian Roullette—there’s always a chance it will end badly. However, if you are Black, you get many more chances to play. A lot more. And the threshold for violence is lower.
For me? Just Go.

Building a service? Go.

Need a light UI for the service? Go + Go html templates.

Need a command line tool? Go.

Building an interpreter or transpiler? Go.

That’s just me though. The reason that’s my answer is I’ve been writing a lot of Go lately.

Answers I might’ve given at another point in my career:

- Rust - I’d still reach for this but I find it a little slower to work in for prototyping.

- C#

- F#

- Ocaml

- D

- Pascal
This is one of the most interesting artifacts of programming, and it's probably impossible to explain to people outside the field. How at the same time it's trivial and important, and a constant cause of neuroticism.

It takes up far too much tought-space to the point I would gladly follow some ugly set of conventions merely to have to just never think about it.
Recently I really enjoyed using Elixir with Phoenix for this, it replaces what Rails use to do quite nicely.

For frontend I try to stick again to just HTML and Vanilla JS, if I know the frontend will be more complex then I go straight to Elm
I had the same experience with my prevous phone - a Samsung. Talked about a product that would normally be the furthest thing from my mind with a friend who took an interest in it.

Next day, voila, the whole internet is plastered with ads for this product.

I switched to an iPhone.
Rust heavily relies on such things for safety checks, without loss of speed. We could get the same safety with runtime checks, but that would compromise other goals.
Thoughts on writing a Wayland window manager with wlroots
A new super-Earth detected orbiting a red dwarf star
Until Rust is replaced with something else (perhaps steel-lang or carbon-nanotube-lang). :)
> How is Bitcoin a boon to renewables? Bitcoin consumes energy, and that energy is not being used for other things.

The utopian view is that not all energy is currently being used for other things. On grids with heavy penetration of renewables, peak production can overwhelm demand, causing bulk power to become effectively free.

In a suitably regulated environment, bitcoin or an equivalent could act as a last-resort user of such power. Doing so would provide a baseline demand for excess generation, effectively subsidizing renewable buildout.

This effect becomes stronger with carbon taxes, which would make non-renewable power comparatively much more expensive and effectively reduce bitcoining-demand from such sources relative to renewables.

However, the non-utopian view is that this possible arbitrage is global, not local. Through bad regulation, corrupt governments, or outright theft, miners somewhere on the planet can access power even more cheaply than from the excess renewables contemplated above.
I was at Adobe in the early days. Even when the company grew to well over a thousand employees, Chuck managed to remember everyone's name.

He was kidnapped in 1992 by Mohammad Albukhari and Mohd Sayeh. The held him for ransom. They're now serving life sentences at San Quintin. Chuck met with the entire company when he was recovered by the FBI--we could still all fit in the company cafeteria in "Building B"--and shared his experiences in such a way that we realized what a great and dignified man he was.
Agree, I bought my first dishwasher a few years ago but it seems like every 15 years or so I buy a new one. It's possibly due to those ads. Just can't help myself!
I once worked for a company where bonuses were literally Christmas presents. They gave them out at the company holiday party and everything.

I remember being enraged when the company Christmas bonus was $50. It struck me as showing that management stopped to think about it before deciding that a larger bonus was too expensive. It felt like an insult.

I would have been happier with $0.
That's precisely the problem. It's very useful, when it's useful. Which leaves us spinning in circles when it's not.
French had a lower threat level generation amongst natives (you can encroach into their territories more without generating hostilities). But as far as I remember, when you declared independence, the natives always ally themselves with the royal forces, so it makes sense to get rid of them before (especially if you've been supplying them with horses and muskets).
I'm a runner who never goes on an "exercise walk", but there are plenty of (non-injury) reasons someone might prefer walking:

- less strenuous

- much less fitness required to walk for an hour than to run for 30 minutes

- easier to avoid sweating while walking, which can be useful for some commutes

- easier to talk on the phone while walking

- easier to find someone to walk with you than it is to find someone who will run with you

The article was about making fitness easy and not about making fitness efficient. I 100% agree that running is more efficient, but I'd recommend walking to anyone who thinks "bleh/eww" at the thought of exertion.
That's interesting. I don't usually think about running while running. And I do find the state somewhat meditative, especially since I find I usually observe my breathing and the sound of my feet on the ground.

But this feels more like a "trance" to me, in that I seem to not actively think about anything at all, I just "observe".
I like to keep things simple so over time I removed stuff from the things I use and kept the things that has the largest reach. So what I use to prototype is very similar to what I use to deploy:

* Typescript + Vue on the front end (with nuxt) - NO SSR but nuxt precompiles the pages for me so I don't get the SEO hit. Front end can be served from any CDN basically for free.

* Node for the rest API with a custom, very simple and declarative framework that wraps HTTP, this only replies in JSON (also typescript)

* ArangoDB for all database needs. Has key value store, document store, graph store, so best of all worlds. I can use it like a RDBMS where it matters because graphs support relationships so no data duplication AND no need to normalize.

I can basically do anything with those, from quick prototypes, to a very low traffic website to serving millions (managed k8s, horizontal scaling comes into play then).
What’s the base rate for a cheap web app + db on azure?
Any stress-related problems from running (not a point I'm conceding as I've never seen evidence of any) certainly outweighs the long-term problems from being overweight and out of shape with the lower respiratory capacity to boot.
It's a lot easier to get good statistics on police violence than on "excessive" police violence, since that's so open to interpretation. Assuming that association also holds for police violence in general, then we have to ask whether black victims tend to be proportionately more violent or threatening than white victims ... another hard statistic to gather. If not, then there's a good argument that racism is involved.
> I've found companies that rely on this also tend to underpay on salary, but say things like "we're competitive when you factor in the bonus that basically everyone gets".

If I had money for every time I heard this it'd be a nice bonus unto itself!
It's possible, but I'd argue it's sort of their job to not be part of the uninformed public.
I put together a one-day hackathon project with Next.js on Vercel and Supabase. Supabase is a “firebase alternative” that gives you auth and a Postgres database in a single package in like two clicks. You use row-level security to define what permissions a user ID has using Postgres policies. If you’re a front end weighted developer this is great because you can pretend “there is no backend”, although with Next you can still write server side code that bypasses the row level security. Now, there’s issues with Nextjs/Vercel like “how do I run a job queue?” (Seems like you need an EC2 box somewhere else) that are unsatisfying, but for 1-hour productivity I don’t think you can do better.
VS: Code has already been in first or very close to it inside the Rust community for years now.

VS: Code doesn't put you down a particular "Microsoft developer path" at all.
The assumption that smart contracts are going to cost more than attorneys is presumptive. For the common cases, open source contracts will be inevitable. This will give the world’s poorest options that were never available before.
It's extremely easy to get anonymous Internet in the United States. Open wifi access points are everywhere and prepaid SIMs don't require any sort of ID or registration.
Except the receiver/frame is the part that is FFL regulated and treated the same as an assembled gun from a sales/regulation standpoint - so they are not in fact “Ghost Guns”

But my point still stands - the cost and obtainability of real guns to people that would misuse them obviates the need to manufacture their own
And I thought the selling point of AdaCore to NVIDIA was more SPARK for firmware & embedded than 'classic' Ada. It might have gone further since but it was already a huge jump for such a big tech company, one I can only applaud, when you see how much firmware hacking is just memory unsafety and UB exploits...
Running is very hard on your body. I say this as a runner. I’ve been doing it consistently since high school and I have the bones and tendons and form, yet still I hurt myself sometimes. Even though I feel great after running I never recommend other people do it. It’s kind of a crazy-person thing to do if you think about it!
curl | bash only highlights in a very obvious way how vulnerable we can be to supply chain attacks, but is fundamentally not really different than downloading and running a setup.exe a foo.dmg or a foo.deb, running npm/pip/gem/bundle install, or ./configure && make && sudo make install.

Even when (if, really) people check for hash, do they check that the hash was published and fetched through a second channel? Nope, people run arbitrary code unchecked all the time, so they're just as equivalent.

Even git clone can be dangerous. Do you audit all the repo branch names before cloning? Because depending on how your shell prompt shows e.g branch names it could be used to RCE.

EDIT: by this I don't mean to excuse curl | bash and such, I just mean to highlight that the issue runs deeper, curl | bash being the unburied part.
Open source has gone horribly right, but Free Software isn't anywhere close. The year of the linux desktop is literally a punchline, and Replicant shows that it's not possible to have a fully libre smartphone.
Many people aren't in good enough shape to run. A bunch of extra body weight + poor technique is a recipe for an injury that leaves many people in a position where they now can't even walk without pain.

Walking and some mobility work are great for the the average person. Once they've got a decent baseline and have cleaned up their diet they can start adding more intense work.
Add Years to Your Life and Life to Your Years with Keto Diet
The OEIS is an amazing tool. I recently came across a sequence from an unusual source and then made the shocking discovery that the sequence already existed. It turned out to be a wild coincidence.

Write-up here: https://nickdrozd.github.io/2021/04/12/math-fact-busy-beaver...
I’m an engineering lead and I made a rule of using the handleClick() style instead of updateDate() in our codebase. The reasoning is that the latter sounds more like an atomic, standalone function, whereas handleClick() may have some internal checks that could eventually call something like updateDate(), but the internal checks are beyond the responsibility of the updateDate() function.
FYI their support actively asks you to move to the bash uploader from the Python one, and the Python one had other compatability issues.

Here's a snippet from a support thead with them last year:

>One thing I noticed is that you are using the python uploader to upload coverage reports to Codecov. We do not support this uploader as a first-party tool, but we do support the bash uploader (https://docs.codecov.io/v4.3.0/docs/about-the-codecov-bash-u...) with full-time staff. We want to make sure this issue isn't related to something in a third party uploader before troubleshooting further.
> Would you be able to switch to using this uploader to see if it's related?

I'd stopped using codecov last year for pricing reasons, when they moved to per-user pricing.
Walking is pretty safe compared to running or cycling, though. The article points out that no, you won't change body composition by walking, but it's a good starting point for people whose current activity level is walking between the car, couch, fridge, and bed.
Ghost Master is the game like you describe. Basically you summon various types of ghost, wraiths and spectres and they have special abilities like manipulating temperature, siren song to lure humans in, shriek to scare them away and others in order to manipulate the human NPCs to achieve your mission objectives.
The actual paper does: https://www.researchgate.net/publication/239391768_ZnCu-vege...
I can practically guarantee they are going to want the cash.
They are proposing New IP system that requires people to register with their real ID in order to use the internet anywhere, not just in China. That’s pretty dystopian in my book.
Funnily enough, I recently had to help with an issue where a company's payment screen was not loading correctly and instead displaying "Invalid session". They use a third-party vendor to handle payments and display their payment form in an iFrame on their website.

There is an initial request to create a session that has to pass the desired expiration time of the session. Unfortunately, the vendor requires the time to be in Eastern Time. The poor, naive soul that originally implemented this just got the current date, added 15 minutes, and converted it to "EST". As soon as daylight savings hit a few weeks ago, the expiration time was automatically being set to 45 minutes in the past, the vendor was responding with "Invalid Session" and the company was unable to take payments from customers.
I agree with all of these 100% which is why I specified the fitness aspect.
I think we basically agree.
They are starting to rewrite Windows components in Rust [1] and are also founding members of the foundation.

[1] https://msrc-blog.microsoft.com/2019/11/07/using-rust-in-win...
I dunno, I’ve bought several guitars in a row…
I’d agree in some cases, but then you get weird debouncing code in your update date function. Because, no one wanted to change the onClick function name in 38 different places when it starts to do more.
Ex-Lucent and Bell Labs you'll find today at Nokia e.g. https://www.nokia.com/about-us/news/releases/2020/12/07/noki...
Read the paper:

https://www.researchgate.net/publication/239391768_ZnCu-vege...

The zinc is consumed. The copper is not.