skysight-inc/HackerNews huggingface dataset:
why are we like this? because decentralization removes power from big corps. thats justification enough.
https://git-send-email.io/
~2010 Subaru & Toyota

One of them is actually fairly reliable (used as work truck); but I'll never buy another Subaru.
I got into 68000 programming quite late (6yr ago), but I have been enjoying it (so far Amiga, Atari ST, rosco-m68k). It is a very programmer-friendly instruction set architecture.

RISC-V I started playing with more recently (early 2023, thanks to VisionFive 2), and it feels like my old favorite (MIPS), without the baggage MIPS carried.

It is a pleasure to work with this amount of GPRs and the comfortable alternative names for them that the official abi offers. I am loving it so far.

I expect to have RVA22+V hardware soon (Milk-V Oasis). Very much looking forward to playing with the vector extension on that.
They were and are good at this. But the decision to ship this in this state before their typical quality bar was Tim Apple’s. He reportedly overrode the design team and demanded it ship now to enter the market and iterate in public. Even though he’s otherwise hands off with the product itself. This was all widely reported but has been missing from recent reporting now that it’s out.
New Linux glibc flaw lets attackers get root on major distros
I had not heard they went IPO. They are a penny stock now?

Looking at those financials... yikes. I am kind of shocked how poorly they are doing.
There's a good chance your company already enforces Edge as the only browser in the first place if your company is all-in on Windows. It's fully integrated into existing Group Policy management tools and is secure and compatible enough to be used for web browsing, unlike Internet Explorer 11.

Also, in general, Windows Professional is a lot more respectful towards users. Edge still nags you all the time, but it doesn't do most of the terrible shit that happens to the consumer version.
This does sound quite reasonable. So the narrative is that this is a UX improvement.
TikTok's response: https://newsroom.tiktok.com/en-us/tiktok-statement-in-respon...

"It is sad and disappointing that Universal Music Group has put their own greed above the interests of their artists and songwriters.

Despite Universal's false narrative and rhetoric, the fact is they have chosen to walk away from the powerful support of a platform with well over a billion users that serves as a free promotional and discovery vehicle for their talent.

TikTok has been able to reach 'artist-first' agreements with every other label and publisher. Clearly, Universal's self-serving actions are not in the best interests of artists, songwriters and fans."
> So your advice is to reinvent to very good and battle tested wheel of GitHub

GitHub isn't analogous to a wheel. GitHub is a proprietary service owned by one company. Any patent on the wheel has long expired.
teddit/libreddit are basically as good as dead after the API changes last summer. It's all gone to the dogs.
There are several ISO dumps available on the internet that you can download untouched LTSC images from. You can check the hashes from the official Microsoft support site if you need to be sure.
The End of My Childhood
Yeah it might be that JetBrains will eventually realize and move to Impeller or write their own renderer like Rive.app has done for their use case.
Most of the companies I've worked for or consulted with had some sort of background worker system for , usually with a queue in postgres/redis/rabbitMQ/kafka/whatever in between. It usually gets used for non-latency sensitive work like sending emails instead of doing that from the main request handler, so that the user gets their response without having to wait for the other stuff to be completed. Bigger companies sometimes have multiple groups of background workers, one for each service and each with their own queues, servers and autoscaling policies.

As I understand the XFaaS system from the article it functions a bit like a consolidated background worker system that any service can submit their work to and it will (try to) make sure it gets done in whatever SLO is specified. This is usually cheaper because now you can do low-urgency work from service B when there are urgent jobs from service A and vice versa, leading to higher average server usage. For small/medium businesses this is probably not something you'd want, since developing and operating such a system costs more than you save. But if you have a multi-million dollar bill for your background workers alone then it might be worth it.
Shaq and Sam Altman team up to fix community college
Why Cut Rates in an Economy This Strong? A Big Question Confronts the Fed
That would impede their plan to sell 23andMe, including its DNA database, to China (or Russia, or Antarctica, or the next Martians that happen along).
13th-century Chinese rockets weren't landing on the moon either so both are simplifications.
Would it really even matter?

