skysight-inc/HackerNews huggingface dataset:
Side channels are hard to prevent in all languages because of compiler optimizations, out-of-order execution, branch prediction, speculative execution, loop unrolling, eliding operations, register renaming, using the FPU under the sheets for ordinary integers, clock throttling, cache usage, rowhammer, etc.

Modern mostly-hidden, mostly-proprietary architectural execution models are hell for security and side channel prevention.

We need chips from 1984 with Ghz clocks if we want good security.
The digital landscape is evolving at an unprecedented rate, and Anuclei stands at the forefront of this transformation in software engineering. By integrating Swarm Theory, Promise Theory, and generative artificial intelligence (AI) into the Software Development Life Cycle (SDLC), we aim to significantly enhance efficiency and adaptability, addressing the growing complexity within IT ecosystems.
So, now setting a goal - let's replace with it LLMs ;)
> Consider https://www.ietf.org/rfc/rfc1866.txt vs https://html.spec.whatwg.org/multipage/

I thought, oh, that's not so bad. Then I realized what I was looking at was a 10 page index.
I agree, imagine a carpenter who is told "don't bother making tables, you can buy them from the shop". We tell software devs this all the time. The javascript ecosystem was the perfect example of this, it professed an ideology that most devs should only write glue code between libraries, and only the arrogant devs we can't stop and/or FAANG are writing the libraries.
I can't relate / do not recognise these claims of incorrect rendering; is there a resource out there that shows images of how it's supposed to be vs what it looks like? I thought this was a problem of the past, IE compatibility with web standards kind of thing.
Canada has bee fuelled by money laundering and asset hiding for decades.
US-only. What if my EU data is found in US-based data brokers?
"yet we don't let our kids run around with knives for example."

Actually some do. Boy scouts traditionally for example do not think, that kids are generally to be treated as idiots.

So yes, you do not give a knive to someone who cannot handle it. There are 20 year olds who should not be given anything sharper than a plastic knive. But a ordinary child usually can handle dangerous stuff - you lead them there, step by step.

Same with computers, smartphones etc. If neccessary, you can provide a locked down environment at first, with only approved apps and sites (or no internet at all).

But one day, they need to handle it all, without someone holding their hands. And they cannot learn it, if they always only navigated a locked down safe space.
> Not to mention that every “polyamorous” society eventually settles into polygamy—-and that’s poison. Expect a reckoning when that happens.

I don’t understand this statement. Is having multiple spouses (which is what polygamy is — husbands or wives) a poison compared to having multiple lovers?
The laws of physics are a mental model created by consciousness to understand the world experienced as beings separate from it.

To subjugate the creator to that which it created is a bit funny.
Patreon – no. You pay a subscription to YouTube and you don't get served ads. Some of the money from these subscriptions is then divided between the creators, similar to how Spotify works.

YouTuber makes more money on average when a YouTube Premium user watches their video than what they would get from the ad-view if the person wasn't on Premium.

All in all it's reasonable IMHO. I might purchase it some time. The only issue is that this of course doesn't remove sponsorships baked into the videos, which annoy me just the same as the YT ads. So, I would still need Sponsorblock.
Previously https://news.ycombinator.com/item?id=30214371
Installing python software is hard. Golang is much easier for and end user.
It’s not entirely clear, but I think it’s the fact you can simply 301 redirect to your new feed on a different platform.

Seems a bit misguided, because unless you’ve been pointing to your own domain the whole time, you still depend on the previous platform to 1) offer this feature at all, 2) keep serving that 301 forever or your old subscribers will be lost. Do podcast apps permanently change the feed URL when they see a 301? Am I missing something?
How do you deploy workloads to your clusters then? `kubectl apply -f`? Another form of CI/CD?

