skysight-inc/HackerNews huggingface dataset:
About Genode: https://genode.org/about/index

General overview: https://genode.org/documentation/general-overview/index

> Genode is based on a recursive system structure. Each program runs in a dedicated sandbox and gets granted only those access rights and resources that are needed for its specific purpose. Programs can create and manage sub-sandboxes out of their own resources, thereby forming hierarchies where policies can be applied at each level. The framework provides mechanisms to let programs communicate with each other and trade their resources, but only in strictly-defined manners. Thanks to this rigid regime, the attack surface of security-critical functions can be reduced by orders of magnitude compared to contemporary operating systems.
I’m a longtime Windows fan, and initially I was quite enamored by Edge as well. Base UX is excellent, lots of settings and they’re easy to find. Vertical tab bar, profiles, and it all Just Works. I flat out love its “turn this website into a desktop app” feature.

But by now they've shoved their core consumer products so chock full of crap that even I am starting to look for a way out.

I got my son a new laptop recently and it has Windows 11. Did you know that Windows 11 has a feature called “widgets”, a popup from the left bottom which has weather, traffic warnings nearby etc? It makes a fair bit of sense, except that it’s filled to the rim with terrible clickbaity news headlines and you can’t turn it off! Someone at Microsoft decided that the entire Windows install base, ie nearly everybody, must really read news about foreign celebrities doing questionable things.

The only way to get rid of it is a Powershell incantation that removes the entire Widgets feature. Better than terrible news, but still nuts.

Edge has this too. There’s now a Bing button in the toolbar full of “discover” and “suggest” type features that nobody wants.

I don’t understand why MS doesn’t get some sort of internal revolt. The core of both Edge and Windows 11 are tastefully designed. You can really see that it’s been built by people who want to ship great software. Why do they allow the Crap And Turds department to piss all over their work? Who at Microsoft benefits from me seeing the latest Taylor Swift gossip when I just want to know when it’ll rain? Don’t they understand that this is what drives people to Macs and Chromebooks (and nerds like me to Linux)?
Hello Task.Run() scattered all over the place.
Closest example I know of is Korean internet. It is almost nigh impossible to get an account in major websites without SSN and a phone number. Despite this, there are still countless bots and scammers that uses hacked or leaked personal data. So I’m not sure if it would be that effective
Another option is to get the iPad (and magic keyboard and pencil) and remote desktop into your home machine.

Put it behind a VPN, use wake-on-lan and boom, iPad is essentially a fully blown computer.
Because the only way it'd work is if it was mandatory (because of point 2); it'd then be extended to porn sites to protect the children. That means politicians browsing history on pornhub would also be recorded and inevitably leaked when they get hacked.
> I have the conclusion opt-in async/await is a mistake. I think high level language/runtime like c# should handle it automatically...

This is not a good idea unless you like having to make all your code thread-safe (well, async-safe). Explicit declaration of "hey this method might not run all at once or be interleaved with other methods" is a good idea; explicit opt-in is the same in every other implementation of async/await (ex: js).
“Your LLaMA AGI models will now load instantly without any user visible latency”
At 1-3mm year, I am highly confident you'll be long dead before that happens.

120k gpus is like what USD50mio capex at least? Did you even get any of that back w/o accounting for electricity?
If you have compute available, there are several science project to contribute to.
https://boinc.berkeley.edu/projects.php

Self-promotion: In particular LODA has my interest. It's a math AI, that uses OEIS as training data.
https://boinc.loda-lang.org/loda/

Disclaimer: I'm not the primary developer, but I made some contributions to LODA, such as the web editor for LODA programs:
https://github.com/loda-lang/loda-rust
The 8K (I only actually have one of these) is for coding. I normally go into an evangelistic fervor when somebody asks me about it, but I am on my way to dinner, so let me cut to the TL;DR:

The 280ppi of an 8K 31.5" display is so much better than the 220ppi or so of a 27" 5K or Apple's ludicrously expensive Pro Display XDR 6K display, that is it night and day and I couldn't ever go back.