Is there anything you'd do differently if we're conclusively determined to live in a simulation?
A banana does actually third itself when split.

I'm still going to shake my keys at the next swarm I passby.
"A professor says Edge is the worst for privacy." (2020) https://www.zdnet.com/article/a-professor-says-edge-is-the-w...
You must be kidding right?

Your chat demonstrates most of what I brought up:

* it only spits out snippets

* it cannot produce an app

* it is hallucinating

* it is creating more work than just doing the work yourself

And its a web app, but that's on you for requesting that for some reason.

I asked for a MS Paint app. That would mean something that produce a Windows compatible EXE, not a some html fest.

> I won't ask for the rest of the features, because it's boring.

Or, because it's infeasible and you know it.
If setting up a Kubernetes cluster isn't a terrible overhead for us, switching to FaaS would mean we would have more control or less control? I am thinking mainly of migration to another provider.

Maybe we would benefit more if we would have large spikes in resource usage, but we don't.
“Self reported” is exactly the standard of evidence I expect from Covid researchers. Thank you for the thoughtful reply. Next up please control for vaccine status. Long vaccine anyone?
Depends on your size and workloads, obviously.
Sberbank testing seems to be blown out of proportion by Wikipedia-studying analysts. Or someone else, for some other reason. It's easy to guess that certain “patriotic” circles had decided to make Sberbank support the production by signing some big long term contract, and they decided to NOPE out of it, and quickly made a critical assessment in comparison with top of the line commercial offers. Effective performance of Elbrus in various tests was neither a secret nor a surprise.

The problem isn't performance, it's the architecture. Supposedly, it's intended use case is being a processor for radar control systems with lots of floating point number-crunching/DSP/whatever power to process input data in real-time and also run some general purpose code based on results, all in a single package. Other tasks rarely need that combination of features, it's either top general purpose performance on x86 servers, or top number crunching performance on supercomputers.

Random links:

http://www.elbrus.ru/files/521dd0/256487/1a773c/000000/2014-...

More detailed on page 100 in this book (with many details on other pages, obviously):

http://mcst.ru/doc/book_121130.pdf

Random paper on optimizations:

https://doi.org/10.14529/mmp200109

I remember seeing some benchmark results some time ago in which optimized x86 code running via Elbrus software+hardware translation was faster than native Elbrus compile for the generic C code. Unfortunately, VLIV compilers must be very smart, and ingest all the software and hardware optimizations from others to compete with common architectures.
I'd buy it if it have advantages over a monitor. Assuming of course the Airplay capability is spotless and very low latency. AV1 encoding on the Mac side would be a must.
Show HN: PalDex – List of Pals in PalWorld
If by simulation one means 'a systematic application of laws/rules through time' then it's a tautology to say that we are in something like a simulation by the mere fact that there exists the laws of physics.

The more interesting question is where are the laws of physics located? How does an electron 'read' their rules?
There's More Proof That Return to Office Is Pointless
> I’d roll back a bit on meat. It can be very fatty, particularly red meat.

Fat is not bad. We decided it was on the flimsiest of evidence and suspect "plausbility" arguments (eating fat makes you fat, obvs) and the subsequent attempts to prove the hypothesis in large scales studies have come up empty-handed.

> And it does significantly raise risks of various diseases, including cancer.

I significantly doubt that, the evidence, such that it is, is only found in highly confounded epidemiology that does not allow you to make that claim.

> If you’re going to eat it, I’d be very selective about the types and sources you consume.

Fair enough.

> Humans didn’t exist millions of years ago…

Google "how long have humans been eating meat". Not saying it's right, but it contradicts your point.
how are lasers operating in space i thought it would disperse quickly or attenuate greatly at high frequencies or is it due to space being a vacuum thanks just asking
You've missed the point of libvirtd.
Ars Technica used in malware campaign with never-before-seen obfuscation
> And indeed, the Desktop app had been installed, without any user interaction whatsoever.

