skysight-inc/HackerNews huggingface dataset:
Windows 10 in dark mode is just horrible. Overlapping windows are really hard to see where one begins and another ends.

I long for Windows 3.11/OS2 Warp style window decoration with goofy distinct colors and a menu bar in every app. These days all apps in Windows hate the menu and hides it.
Learning never stops! I did not not know that you could actually use iOS scrollbars as real scrollbars. They are extremely fiddly indeed but I am pretty sure I am going to use them from time to time.
I always thought they were simply a sort of dumb progress bar.
This has always drove me bananas, too. I still have 10.14 but `defaults write NSGlobalDomain AppleShowScrollBars -string "Always"` has worked for me for years now. Does it work in 10.15?
As someone with a hatred for touch based controls this frustrates me, but I think you're wholly correct.
You didn't ask me, but I think the ribbon is brilliant and very effective.
The only reason it gets any common play at all in the US is that a popular poem got written about it.
For me it's the other way around, in the search bar it does nothing but it does pause videos.
Thanks for sharing this, though I think it’s probably even worse because now they get to essentially play favorites with their regulations which is a major breeding ground for corruption.
I checked my code dozens of times over days.

I thought I had bugs in my code for sure, I couldn't believe glibc and musl had a bug.

Then I decided to spend a couple days to learn formal verification, solved all the bugs it found.

It worked on my Mac, it worked on Windows, it was still deadlocking on Linux.
I replaced my code with raw futexes, no deadlock anymore. And I added logs that showed signaling happened but the thread signaled wasn't unblocked.

The futex<->condvar swap is pretty simple.
- https://github.com/mratsim/weave/blob/f41a562/weave/cross_th...
Aside:

I think that having the Olympics in one place for each season would be most 'entertaining', and better for the IOC.

Let's take the summer Olympics, likely to be in Athens as the spot. 'Top' countries would then pay pretty good money to have practice locations around Athens, so that the athletes get used to the area and are comfortable with the event locations. Heck, you could have them use the actual facilities as well.

Now, as is usual with Olympic coverage, the lead-up is all about how terrible things are going, and the ~two weeks of it are all about how the Olympic Village is running out of condoms. Not to be too crass, but having many athletes in Athens all the time would be a 24/7 discussion about very fit young people's intimate relationships and national pride.

It's a TV goldmine. And one the IOC can license.

Think about it: something like a HS-teen drama, with very beautiful/fit people, all in a crowded space, all competing together in disparate events, all with national pride on the line, and with a four year deadline for the 'show'. The relationships, of course, would be a big part of the idea, to further amp up the drama that the competition provides. Language barrier mishaps, tall-dark-hansomes, different dating customs, distant parents, coaches yelling, slipping out at night to abscond with a new relationship, national pride, crossing national barriers in friendship, creating new rivalries, the pressure cooker, etc. And then, at the end, the actual events and the epilogue that is a gold-medal ceremony after four years of hype.

And all of it being done with the IOC getting a cut, possibly making even more cash so they go along with it.

I think it would be great TV.
It's an internet protocol with the intent of being extremely simple and with the goal of fostering an alternative internet space.

https://gemini.circumlunar.space/docs/faq.gmi
https://drewdevault.com/2020/11/01/What-is-Gemini-anyway.htm...
OnThisDay 1982: Somerset youth up in arms about the BBC ignoring their music
That doesn't work in the browser, which is what the tweet linked by this story is discussing.
Hockey goalies are too big now
Space bar is hilarious for me on YouTube/Firefox. Some times it gets into a certain focus state (play button focussed?) and hitting space bar will briefly pause it, then resume playback. Hilarity ensues as I scramble, pausing a few times to realize the issue, and change the focus to something else by clicking the video canvas then press spacebar again for success.
The article says “hamster wheel”, not that they didn’t take it. The headline here adds ambiguity that wasnt written
I think the article is talking about internal documentation rather that user-facing documentation.
It did give us the Star Spangled Banner.
It is unsound. One of the most impactful unsoundnesses is when you cast one array type to another compatible but not exactly equivalent type, and then write to the array. In Flow (another type system) you simply can't do that without making the array read-only at type level. In TS, they decided to allow this for ease of use purposes.