Even though the Dell UP3128K is like 5+ years old, it is so much crisper and better than any other monitor I've ever seen (including that Apple and the 5K UltraFine popular with Mac heads).

I didn't even think my middle-aged eyes were good enough to have that matter at all — I cannot see pixels on the 220pi monitors. But after trying it, I realized seeing the pixels or not wasn't the right metric. It's way, way better, and almost everybody who stopped by when I had the Apple and the Dell side by side on the desk (I eventually sold the Apple, of course) said indeed they could totally see that the 280ppi screen was way better. So YMMV, but everybody should try it. :)

I completely switched from Mac to Linux, for all of my day job coding work, specifically and solely because of the monitor. (Almost no Macs support 8K monitors. The latest M2 Pro and better models do support 8K, but only on TVs at the moment (there are still no 32" HDMI monitors on the market yet, and Macs only support 8K via HDMI).

As for why I need 3-4 additional 4K monitors, those are only "needed" for music — which I do on the Mac. I like to just leave my virtual gear (guitar amps, effects boxes, synthesizers, etc) spread out, like I would in real life.

But since I do have them, I also use them for the usual multi-monitor stuff — put Slack and Discord out of the way on the far monitor, have one monitor for the browser and dev tools, code and terminals arranged on the other two, just to avoid having to context switch.
Bull thats the same argument “if you dont like American just leave”
Can you determine intelligence by sight?
> To dig into this traffic, the easiest option is to use an HTTP-debugging tool (such as HTTP Toolkit) to see the raw interactions, and configure Docker to use this as your HTTP proxy (docs here) and trust the CA certificate (here).

Probably not surprising given that this is the blog of HTTP Toolkit, but instead of debugging the HTTP requests, they could have gotten much of the same information by reading the introduction of the API docs (https://docs.docker.com/registry/spec/api/#overview).
This is perfect, thank you!

Really gives me a clear direction for improvement.
I agree, the doors of perception and the book of the dead by timothy leary all give better examples of it it is to be on a "Trip."

Most of the common culture, goes on that LSD/Acid, you see invisible things and such - and I, myself, never experienced that - but I can understand how someone that is fully ingrained in a normal life, and having ego death and their psyche is unleashed, can perceive things differently.

That' what I feel it is, and I feel very sad that many people online post false stories about this. Places like Erowid, are also quickly eroding as people don't go there anymore, I think, to review or really get into the proper background.

But I can also say that dosage is a big factor too, I've witnessed people that had no previous experience wanting to impress friends/new friends and do what is best described as a "hero dose" or such, and while psychedelics aren't immediately harmful, the proper way would be to threshold dose - but good luck explaining what that is.

In this experience, I've witnessed this person become unable to talk, communicate and basically fall in and out of consciousness. Mind you, this was not LSD-25, but just mushrooms. They snapped out of it about 90 minutes later, but during that time if you were not an experienced trip-sitter or such, I can see panic kick in and you'd assume the worst - being poisoned, aliens out to get you, men in black or whatever is todays boogey man.

From a 3rd party viewing that session, it would just be describable as hallucinations. The person who consumed the mushrooms felt fine and had no real recollection of what transpired, and did want to try again, albeit much smaller dosage now. Which is another thing, peer pressure in some of these groups could be strong - although in this example none was actively pushing it, but just general ignorance of how strong a trip can be for a first time consumer.
EU already does that - face/gait recognition from cctv by private corps is illegal afaik
I’ve been on Ubuntu / KDE for the last 2 years, I keep it all patched an up to date. The other week I was playing around with the task bar widgets and somehow managed to delete or hide the text menu from top of every single app window. It drove me nuts, I could alt + f to bring it back for a second but I still can’t figure out what setting it is that I’ve screwed up. I’ve got a work around in place of a little hamburger widget on each window which expands out to the full menu but it’s still annoying.
I once bought a friend of mine a thousand Twitter followers as a prank. He wasn't happy.
Define "an enormous amount of effort" ?

(What one person considers "effort" -- might very well be considered a relaxing and pleasurable and interesting exercise -- by another...

For example, some people hate Math and consider performing Mathematical operations "effort" -- whereas some people love Math and could spend all day at it(!) -- and find the whole process relaxing and stimulating!

It all depends on a given person's interest or disinterest, their affinity or aversion -- to a given line of endeavor...)

So, define "an enormous amount of effort" ?
> within developed countries the birthrate is higher when the economy is stronger.

So ... you're implying that the USofA saw peak economic strength in 1825 and it's been down hill ever since?

https://www.statista.com/statistics/1037156/crude-birth-rate...
This is an interesting development. The current publication process is quite broken, including due to the outsized importance given to the broken peer review system.

Wrt that: the NeurIPS conference did a test once, splitting the PC in two and having both review the same batch of 100 papers (and arrive independently at a decision). Roughly speaking (top of my head), the two sub-PCs agreed on the top 15% and the bottom 25%. That is: both recognised the obvious good stuff and the clear rejects.

For the remaining 60%, it basically was 50-50: one sub-PC would arrive at accept and the other at reject.

Which, to me, points out 2 things: (1) there is something very broken for about 60% of submissions... (2) but the process works as we want for the other 40%.

So I don't think accepting everything would be ideal, but I'm more than happy to try.
Boxed Water. That is the best example.Remember, buying boxed water is better because they tell you so. https://boxedwaterisbetter.com/
Instructions unclear and impossible to verify my Google account
I have the correct password and google ask me to "get my" to verify that it is me... If I click Try Another Way, I find out that it meant Get My Phone... But Google isn't in the settings because I use LineageOS.

Is it possible to disable that extra "safety" for my Google account? i.e.: I don't want to have to verify because I use a different computer to login.
CS has been a slow motion crash since 2007. It's a running joke in finance, from FT to ZH.
> Don’t they understand that this is what drives people to Macs and Chromebooks (and nerds like me to Linux)?

(Internal) metrics say otherwise.
Mullvad VPN

https://mullvad.net/
I got rabbit holed by the first sentence. I use .NET so sparingly that I can’t seem to ever develop a full grokkin’ grasp of what the heck “.NET” is at any given time.

It’s not .NET Framework anymore. Or .NET Core. And it’s none of the countless random things Microsoft has labelled .NET. I think the name fundamentally misleads my brain every time given it’s not necessarily a web framework. I need .NET runtimes for my video games.

So it’s basically a managed group of tools and libraries to let you build stuff in a handful of different languages, usually C#, but targeting the same runtime, which is a JIT? So is it basically like Java but with far too much marketing involvement over the years?
Simplified Self-Serve
>Did you just discover how registries works or something?

That feels a bit snarky. The article opens with that path, but concludes it's heavier than they want. Then suggests an option that's lighter/thinner and meets their needs.
Yep, when I contacted Level1Techs to ask if their "1.4 Display Port KVM Switch - Dual Monitor - Four Computer" KVM switch would support it (the monitor needs 2 cables so you need a dual monitor KVM to make it work at 60Hz), the proprietor Wendel told me that indeed it does, they know a bunch of traders that use it with these monitors.

[1]: https://store.level1techs.com/products/14-display-port-kvm-d...
Little so far, but I expect it to at least serve as slight certificate of 'I can set up a VPS to host a web page'. I'm unsure if there's any writing I want to put out there, but that may change.
Since light travels faster than sound, people may appear smart until you hear them speak.
Basically the thesis is that we can make needy and hapless students less needy and more self reliant by publicly roasting the most needy and hapless students among them. So basically lets bully the students into being more competent, because we're sad that our naive approach didn't help them.

That's an ethically bankrupt position, and I reject it.

You're simply wrong here. Any teacher who starts to be paranoid about the ineptitude of their students will be MISERABLE. Instead, teachers must establish better boundaries, and better materials and methods for their students.

For instance, I've /been/ the hapless student, and you probably have been too. I've asked silly X-Y questions. I've refused to read the docs before asking questions that have been asked millions of times before. And what helped me was people linking me to articles on how to ask good questions and how to get good answers and generally how to help and be helped.

Throwing in the towel and saying "man these students are just too lazy and expect too much" is not going to help the community, and it's not going to make the students magically ask more insightful and considerate questions. In my experience working with tutors, professors, mentors, and students in both professional, open source, and academic contexts, no skilled and happy teacher thinks or talks this way about their students.

So if you want to relate to students this way, just realize that it's no better than haplessly trying to help everyone in the first place:

- It still burns you out and makes you miserable (in fact, it's the one of the end stages of burnout)

- It still fails to make your students more self-reliant

If that's what you want, please continue to denigrate people who, after all, simply want to be helped and don't know how to be helped.
ASK HN: Is this a better Git workflow?
I found this on GitHub: https://github.com/udohjeremiah/Git-Plus-Hub-Flow

I think it is a versatile workflow since it has all rules laid out in an elegant fashion, hence teams can effectively utilise it. What do you think?
Err gradients aren't independently additive like that right?
It's just three clicks to disable widgets, "Right click taskbar, select taskbar settings, click on slider to turn widgets off".
Those never worked for me.

Show HN: there are maybe dozens of those posted everyday but they rarely hit main page.

Reddit ad is great to kick off the star growth, but unless you have something interesting to many people, don’t expect more than 50 stars on first day and plateau to a star every few days.

Most GH stars I’ve got was from somebody mentioning my project in comment in some heated discussion on HN. So I guess drama sells?
But, how to sell it?
Nobody would criticize Microsoft if they did the same with Edge and left it at that.
No, I mean it in all earnestness.

Leave and capture the upside. It's not easy, but it is liberating.

Recent AI developments present a really great window of opportunity.
Thank you for providing insight into your experience. It serves as a cautionary story for others in our sector.

My suggestion would be to accept the situation and concentrate on moving forward with your career and life. Allow your past experiences to inform your decisions when faced with comparable scenarios in the future.
Don't worry. Apple will figure out how to put that hesitation back in with a future MacOS upgrade. Probably with yet more phoning-home daemons in the name of security theater.

Sorry for the snark. I'm just bitter because Apple is about to ruin Dropbox because they don't allow KEXTs any more.

https://tidbits.com/2023/03/10/apples-file-provider-forces-m...
That does not disable widgets. That only hides the button that toggles it.

(Edit 29 minutes after, because I can't seem to post anymore:)

It still runs its webview in the background and can be toggled with the keyboard shortcut, Win+W, even if the button is hidden.

In order to fully disable it you need a Group Policy or a registry hack.
Of course we hit many technological limits long ago. Most miracle technologies have already been discovered. Heck space travel has had zero actual progress other then Elon redoing what we did decades ago more "efficiently".

The AI sledge hammer is as good as we are going to get in paradigm shifts for a while given how we are at the top of an s-curve for development. Additionally we're only really seeing the first decade. When the computer was discovered was it ubiquitous in a decade? No. In fact it was largely a sort of useless academic research project for the longest time.
A thin abstraction layer could help.
There were 140 bank failures in 2009 in total!

https://www.fdic.gov/bank/historical/bank/bfb2009.html
I’ve seen those screenshots too, I spent hours googling for this. But that setting is not available on my Windows. Maybe a pro vs home thing? I’m on the latest version. I don’t believe that this is by accident, I think MS decided that I’m in some customer segment that’s not allowed to not know that Jimmy Fallon might be depressed.

And even then, I can’t get the widgets feature, a pretty decent idea, without the news. I want to turn off the news, not the feature.
(Internal) metrics may be short sighted.
It's very sad that freedesktop.org have had to restrict access due to such hostile attacks, but I think their GitLab administrators deserve commendation for their excellently clear communication in the matter.
Not saying they are doing this, but what you're describing used to happen with shady registrars. It was called "domain tasting"[1] where there was a loophole path for registrars to squat a domain for a short period of time. That allowed them to dynamically sense interest in a domain, squat it, and mark up the price.

I'd be very surprised if a big name like Namecheap were doing that today though. Probably just a coincidence that someone else bought it while you were deciding.

[1] https://en.m.wikipedia.org/wiki/Domain_tasting
Sleep habits may have long-term benefits
Yeah, I didn't really mention it but my days usually involve working all day on Linux, but then switching to the Mac (using the same set of monitors, via a KVM switch) in the evening to do non-work stuff.

So that switch has to really work and not like... work most of the time, but jank out on a regular basis. (Which I found to be the case with X11.)

KDE+Plasma works with this daily routine too (although it is better to lock the screen first so it doesn't have to try to re-layout a bunch of windows).
I abandon those projects.

You know they'll pull the same crap just as fast next time.
>and you can’t turn it off!

Except you can. Taskbar setting -> toggle Widgets to OFF

>I don’t understand why MS doesn’t get some sort of internal revolt.

Windows sales aren't core moneymakers anymore when they're basically giving them away for free (I have mine registered with a MSDNAA key I found online and it worked).

Money is in Azure, O365 subscriptions and ads shown to their Windows userbase. Nadella even said that Google makes more money from Windows users than Microsoft does, so shoving ads in your faces was them taking a slice of that sweet ad revenue.

It's unfortunate, but this silent acceptance is our society having been numbed to being bombarded with ads on every computing devie it just became the new norm sadly and it doesn't seem like there's any hope for the trend to be reversing. People just got used to SW & online content being free and ad supported rather than paying upfront for it.
Author here:

I'm a professional FE Engineer and we're currently working on self-serve.

I've written this blog post for Indie devs that struggle with initial churn and can mitigate it by introducing a simple self-serve model to their product.

Most people don't know about self-serve, at least I didn't. I'll be writting some more stuff regarding product-led development.

More on this can be viewed on my Twitter profile @mihanovak1024
It would be interesting to hear what people outside of the HN bubble (or outside of tech in general) think about this. I bet a lot of people like seeing the news right after starting the browser because that's exactly why the opened the browser in the first place.
Currently we're starting with a big splash, it'll be free while we gain market share, then maybe in a year or two we move over to a subscription service, while maintaining the square version for non-WheelMax customers.
Celebrities marketing things isn't new

Do you think George Clooney drinks Lavazza coffee? Does that make it a scam?
The best bit about the Bored Ape craze was that Seth Green (of Robot Chicken and Buffy fame) made a full-on TV-Show about an official Bored Ape NFT he owned.

...then the NFT was scammed off him before the series was released.

Then he was in a catch-22. He could've just released the show without breaking any laws or contracts, but then he would've had to admit that NFTs are bullshit.

AFAIK the show is still unreleased. But he did buy the NFT back later: https://www.ign.com/articles/seth-green-nft-show-boredape-st...
> The obvious problem is we don’t have any great alternatives.

Of course we do. The rise of digital finance services has led to creation of a number of servives that offer identity verification necessary for KYC. All such services offer APIs, so adding an identity verification requirement to your forum is trivial.

Of course, if it isn't obvious, I'm only half joking.
PLATO: An educational computer system from the 60s shaped the future
Nothing exciting (no jobs, no connections, etc.) but I'm convinced it's helped with my technical communication skills and fractionally improved my "I can't publish/release this until it is GLEAMING AND PERFECT" problem (helps to have no readers here.)

Definitely improving my SQL though because I'll often put a query in a blog post, think "that's ugly", and find an improved way of doing things to make it look "nicer".
The quoted comment is pure speculation, by the way - there is no buffer overrun (at least, not in the traditional sense), they just forgot to truncate the original file on-disk before writing the cropped version.