Highly unlikely it just happened out of the blue without any user interaction at all. Stuff like this would be all over the news. Tech tabloids would love farming clickbaits with FUD like this.

You definitely clicked on something that accepts/triggers the installation and you don't remember doing it.
Would that make them Ntel or Invidia?
> one of the clunky aspects is the use of code generation

Yeah, I’ve been trying to stay away from it but it feels inevitable!

I do not want to deal with code generation.
It’s the product vision. But progress is slow reportedly because of physical and current scientific tech limits. Their product vision could take another 10-30 years.
Totally agree. Also Peter Attia in his “Outlive” book insists that staying fit is more important than a balanced diet.
> The fundamental interaction model in VisionOS feels like it will be copied by all future VR/AR headsets

Apple loves to claim that they invented everything, last I recall was the mute button on browser tabs. This is another case of that. This can be done with almost all headsets today.

You couldn't do it with Apple products, so I guess there's that.

This is a paid PR piece. It's not a review. Claiming that issues on a $3000 device "are fine because it's the first iteration" is not reasonable considering that multiple competitors have those issues largely solved for far less.
Tristimulus values (X, Y, Z) are the dot product of the incoming spectral radiance (L) and the spectral sensitivity curves (x, y, z) of the three cone cell types:

X = dot(L, x)
Y = dot(L, y)
Z = dot(L, z)

The spectrum of the light reflected from a surface (Lᵣ) is the pointwise product of the incoming spectral radiance (L) and the spectral reflectance curve of the surface (R):

Lᵣ = L * R

What RGB rendering does, is it replaces this equation (for x, y, z):

X = dot(Lᵣ, x) = dot(L * R, x) (eq I)

with this (for x, y, z):

X = dot(L, x) * dot(R, x) (eq II)

Which are not equal in the general case. On the other hand, they are equal up to a scaling factor if L is a constant function, since in that case:

dot(L * R, x) = C * dot(R, x) (from eq I)
dot(L, x) * dot(R, x) = D * dot(R, x) (from eq II)

where C and D are scaling factors that depend solely on L. The interpretation of this is that as long as the light source has a sufficiently flat spectrum (like sunlight!), the difference between spectral rendering and RGB rendering will be negligible.
It's a form with some text field inputs which get interpolated into a predefined constant string. In the current age of tech I assume it's not a joke, but I understand why you ask.
> hide all the complexities

Does it? There are some things that are obvious to anyone paying attention. We can tease out details ad nauseum but what is the point in that if you can get 95% of the way there just by being sensible.
Good luck functioning in modern life without phones like this. There need to be limits, and it is being abused. And nobody reads the ToS.
How many people are actually going to switch, though?

I’ve primarily used Linux for 25 years. Used to try to get people to switch. Microsoft would do something user hostile and people would complain, and then just go back to using Windows. A percentage switched to Apple, but they’re just bad in different ways. (Google, too, if you’re thinking about Chromebooks.)

I’d love to believe “surely this” will be the thing, but I’m not optimistic. (Would love to be proven wrong!!)
Passkeys – The iPhone Moment for Security
> As someone who never worked on a project that wasn't at least a couple months long, I'm curious about the kind of apps that can be built in half a week. Do you have links to share?