Just in general, the TS team optimizes for a balance of bug catching and usability. It is a compromise.

Flow is a much more advanced type checker that works even harder at inferring types and eliminating bugs at the type level. It's very cool! But its community is much smaller, the tooling isn't nearly as good, and it has some major performance issues. My workplace is migrating away from it in favor of TS, which is good enough without being too slow or incompatible with our tools.
Social media also enrages at a much deeper level.

Say a newspaper printed something. You read it. You got angry. You wrote a letter to the editor and mailed it. Maybe a week later, they printed your letter. A few days later, someone you know saw your letter and commented to you that they thought you were right.

You see something on Facebook. You got angry. You wrote something in reply (perhaps with less thought than the letter to the editor, because it wasn't a once-every-few-years event). Five minutes later, likes comments start pouring in. Not just one person tells you they think you were right; ten people do. And they tell you in the next few minutes and hours, not days later. And they comment on each others' comments about your post.

You get massively more positive reinforcement for your outrage now than you did with newspapers. The outrage gets reinforced, socially ratified. You get praised for it.

It's not just that Facebook hands you more things to be outraged about (not all of them true). It's that the outrage takes much deeper hold in you, because it's reinforced so much.
Firefox 86, Kubuntu 18.04.

It works.

Ah!
Yeah it was weird:

"Did you work with <technology in requirements> at company Y?"

"No, I worked with <technologies listed on resume>"

"Then where did you work with <technology in requirements>?"

"I haven't"

Cue rant about wasting everybody's time...
F1 is now occupied by the native applications help page. Web applications/pages then need to adopt a different one. "?" kind of also make the UX a bit more obvious, honestly. F1 is based around tradition, "?" is based on the idea that you have no idea.
That's awesome that your suppositions work for your use case. But they are not universal truths.

Try comparing five Medicaid plans, in a method that is easy for people with an eighth-grade reading level to understand, that will also pass the scrutiny of three different government agencies.

Sub-selections, reordering data, and all the other things you list won't matter a whit.
DeepMind: What mechanisms drive agent behaviour?
I agree that we should teach math earlier, in elementary school the same math (fractions, percentages) were literally taught repeatedly from 3rd-6th grade. I would have loved to learn some algebra instead. The concept of doing the same thing to both sides of an equation to solve for an unknown is not terribly difficult to grasp.

As for finance, I’d rather be coloring world maps. It’s given me a great desire to travel the world. Finance makes my stomach hurt. Then again, I’m poor, so what do I know? I agree we should be taught more about it than we usually are, which is that we aren’t taught anything at all about it.
It is really unclear, but I suppose maybe they only took money from angel investors?
If I had to hazard a gues about scale: 8 decimal places is 10 million units. Physical objects cannot be divided into 10 million pieces, shared, and circulated as a pseudo-currency.

I’ll stick my foot in my further and say space is a speed of light or the limitations on data transmissions vs. once again, a physical thing being used as a medium of exchange.

Speculative or not.
I don't think anyone wants to get rid of the legal stuff. Just digitize it in a way where we get rid of outrageous notary fees and other middlemen. Those shouldn't probably be bearer tokens as theft/loss is a big deal
Broken, it did work yesterday and haven't updated Firefox.
This is actually a non-issue (or at least a minor issue for extremely long pages) on a Mac, because macOS has system-wide kinetic scrolling and all Apple input devices use touch sensitive surfaces for scrolling.

Not saying you're wrong, it's certainly annoying on mobile devices (compounded by the narrow screens and responsive content).
Noise removal for online meetings (Zoom, Teams, etc.)
Hi, I live with my family and pets and I find it hard to have online meetings sometimes because of the background noise. Therefore, I decided to create a free Mac plugin for noise suppression in online meetings (works in Zoom, Discord, Google Meet, Teams): https://utterly.app.

Please, check it out and give me some feedback. I use it a lot myself and find it pretty helpful in cutting all noises that I have in my apartment when I have Zoom calls.

The coolest thing is that it uses AI that does inference locally on your device, so you don't have to worry about privacy (your data never gets uploaded anywhere and always stays on your device).
> How remote is it? What's the police response time? If it's really in the middle of nowhere then it seems like a good idea to have something on hand just in case.

Exactly because of that: remote and small country (Costa Rica is one idea so far), we would prefer a sea-side house which is NOT very close to a city (we think 20-30km away from a city is optimal) and we have no clue about police response time -- but I can't imagine they'll be there 2 minutes after I make a panicked call that I am tracking 3 armed burglars, especially if not in a city.

> I think you might be overthinking this.

Very possible. Right now I don't even have the money for a down-payment, but me and my wife both share this dream and started brainstorming it and doing some preliminary planning.

Above all, I really want the dogs to not be able to be bribed with food. Not a fan of dogs that bark at every single small disturbance but oh well, if that's the price you pay for living in a remote area and having good security then okay.
The fact that, after being sued once and doing nothing to fix it, then being sued again, for the same thing, a company is still solvent, is evidence against regulation being effective. If the regulation was effective, they'd either shape up or be bankrupted by fines.
So you alt+32 between search terms ?
We in tech have been dealing with this for decades. My original tech job (custom web dev for small sites) has been replaced by tools from Squarespace and Wix that allow for non-technical self-service of web development. And Amazon Marketplace ate up the market for maintaining small e-commerce shops (most of my business in the 00s).

A.I. was always an overblown threat. The real threat has always been a good UI that encodes most of the rules around a system. You don't need fancy A.I. to figure out most of these tasks, you really just need a collection of widgets someone can throw together to build their own semi-custom automaton.

Knowledge worker need to change and adapt like the rest. And they have it better because they already have a degree and skillset which can be incrementally added to. They may not be able to get an accounting job, but they could probably learn some other skills and get an accounting-adjacent job in sales, management, or tech.
I personally love that ribbon. It’s so functional. It’s like a tree-based menu.
And the funny thing is, Win32 circa 2000 was basically just well-polished IBM CUA.
There are quite few readers you can try:

InoReader (https://www.inoreader.com/)

FeedBro Chrome extension (https://chrome.google.com/webstore/detail/feedbro/mefgmmbdai...)

A little google will give you many.
>People with family or basically any commitments outside of work don't have anywhere near as much time to practice for this sort of thing and why should they need to practice for an interview?

I've done this rodeo in my thirties and forties, complete with a very busy existing job, family, long commute, etc. The bottom line is that the time investment wasn't terribly large as it was more refreshing than learning things from scratch.

Putting the 20 hours in over a couple weeks for a 2x raise felt like a worthwhile expenditure of my free time, and worth prioritizing over some of my every day commitments.
if you can choose between delivering real functional value for a supermajority of users or cater to usability preferences of 10% of users, the former should win every time

Not "every" time. I work in healthcare. I don't have the luxury of leaving ANYONE out.
Sorry, I didn't see that comment earlier!

Routed turns your virtualization host into a router for a separate network on which your VMs live (afaik). So in order to reach that network you have to define static routes that ultimately lead to the virtual interface set up by libvirt.

When you start your routed network (with net-start), libvirt should set up a static route on the host machine automatically. You can see this route with "ip route". To make it available to all hosts on your network, you can configure a static route on your (physical) network's router that covers the IP address range of the virtual routed network and has the (physical) IP address of your virtualization host set as the gateway.

For example: Assume your virtualization host has 10.0.0.10 as its address in your "real" network and your virtual routed network covers 10.0.1.0/24. You would have to set up a static route on your "real" router that says "route 10.0.1.0/24 to 10.0.0.10".

Libvirt automatically sets up a route in the local routing table of your virtualization host that says "route 10.0.1.0/24 to virbr0" (or whatever your network's virtual interface is called).

Then, if everything worked, you should be able to connect to your VMs in 10.0.1.0/24 directly.
You can do that to, moving your mouse over the window reveals the scrollbars, as does scrolling.

The reason we hide the scrollbars is because scrollbars are not the one and only consideration that we make when designing a page, information density also matters and so we have to weigh these options together and conduct user testing to see what the impact of various design decisions are. Certainly there is a vocal minority of people who are dead set that scrollbars must always be visible, and we can respect their choice, but we also have to optimize our software for the majority of our users who would rather see more content.

The balance we went with was if you want to see the scrollbar, you need to perform an action that engages it, which is moving your mouse over the scrollable area, or performing a scroll operation. We have other things too that we have to consider, like until the mouse approaches the scrollbar it appears very thin and when the mouse is within a certain distance it expands to allow it to moved.

Will every single user like this approach? No of course not. But based on our user testing, it optimized for metrics that we care about.
> The choice we can make is between something that kills more and something that kills less, amongst other tradeoffs.

> Quantifying the number of deaths or cancers in this case tells you nothing relevant to make a decision or risk assessment

The two conflicting viewpoints posited in the same paragraph, seems ironic. The first is the issue, but requires veracity. The second is nonsensical. Humans make these decisions every day.
Can you explain the screen tearing thing? I'm running kwin on X and I don't notice any screen tearing (including doing things like moving windows around rapidly with the "wobbly windows" effect on).
https://imgur.com/a/Z97cDc9

Not only does it not show the scroll bar by default, but (not sure if this is a Chrome or Mac issue), when it does show up during a scroll operation, you have to have great reflexes to grab it with a click if you want to.
In which browser? I have scrollbars in Safari, Firefox, and Chrome from either that setting or an in-browser setting.
The problem is nowadays a lot of companies don't reward loyalty. In the US coastal markets, you are hurting yourself by staying at once place for 5+ years (FAANG and some big corps excluded).
It got a song. Its author was a history teacher who, despite gaining some fame for writing it, chose to stick with the classroom.
Covid: White hat bounty hackers become millionaires
Meh, sure a C# dev can do Java and get up to speed with it pretty quickly, but certainly a proper Java dev will be more productive immediately. Knowledge of frameworks is a real skill for example.
> When you have 5 tables with no relations, or maybe a simple one-to-many relation at most, an ORM is the perfect solution.

Perfect solution to what problem?
> if nuclear power were economically viable

I think you missed one of my main points: "The only reason nuclear even seems remotely expensive is because we're (stupidly) letting markets dictate the price of fossil fuels."

Nuclear IS economically viable. We just haven't figured it out yet. I know that sounds snarky, but it's as close to the truth as we can possibly get. If fossil fuels were priced according to their known externalities, not just based on supply/demand, nuclear would be astronomically cheap by comparison.

The problem is the economy itself is completely ignoring the costs of the alternatives to nuclear. We all know how bad fossil fuels are, but we haven't priced that knowledge into their cost. They are not cheaper than nuclear, we are simply lying to ourselves. This in itself highlights a very huge flaw in capitalist markets.

Granted, this is somewhat independent of solar vs nuclear, which is an entire discussion in itself.
> Apple can see that more user will be coming that are used to mobile os'es than users experienced in classic desktop ui's.

Modeling a desktop UI off of a mobile UI is just as dumb as modeling a mobile UI off a desktop UI. Each platform has totally different constraints and strengths, shoehorning one into the other will always be a failure.
Don't blame the hammers when you find your valuables shattered. Blame the people wielding the hammers.

WinForms can only do what they're told, and they can only look how they're designed to look. Blame the people creating the user interfaces that suck instead of the tool they chose to use to build the bad UI. It isn't the UI's fault.

The absolute best and most useful user interfaces that I have ever used were windows forms. They were designed my people who understood how their program was to be used by its users, and who understood what information a user needs at any point in the workflow.
Very interesting, thanks a lot! I'll research more.
We were doing one of those online escape rooms the other day and I had this problem. We couldn't figure anything out and then finally realised the invisible scroll bars were hiding the fact there was A LOT more clue!
Do you show an affordance so that the user knows it's there if they want to use it?
The tank in the video is just a component of the device overall. The device is 2 cubic meters total, including the storage tank. We'll be storing 600 miles worth of CO2 at a time, or roughly 1800 pounds of CO2.
That all sound very theoretical and tech-bubble.

Try telling the sales people that their bonus checks will be cut 10% because you can't be bothered to build for every customer.
The adoration of minimalism has become the curse of user interfaces. Design not for the user but for beauty.

Needless to say, controls of dangerous machinery stay clear, loud and accessible.
The loudness war was more about mastering for radio; in a world where all listeners are fleeting, you do everything you can to keep them, including making the music as loud as you can fit in your channel.
They weren't "hidden" in the menus. It's always been very clear that commands live in the menus. They weren't up front and center, but you knew where they were if you wanted them. The fact that there is a menu bar makes it very clear that there's more you can do.

The ribbon design is in your face, it takes up valuable real estate, and (to this day) I still find it hard to locate the options I'm looking for. I find it to be a HUGE step down from the functionality of menus.
> Had the almost exact same experience, but with Java. I'm a C# developer and although I have some experience with Java

>Sure aren't Java and C# are pretty much the same thing?

Yea, hear that from the other side:

I went for interview at Amazon (~2017?) for Java backend engineer. During the interview they were asking me only JavaScript questions from what looked like a standardized form to filter out phonies. I obviously failed the interview. Was told if this isn't the job I wanted I should apply for a different job and come back when I get some more experience in... Java. The recruiter had absolutely no idea that Java isn't JS and was interrupting me when I tried to explain the situation. I really should have applied for a job I wanted. One of the worst interviews I event went to.

Java devs with wide recruiters network got such emails weekly, calls monthly, until TypeScript came to rescue.
Typically paired with 464xlat in an IPv6-only environment, for programs that are hard-coded for IPv4.

An excellent `just-works` example is https://github.com/toreanderson/clatd
Wrt SDL2: You can actually replace SDL2 with your own, even if it is statically linked with the game. First, do `export SDL_DYNAMIC_API=/my/actual/libSDL-2.0.so.0` and then launch your game.

All the gory details: https://www.reddit.com/r/linux_gaming/comments/1upn39/sdl2_a...
Pinged you on twitter several hours ago, as I can't find any other accounts in your HN profile and don't want to stalk by looking you up online.
You are onto something! The video is a proof of concept, so it has the components and performs the adsorption and such but could not capture or store enough for a 600 mi drive cycle.

We are compressing the CO2 significantly, and currently working with tank manufactures to find the right balance between pressure, volume, and weight of the tank (goal is to store ~1800 lb of CO2).

If you want to do math like this for a living we are hiring! :)
Be careful - this was me back in the Diablo II days when I was in middle school. It's great because it got me into technology but the downside is it's extremely easy for kids to stumble upon a virus this way. Hopefully you have some safety measures in place.
Might be tough to hear but it is money if people use it as money and they certainly are within the Ethereum ecosystem. Bitcoin's promise of only 21m is based on a wing and a prayer (very suspect whether fees can ensure security in place of mining rewards) whereas ETH is based on 1) primacy as money within Ethereum, 2) utility - required for paying Ethereum tx fees, 3) earning potential with PoS staking, 4) deflationary pressure from fee burning under EIP 1559.
Pressing "?" in Gmail shows a large help window with tons of shortcuts (you need to have keyboard shortcuts enabled under Settings > General for this to work).
Same, typing any phrase with 'f' in it also fullsizes the currently running video