Assuming you have some sort of build pipeline that also pushes to your cluster, Flux does the same thing whilst ensuring whatever was pushed never diverges.
On-device background removal with Transformers.js
In tech, getting laid off is scary until... you actually get laid off. :) Then, the world doesn't end. In fact, it can make you apply for the job you should have applied for before but didn't know about, or were too risk-averse to jump ship for. A 50-yr-old with no formal qualifications or specialist skills getting laid off, sure , that's scary cos they're less employable. But age 24 with a recent degree, energy, and recent tech experience. you'd be fine. I've been laid off twice in a 30+ yr career. Both times, I got a job that was better, including better paid. And left unpleasant environments for better ones. And had a nice break doing interesting things between jobs. I've many colleagues who'd say the same. Some even say "its the best thing that could have happened to me". It helps to build up some savings. Should be do-able even on a modest tech salary. Getting another degree - my advice, consider studying part-time, somewhere that allows it to be done at flexible pace - maybe a Masters in Comp Sci by distance learning, at a place which allows those with non-comp-sci undergrad to treat it as a conversion course. You could do certification like AWS but beware that's got a short shelf-life whereas a Comp Sci Masters looks good on paper for decades (as well as improving excellent fundamentals). If you do get laid off, generally, some severance gets paid. Which you could use for tuition fees. When else do you get paid for NOT going to work? ;) I'd say , regarding job insecurity, embrace it and learn to roll with it. Or, if you really can't cos you're a "worrier", consider working for the government as although it sometimes pays less, its a lot steadier and you don't have to fret.
Smoking can also make you mind waiting less, and help you cope with anxiety during an appointment (though I would really like to see a source on the negative correlation between phone use and anxiety, because I don't believe it exists). Does that mean that lighting up in the waiting room makes you more pleasant to be around?

I really just want to know though: is this something you have decided makes you more pleasant to be around, or have others told you it?
EVs won over early adopters, but mainstream buyers aren't along for the ride yet
Apple is an American company and we’re not actively paying for a hot war against China.
Counterpoint, it would be another release / packaging they would have to build and maintain, unless they find a volunteer that can do it without detracting from their core business, it's not worth the investment (to them).

Anyone can set up a pipeline to distribute ISO images though, it's open source.
I'm far from a Linux zealot, in fact I'm writing this from Windows as it's the OS I prefer for my personal computing needs, but I don't see much of a problem with elderly office workers using Linux.

The main problem with Linux usability is installing and updating it. If all you do is browse, fill web forms and write documents, and you have the software to do so installed and maintained by someone else, I don't see how it can be much harder to use than Windows. It could even be easier in the sense that they could safely open "catvideo.exe" while slacking at work without causing a disaster.
GPL applies to the distribution as a whole, so even if parts are say MIT licenced at source they still need to distribute it under GPL.
Because the story is still generating comments! :)
Podcast technology is RSS. RSS is distribution. An MP3 or MP4 (or whatever Google uses) is just a container. Without distribution, it sits there doing nothing.

Being able to look up almost any podcast in any podcast app and find its RSS feed and subscribe to it directly without requiring any intermediary is a huge thing in this era of proprietary silos. That's the point he's getting at.

Apple could go rogue tomorrow and start rehosting all podcasts in its directory, which most apps depend on, and I would still have my list in Overcast to go and get RSS feeds direct from the source.
I did not mean "everything" in the broader context but in the context when it comes to writing "easy" multithreaded programs. Pretty much everything in that case becomes modeled through a shared-ownership or message-passing semantics.

Since those same mechanisms are available in C++, and other languages too, making an argument that some specific XYZ algorithm re-implementation from scratch was more successful only because it was written in Rust, doesn't hold water. It was successful, for the arbitrary definition of success, in its major part because it was a greenfield project.

I believe that suggesting otherwise is plain wrong and misleading.
So you couldn't get away with lazy and ignorant two word answer and it forced you to write quality one :)

One would argue whether we'd have querySelector if jQuery wasn't as popular. We may have an inspiration chain here... but thanks for pointing out to prior art.
How? I did a quick lookup and the results points to the otherwise.

https://consensus.app/results/?q=Does%20the%20carbon%20credi...
If I post a video on TikTok, you need to use the TikTok app to play it (with all the privacy implications of that).

If I give you a podcast URL, you can play it in pocketcast, overcast, or even write a few lines of Python to download it and play it in an mp3 player.
Destroying money is isomorphic to giving that money to the level of government controlling the central bank (with some extra busy-work). The central bank obviously has the option of simply creating an equal amount of money, and may in some rare cases be forced to do so in order to avoid deflation.

Giving that money to the level of government that controls the central bank is probably an improvement for incentive alignment over letting local governments keep it. Destruction just may not be the best way to accomplish that.
AFAIK most podcast platforms offer redirects.
Incredible work, thanks for your contributions.

To garner more interest for anyone coming in cold to the Github repo, linking to or embedding the original post might be worthwhile as it does a great job of talking through the project's value.

This project could be profoundly relevant to all of humankind, be it learning anatomy, or liaising with healthcare workers to talk through issues visually or in the commercial sector (e.g. producing photorealistic animated films/virtual try-on).

Edit: remove repetitive use of project
Or the early version of a bootstrapped compiler
Hi Lluis! I was wondering if the Discord is still up because I like to see the other projects people make with it.
No, the reasoning officially was to move closer to acquired companies and better lobbying especially for defense involvement
NextDNS seems to be maintaining its DNS infrastructure, but the mobile apps are almost abandoned and don’t even work many a times. The NextDNS forums have a lot of posts without any assistance or response from the main team.