The last one was a prototype for an internal SEO improvement tool, which will (hopefully) be used by a marketing agency to more effectively manage client sites. Think: fixing alt attributes, links, meta tags etc. App is too big of a word for that. But it might turn into a Shopify/Wordpress plugin someday. Also built a Telegram bot for my parents last week which helps with various day-to-day tasks (they're elderly and live in a foreign country).

Having said that, here are two crappy technology demonstrators I built in the last 4 days with tools I have not been familiar with a week before (flask + mongodb):

- Candidly, an behavioural/technical interview question generator: https://candidly.romanabashin.com/

- Memoir, a personal pet project for memoir writing: https://memoir.romanabashin.com/

(Please don't murder me, I know it's utter crap in the grand scheme of things — they're mostly there to demonstrate an approach to solve a specific problem.)

Why this has been an absolute rocket ship in terms of learning: I use ChatGPT to extremely quickly generate boilerplate code and debug things in languages I'm not familiar with. (e.g. "What does WSGI want from me agin?")

The benefit, at least for me, is: You are learning while doing a (more or less) useful hands-on project instead of answering crappy disjunct multiple choice questions for some artificial test.

And ChatGPT is my hyperindividualised pair programmer & slightly amnesic teacher.
>How does anyone know whether they're using every word correctly, without obsessively verifying _every_ word?

that's why once upon a time a published work went through multiple staff members, one of which had the very job you just explained.

now that the bar to publishing has been permanently lowered by technology and the current state of things writing quality has -- predictably -- declined.
Obviously many people use Spotify over Apple Music and want to use it.
I reckon the situation would be, eg., a waiter taking a check on a card.

First: this situation does not happen in EU. Alle restaurants have connected handheld devices.

But when an EU citizen go to the US and pays? I reckon that the restaurant would have a check that bounces and won't get paid.
Fascinating and horrible at once.
> Is Flutter still just rendering everything to a <canvas> as an image?

No, it can spit out html instead.
Yep, I’d say if this thing can’t sell beyond the Apple services subscribers, it won’t exist in 5 years.
Compile code and run code that has access to local file system and run native command?
Isn't paying every month for the right to use the software SaaS ? Or am i missing something ?
> Well, despite numerous pleas and several attempts, nobody has managed to write boringcc which is telling of something, I'm just not sure of what exactly.

John Regehr has a blog post that touches upon why this is the case [0]:

> I’ll assume you’re familiar with the Proposal for Friendly C and perhaps also Dan Bernstein’s recent call for a Boring C compiler. Both proposals are reactions to creeping exploitation of undefined behaviors as C/C++ compilers get better optimizers. In contrast, we want old code to just keep working, with latent bugs remaining latent.

> After publishing the Friendly C Proposal, I spent some time discussing its design with people, and eventually I came to the depressing conclusion that there’s no way to get a group of C experts — even if they are knowledgable, intelligent, and otherwise reasonable — to agree on the Friendly C dialect. There are just too many variations, each with its own set of performance tradeoffs, for consensus to be possible.

Granted, at the end he says that it's not that it's impossible, it's just not for him, so it's still possible that someone else would succeed, but they'd have an uphill battle for sure.

[0]: https://blog.regehr.org/archives/1287
The parent comment said you need to be “graced” with the dollar or euro, but with crypto every person on earth can have a dollar wallet now. That’s why I said it.
Also, some deaths are questionable. Death of domestic crops results in death of civilization that know algebra, metalworking, chemistry and medicine?
The premises of your argument, i.e. what your grandparent's did and animals dietary changes, are insufficient to justify your firm conclusion.
I always find it baffling appealing to the fact that "eating meat is lindy" - i.e. something stone age humans and us did for hundreds of thousands of years, hence healthy, at least it won't kill you.

Because it ignores the fact that average life expectancy was significantly less than it is today - why would you want to take stone age humans as health role models? In fact average life expectancy almost doubled globally from high 40s to high 70s only very recently - well after we stopped eating meat all the time.
TL;DR: Really crappy stuff to throw shit at the wall in technologies you're an absolute dunce in. :)
Minimal, but that was not what OP said.
>Satisfiability Modulo theories (SMT) is an area of automated deduction that studies methods for checking the satisfiability of first-order formulas with respect to some logical theory T of interest. It differs from general automated deduction in that the background theory T need not be finitely or even first-order axiomatizable, and specialized inference methods are used for each theory. By being theory-specific and restricting their language to certain classes of formulas (such as, typically but not exclusively, quantifier-free formulas), these specialized methods can be implemented in solvers that are more efficient in practice than general-purpose theorem provers.

>While SMT techniques have been traditionally used to support deductive software verification, they are now finding applications in other areas of computer science such as, for instance, planning, model checking and automated test generation. Typical theories of interest in these applications include formalizations of arithmetic, arrays, bit vectors, algebraic datatypes, equality with uninterpreted functions, and various combinations of these.

http://smtlib.cs.uiowa.edu/about.shtml
Any notes on quality? I suspect that a poor translation can confuse a potential customer. For multi-lingual users I think sometimes it's better to show text in the original language than to poorly translate to their preferred language.
I’d be sitting on my couch with my wireless Glove80 split keyboard at my sides. Or lying down with the keyboard flanking me. No desk. And I’d move the keyboard to my counter to stand when I feel like it.
A server idling on Function A can't be called for Function B. 144 servers idling for 10 minutes each before expiring makes up a day of compute-time for 1 server. For every 144 expected idle servers, Meta needs to purchase and maintain an additional physical machine to keep up with healthy throughput on xfaas.

Every 15 minutes, the 100k server network has 1,500,000 compute-minutes available.

For an extreme example, every 15 minutes, 50k DB Cleanup processes run for 5 minutes, and then sit idle for 10 minutes, totalling 15 mins each. In this scenario, to satisfy 250,000 demanded compute-minutes (16.6%), 750,000 compute-minutes were supplied (50%). All else equal, to keep up healthy throughput on the rest of the network, Meta needs to purchase and maintain an excess 33,400 (50%-16.6%) physical servers to satisfy this DB Cleanup process.

Reducing the idle-time to 1 minute. The 50k process runs for 5 minutes, and then sits idle for 1 minute, totalling 6 min each. In this scenario, to satisfy 250,000 demanded compute-minutes (16.6%), 300,000 compute-minutes were supplied (20%). All else equal, to keep up healthy throughput on the rest of the network, Meta only needs to purchase and maintain an excess 4,000 (20%-16%) physical servers.

That's an extreme example, but hopefully it demonstrates why at Meta's scale, the energy requirements of the servers can be secondary when optimising for hardware. Since optomising for hardware can make a difference large enough to mothball a moderately sized datacenter.
If our universe is a simulation, we're presumably the focus, or at least a result worthy of attention. If some Gods able to see all of our universe could inspect, say, an entire galaxy, or a single microbe on Earth, they'd probably find the microbe on Earth more interesting. Even the simplest life is more interesting than all the rest of the universe, and all available evidence suggests Earth has the only life.
It's against the rules to call out people for not reading the article, no matter how obvious.
And that statement is hilarious in light of the many failed efforts (eg subsidies for Netbooks and their embedded x86 chip) where they lit billions on fire attempting to sway the market.

FWIW I don't buy his explanation anyway. Intel at the time had zero desire to be a fab. Their heart was not in it. They wanted to own all the IP for fat margins. They have yet to prove anything about that has changed despite the noise they repeatedly make about taking on fab customers.
Seems like 23andMe is two businesses: consumer and a B2B data business.

The consumer side is clearly struggling because of the problems mentioned in the article (they only need one test in their life, public perception is bad because their security has had breaches). So this needs a pivot where you can change the public's perception from a one-time test to continuous health monitoring through blood markers or something similar, expand to tests other than genetic and make it a repeatable, accurate test that gives you more information (and obviously stop leaking people's data).

But why not focus on the B2B side? Sell access to their databases. I'm sure computational biology and/or pharma companies need this information. It makes sense to do vertical integration by manufacturing your own drugs, but not for a cash-strapped business that has little incoming revenue to sustain further development. Presumably they are selling their genetic data, but I don't get why it's not giving them a revenue stream. Let GSK manufacture the drugs using your genetic info, with a profit share for any drugs made this way. They mention a collaboration with GSK in the article, but why was this stopped?
A new access modifier in Swift: package
They likely would if only they had money to spend.
Someone would at least try.
What happens when you put 2 cursors over the same app, and the app checks for cursor position (e.g. video games, on-hover UI)? Will it get one of 2 cursors? Or will it see nothing, and then when you click something, the cursor will "teleport" to the place where you clicked? Or does it use some magic multitouch macOS API?

If anyone has installed this project and wants to check this, here is a test page that can help: https://codepen.io/ahmedbnabouelezz/pen/wvWZWjO