To me, it seems like the founders are not focused on customer support or making the NextDNS ecosystem better.
The only Vue CheatSheet you will ever need whether you are using Vue, Vue Router & Pinia in your Vue project or starting a new Vue project.
> Automated theorem proving is the only way to build better machines.

That is only true for a very narrow notion of "better machines". Automated theorem proving is still light years away from being applicable in the majority of software projects. Don't get me wrong I am aware of the progress made in the last decades. Yet, it will be some time until someone writing the next iOS app will reach routinely for an automated theorem prover to lower the defect rate.

And even then, the questions remains whether fulfilling a formal specification is at all correlated with "better machines" or "better software". There are domains where this is conceivable: os kernels (L4), certifying compilers (CompCert), and others. But how does a theorem prover, automated or not, help with improving the next generations of video codecs? That is an intrinsically subjective problem -- the quality axis, less so the performance axis. How does theorem proving help with neuronal networks? How does it help with capturing the right business process to actually improve business outcomes and not just introducing new bureaucracy?
> I dropped my Spotify subscription when it started getting exclusive rights on podcasts

To me, these no longer are podcasts, but are now shows hosted on Spotify. It's not different than any other talk show like Stern or some sportsball talking heads that are exclusive to XM/Sirius/ESPN/etc. It's just their shows don't have a "broadcast schedule". Maybe I'm just being too pedantic
I am a big fan of Kanary - https://www.kanary.com/

I’ve tried one rep, delete me and a few others. This service goes much wider to delete all public mentions and hidden ones in broker databases that are being sold. It has made a considerable difference for my data privacy IMO.
What OP is describing is the strong form of emergence, that emergent behavior cannot be fully understood or predicted by understanding each of the individual parts. Aka the whole is more than the sum of the parts. If you fully understood the laws of physics at an atomic level, would it be sufficient to recognize a cpu as turing complete if you see one?

It's a debatable position in philosophy against the reductionism OP is describing, and maybe a bit magical but I'd find it the more interesting of the two positions to hold.
> It’s interesting that throughout history we have tended to characterize the behavior of biological systems in terms of the dominant technology of the time.

"In the beginning was the Word", says the book.
Our pre-sales engineers, devops people were familiar with Python. It's also a popular language outside our company, though I'm sure some of our customers use Lua (e.g. in nginx tool).

Lua being designed specifically for embedding makes it a good choice.

I wonder, though whether we might have ended up with similar fights maintaining LuaRocks dependencies in rpm/apt ecosystem on various platforms as soon as those customizations start pulling in dependencies like XML parsers, crypto, etc.

Do you have thoughts on that? (Note, we target linux, but sell proprietary closed source binaries only, except for the customizations)
Hello everyone!

InstantID is very popular in AIGC community and has got 7k stars on GitHub in just 3 weeks. It is a new state-of-the-art tuning-free method to achieve ID-Preserving generation with only a single image, ensuring high fidelity and supporting various downstream tasks.

OneDiff now supports accelerated inference for InstantID, and it achieves 1.8x speedup for InstantID on RTX 4090/3090. Check this for details: https://github.com/siliconflow/onediff/pull/597

HF Diffusers InstantID Accleration：
https://github.com/siliconflow/onediff/blob/main/benchmarks/...

OneDiff Description from InstantX Team:
https://github.com/InstantID/InstantID?tab=readme-ov-file#re...

Run

python3 benchmarks/instant_id.py --repo ~/repos/InstantID/ --face-analysis-root ~/repos/face-analysis-root/
... "is a radical statement". For some reason radical was removed from the title, but this is a case where it matters.

If you submit to HN and the title is automatically edited (presumably to make it less sensational), but you feel it was improperly done, you can edit the title.

If I'd submitted this piece, I would have made sure the "radical" adjective was present.
While the chemistry analogy is good, the problem is not with
computers per se. Children who are so inclined should be allowed to
have personal computers (like Raspberry Pi) for experimentation.

They should also be warned about the potential harms as part of their
technological education. Children who are adept at typing should be
allowed small laptops for note taking. These are just tools. Kids are
not all the same, and choice is paramount here.

The issue is not the computers but the awful and toxic software that
gets onto them. Google, Microsoft, Facebook, Instagram... and other
edu-tech wares have absolutely no place in our schools.

They stifle curiosity and free-thinking, and impose meek compliance,
and deference to authoritarian values. These are commercial concerns
that intrude into places they have no right to, whose objectives are
fundamentally misaligned with education because they exploit, extract,
distract, manipulate, spy, addict demotivate young minds.

Teaching kids about technology is essential, and should include
teaching them proper scepticism and caution. Allowing children to be
taught by technology is an abdication of responsibility by schools,
teachers and parents.
A good proportion of these people have the majority of their multi-million dollar wealth tied up in a single on of the FAAMG megacorps, or in a stock portfolio heavily invested in them.

As they say, "it is difficult to get a man to understand something, when his salary depends on his not understanding it". Even the ones that are not outright shills and cheerleaders often exhibit motivated reasoning...
Current HN Title:

> Danish schools will no longer be allowed to use Chromebooks and Google platforms

The ACTUAL Title of article, and leading paragraphs, may (sadly) tell a slightly different story:

> Final Decision on Chromebook Case in Denmark

> 03 Feb, 2024

> This week saw a conclusion on the Danish Chromebook case. The result, long-awaited by father and privacy activist Jesper Graugaard, shows that the Danish Data Protection Authority has issued an injunction regarding the tracking of children's personal data via Chromebook and Google platforms in schools.

> From 1 August 2024 onwards, Danish schools will no longer be allowed to enable Chromebooks and Google platforms to collect students' personal data for processing. Each municipality will need to give an indication of how they will comply to this injunction by 1 March 2024.
Sorry not a native speaker.

My understanding of "upgrading" a toolchain or dependecy in a project means, changing to a new version of the toolchain or dependency and make the project work again? With 1.22 memory consumption should be less and PGO has better performance from my understanding.

When I change the minimum version in my project to 1.22.0 it will download 1.22.0 and use this for compilation. I would call that "upgrading"

~/Development/inkmigo$ go version
go version go1.22.0 linux/amd64
I guess the recent movement started by some projects to go back to JSDoc type annotations kind of answers that.
Neal Stephenson was prescient about our AI age
Cooking with Gas
Lol yep, thought the same thing.

HN landed hard on the "sucks to be you" side of things with Musk, curious to see where this ends up.
Strange how Elon Musk is not some weird exception it was presented as when shut down an account and complained about the same exact thing...
Oh yeah, those kids don't understand the concept of a file, or where and how it is actually stored, or what the file format represents, or that they can even change anything. They don't care about storage, as everything is intangible in the cloud. Our children are dumbed down by the cloud and Google going out of its way to present everything the Google way.

We are decoupling our children from the actual underlying electrophysical reality by feeding them the Google version of computing, which is a lazy, stupid, point-and-click reduction of the actual processes.
There's a lot of possible choices presented to the user, some of them totally out there like 'Ximenia'. Maybe there should be fewer choices, or can group them by what the author might guess are the common choices (where I can focus my attention), then a group with the less common choices. More elaborate things are possible like dynamic grouping and using web/LLM searches to come up with the initial choices.
I’m listening to some podcasts published through Acast and 95% of the time, my injected ads are about how I don’t have to listen to said ads if I buy Amazon prime.
Unfortunately the US will never stop the hard courting of Denmark (the influence of which can be readily seen in Danish society, as American values are antithetical to Scandinavian values), because of Thule Air Base, the northernmost US military base, in Greenland.

You can see how much young Danes idolise the US. This could be said for more EU countries, but by my experience living in Denmark, it is much more pronounced there.
I don’t think a kernel is comparable to an operating system.
Yes, sorry, got rate limited by the eBay API!
Actually it happens. I live in Sweden and I travel to Brazil to visit family. If I get a SMS on my Swedish number, I get charged the equivalent of a 1-minute phone call. The reason is that the Brazilian telecom I'm roaming in sees a foreign number from Europe as a perfect opportunity to get some easy money, and charges my provider, which passes on to me.

Note that the law in Brazil forbid telecoms from charging to receive phone calls or messages, even when roaming. But I guess the regulations don't extend to foreign users that are on international roaming, or companies do it anyway counting that the person will only find out after returning home and won't know how to fight it. Authorities are not set up as well to receive complaints from non-residents.
> Most language I'm aware of wouldn't have that in their standard lib.

Python has str.ljust [1] (and str.rjust [2]):

> Return the string left justified in a string of length width. Padding is done using the specified fillchar (default is an ASCII space). The original string is returned if width is less than or equal to len(s).

[1] https://docs.python.org/3/library/stdtypes.html#str.ljust

[2] https://docs.python.org/3/library/stdtypes.html#str.rjust
Yes. Many times I've forgotten to remove my local "replace" in go.mod before git pushing. Would be nice to have a runtime replace for local dev.
> This breakthrough was made possible by embedding a chromophore, a dye molecule that absorbs light and emits color, in a metal-organic framework, or MOF, a nanoporous crystalline material composed of metal ions and organic ligands

"Room-temperature quantum coherence of entangled multiexcitons in a metal-organic framework" (2024)
https://www.science.org/doi/10.1126/sciadv.adi3147
What did you think it said?
Sure. But I just have multiple domains for things like that.
And you could always have the option to use a Firefox Relay domain as well.

Thats how it is with Simplelogin (which is a similar service).