skysight-inc/HackerNews huggingface dataset:
It makes logical sense to do imports that way when operator overloading exists. Otherwise your custom operators would look like:

import other

varA other.`+` varB

Which is very ugly. At that point, we might as well just go with the function name approach that languages like Go take:

customAdd(varA, varB)

I suppose you could change it so operators are imported into the same namespace, and non-operators still require a separate namespace when referred to. But that makes it even more complicated in my opinion. I agree it's less obvious what's coming from where, but I think when your libraries have distinct responsibilities, it usually ends up being pretty straight-forward what function comes from where based on how it's named (if it's written well).
> Everyone knows good programmers should plan for the future, should avoid boilerplate, should write elegant abstractions. Don’t. Those “good programmers” write heaps of garbage that get thrown away. Write the least code that will get the job done, and you’ll perhaps have a chance to build a large long-lasting program.

Avoiding boilerplate is an important part of writing less code.
Here's the real time state of Finland's power grid. Zoom out to the month view. Solar is pitiful this time of the year, and wind is horribly inconsistent. Some days the wind doesn't blow at all and the fossil fuel "co-generation" plants need to be spun up. You can't just ignore the demand for reliable, base load power.

https://www.fingrid.fi/en/electricity-market/power-system/
Where it's feasible it might be cost. Perhaps it's still cheaper to pollute than to implement projects like this.
https://archive.ph/i10sH
My ideal keyboard would be taking a Magic keyboard (in black or space gray) and splitting it into two. This is the closest I have seen. I'm too committed to a standard layout to go ortho linear at this point, but I admit it looks the most sleek and modern for sure.
Looking on from the US, it can be difficult to believe UK news media are not just taking the piss with this kind of fuss about "knife crime". It sounds so comical! They really seem to mean it, though.
Atomic Energy Authority chief executive to head up UKRI
https://archive.ph/QHTTf
But it’s all very much brutalist isn’t it? So perhaps brutalist as an art movement was just really appealing or was taught extensively …
Flea treatment-tainted pet fur lining songbird nests may be killing chicks
https://archive.ph/aws6q
I meant that your data is out of date, and China has moved quickly in the last ten years. They went in the last ten years from being able to just hit the west coast to hitting all the way up to the Midwest, do you think they won’t have some amount of increased coverage in the next, especially with their space program accelerating their ICBM program?

The truth is that China hit MAD awhile ago and doesn’t really need to play up or even build much more on its nuclear arsenal. They are better off investing in conventional warfare for the near term, and especially in new arms like drones that give them an actual advantage in future conflicts.
Agents vs. Agentic Systems
Language is critical input data. Appreciate it!
By catching the train of a party that makes fixing problem P according to new academic solution S part of its electoral campaign programme.
it's not minor when they screw up dosage
I’ve never seen that behavior without configuration. Can you reproduce that reliably?
What do you mean 80% of the global population?

OK, don't answer that, I did my own research[1] and from the Western democracies that have mandatory military service there are: Finland, Norway, Sweden, Denmark, Austria, Greece and Estonia. They're more than I expected, and overall, including less democratic nations, there's a total of 66 (out of 194). By population it's even less, as none of the top countries except Brazil and Russia have mandatory service.

So overall that's very much less than 80%, but definitely more than I was expecting.

[1] https://worldpopulationreview.com/country-rankings/countries...
I think other commenters are overstating the change from staggered to columnar. I type just fine (100 WPM+) going between my Moonlander (split keyboard from ZSA) and my Lenovo/Macbook (typical staggered layouts).

In hindsight, the biggest issue I ran into switching keyboards was that I was too ambitious playing around with the key configuration. The configurability is a big draw but I took for granted that I had already built up years of natural tendency for certain things - which thumb I use for space, preferences for Ctrl/Alt/Command/Option, for Shift, etc.

The default for these keyboards probably don't 100% align with what you're used to, so you should directly map what you're doing currently over to the keymap of the keyboard and then you can fiddle with making it yours over time.

I will say that if you're not already a touch typer, then a split keyboard is not going to help and it will be more difficult to get used to.

edit: also, if anything, going columnar helped me actually consistently hit number keys!
I'm pretty sure that the semantics of natural language are a lot more complex than can be accounted for by these seemingly very ad-hoc translations into comparatively straightforward FOL formulas, as are given in this paper. A common approach for the understanding of NL semantics from a strictly formal POV is Montague semantics https://en.wikipedia.org/wiki/Montague_grammar https://plato.stanford.edu/entries/montague-semantics/ - even a cursory look at these references is enough to clarify the level of complexity that's involved. Very loosely speaking one generally has to work with multiple "modalities" at the same time each of which, when understood from the POV of ordinary FOL, introduces its own separate notion of abstract "possible worlds" (representing, e.g. an agent's set of beliefs) and ways in which these "worlds" can relate to one another. More complex cases will usually degenerate in some sort of very generic "game semantics" https://en.wikipedia.org/wiki/Game_semantics https://plato.stanford.edu/entries/logic-games/ where any given use of natural language is merely seen as a "game" (in the abstract strategic, game-theoretical sense) with its own set of possibly very ad-hoc 'rules'. The philosopher Ludwig Wittgenstein https://en.wikipedia.org/wiki/Ludwig_Wittgenstein https://plato.stanford.edu/entries/wittgenstein/ gave quite a good description of both of these approaches (from a very naïve approach based on a supposedly straightforward translation to some kind of abstract logic, to a far richer one based on notions of strategies and games) to a "formal" understanding of natural language, throughout his extensive philosophical inquiry.

Which is to say, I'm not sure how this paper's results are generally expected to be all that useful in practice.
Ukraine's parliament overwhelmingly supported the EU-UA agreement. It had the support of the populace. Yanukovych was going to be replaced at the next election because of it, and his violent suppression of the protests only sped that up. There was no need for western involvement to make that happen, and your belief that there was is an evidence-free conspiracy theory. https://euvsdisinfo.eu/report/us-launched-euromaidan-to-weak...
Lastminute Auction 2.0
Every protest. Every dissent. Every unauthorized breath must be terrorism. If everything is terrorism nothing is.... I mean terrorism got us civil rights and more no?
> What happens when you forget where a key is

I ask myself where I expected it to be, then update the keyboard accordingly. Eventually it doesn’t happen anymore.
The article itself points out that this isn’t the cause of the crisis, and that the misunderstanding of the crisis results in this exact argument.

However, the emotional aspect of this question is what needs to be addressed.

Britain is leaving its citizens out to dry. Well - you need to get with your legislators and more importantly neighbours and decide that you are ok with new housing being built, which ISNT for the rich, very rich, and super rich.

Actual middle class housing.

You need a boom in construction to start dealing with the fact that there isn’t enough affordable housing available. Hopefully that will give the UK enough to restart its growth, and then tackle the issue of railways.
Relax, it doesn’t need to actually do that because it installs malware and steals all your keys

/s?
> How would Russia help “contain” China?

They have a giant land border. An adversarial Russia-China relationship is expensive for both powers, and is a major reason for the USSR going bankrupt in the cold war (also the USSR propping up Vietnam after China invaded in 79).
Yeah no, they will pair back their "plans" when the recession breaks out like every other company. Like we need way more chatbots and "ai" assistants... The bubble has burst.
you're right, but Hitler could live in the metaphorical shadows for years on end.

The information era works for and against us here in showing the truth but also efficiently spreading misinfroamtion. But moments of seeing them objectively on camera will eventually shine the truth.
> If you upgrade you pay the margin, which is higher. Legal/admin/moving costs tend to be a percentage of house value, so costs are higher.

Indeed.

But psychology: monkey likes seeing number go up.
Nuclear weapons exist and are used, they call them atomics. I believe they are used to break into the city in the first book. The big taboo seems to be using them against people.
On second thought, no I won't open an issue. I provide contact information here and on GitHub. Get in touch if you feel like it, you make it too hard to contact you.
> They want Taiwan because they see them as a rebellious province.

We can argue about what the exact desire is - there's 100M people in the CCP - we'll probably never know an exact answer.

The important thing is - China is willing to spend a LOT more money to take Taiwan than it is economically worth.

So this idea that 1) China wants Taiwan for chips, 2) War would cost more than chips, 3) Therefore, Taiwan is logically safe - is a fallacy.

The war in Ukraine is never going to pay off for Russia. They're not fighting that war to make money. They're fighting that war because a bunch of dick bags got together in a room and decided it was expedient for them for millions of people to lose their lives.
Conceptually yes, but I suspect there's going to be a lot hairier in practice. For instance, I think there's some stuff that needs language support such as thread-local storage. I'd guess it would be simpler to just re-implement threading from scratch using syscalls. But I also don't think the language provides any support for atomics, so you'd have to roll your own there.
> Note: This website will be disabled by 3/1/2025. Website content will be relocated to nensus.com/kl-net

So much for leaving a legacy with your domain name.
Maybe. Even as someone who lost most of their family in said concentration camps, I'll reserve judgement until I find out their motivation. If they were there because the SS held a gun to their head and said, "help us build camps or we will kill your family", then yes, I'm going to forgive them. If doing plumbing at the camps was the only job they could get to feed themselves, then yes, I will forgive them.

If they volunteered for the job because they wanted to kill Jews more efficiently, then I won't forgive them.
We use it in our systems a bit still. Two arguments against it:

(1) It is easier to use plain JS to do a lot of things than it was when jQuery came out. Also there are alternatives that are more declarative like HTMX and that thingie in bootstrap that makes data-toggle work [1]

(2) I find it a little nerve-wracking for a React application to have some set of things that are really managed by React (e.g. you change a state variable and it redraws a view) as opposed to, say, use jQuery to set a CSS class that, say, shows or hides something. I wish the state was all in one place as opposed to partially in the React state and partially in the DOM. However, just touching the CSS class directly is super-fast and CSS transitions and animations work exactly the way you want for many things that way.

[1] https://stackoverflow.com/questions/30629974/how-does-the-da...
The nice thing about AC is that 120 times a second there is no current. Shutting off at that point is as easy as using a thyristor.
Scientists develop first helicopter-borne magnetotelluric detection system
Oh man, where was this back in the 90s arguing with proto-trolls on IRC and usenet who shamelessly moved goalposts, stawmanned, appealed to authority, resorted to ad hominem, ...

Imagine if you could click on a stupid internet discussion thread and make it give you a Lean proof of each argument where possible :D This thing would be hated even more than, say, vaccines, by the same sorts of people who deliberately choose to not understand things.
Yanukovych won by promising to sign the EU accession treaty. It wasn't until Putin blackmailed him and the Europeans wouldn't backfill that he was forced to go back on it leading to the maidan protests.
Probably indeed an usb keyboard device. Great idea! I would like a big red button for deploys :)

Edit: a big red button that is disabled on Fridays. To enforce relaxed weekends
If it's any consolation, the buildup of the invasion preceding the war in Ukraine was visible well before the actual invasion, so probably EU would have time to act.

And, Russia would give you a breather of 1-2 years after the fall of Ukraine in order to build up their stocks.
It’s insane today. Trade was specifically a way to ensure people learn to work together.

I guess, this is the era for consequences
His website is tonykingart.com. It is sorely in need of an update. I don't have any photos of the Farallon paintings, but a small one hangs in my childhood bedroom. You could contact him through his site and I'm sure he'd oblige!
Why all this MASM hate?

I barely ever used it, but I noticed that MASM 5.1 is included (together with MSC 5.1 and various other Microsoft tools from 1988) in Microsoft's MIT-licensed MS-DOS repo. Trying some hello world level examples there was nothing obviously annoying about it so far.

https://github.com/microsoft/MS-DOS/tree/main/v4.0/src/TOOLS
this. Even something as singular as the prediction of the Higgs boson was ~simultaneously reached by different groups(!) of people https://en.wikipedia.org/wiki/1964_PRL_symmetry_breaking_pap...
You're not following through. I was talking about the COVID vaccine mandates.

But what you found further reinforces my point. Thanks.
My proposal does not give google any extra power or extra user data or even implicit trust.

I did not propose any rules. I proposed a header.

Google already creates and re-creates "the internet" for the vast majority of people on the regular basis by messing with its algorithm, pre-empting search results with AI-spam, showing ads, etc.

My statement was an assertion that the power google holds over the internet at-large is enough to incentivize compliance with opt-in content ratings for huge amounts of the web.

I also said nothing about adult search terms. The point is that an adult website can mark itself as one intentionally (X-Cotent-Rating: Mature) and then when google gets a search from a child's computer those results are simply filtered out. they already do this but site owners have no way to tell the world their intended audience.
The other side of the aisle did not do themselves any favors with the "bitter clingers," "basket of deplorables," or "hell yeah, we're gonna take your AR" type comments. That was all red meat that fed right into people being able to radicalize folks into "vote for Trump, or the other side is coming for you and your way of life."

People on the right were literally calling 2016 a "Flight 93 election," i.e. "storm the cockpit before they can fly this plane into the Capitol," and it was because they feared Hillary would nominate a Supreme Court supermajority that was the opposite of what Trump did, and that it would bury their way of life. You can agree with this or think it's horseshit, but either way you still have to start by understanding that it's what many voters believe. The dismissive condescending comments that Obama and Clinton got caught making, combined with the backlash to George Floyd being murdered in the form of riots and extreme left-wing viewpoints getting aired fed straight into fears in red states that they were going to get bulldozed unless they struck first.
I agree, I just think the estimation is on the order of 2 years. But, yes, Putin might wait it a bit more in order to see the maximum damage that Trump can do to the US. Same as last time.
That's just another protocol in the end (DNS vs. HTTP), or am I missing something?

DNS also runs a higher risk of being cached or mangled somewhere along the way by middleboxes. HTTPS avoids that problem.
There are a few benefits, depending on your use case; most of them are reducing video length as a barrier to visualization.

1) If you are running models you can use vidformer to see the results as they come in, essentially streaming annotated videos to your web browser as your model runs.
2) If you have existing inference results you can practically instantly render those on videos, then you can iterate or remix in seconds.
3) If you're hosting any infrastructure you can expose VOD streams publicly to show annotated videos to web clients. For example, it's trivial to build a video search engine which returns compilations.
Please don't forget to add a license to your GH repo as I doubt very seriously the "license" field in package.json is authoritative, and doubly so since I think that's one of the "yeah, yeah, just let me work" defaults https://github.com/Tggl/pg-capture/blob/main/package.json#L3...
by society you mean "a few dozen very rich men vs. a bulk of america". But yes, I agree. The former can work in the shadows and pay others to scheme for them, and then eventually the sheer will of people waking up pushes back against it.

I don't know how to smoothly transition that. it relies on a properly educated citizenship who knows their rights. But again, those very rich men spent decades decimating that.
Analogies don’t have to be 100% perfect. The Confederate analogy gets the point across just fine.
Same can be said about Borrow Checker.
Happy to help, what do you mean add it to Yolo?
You mean like Foxconn building LCDs in the US in his first term. The CEOs line up - bend the knee - 2 years later things change in the plans evaporate.

https://www.theverge.com/policy/2019/4/26/18518650/foxconn-w...
Not sure if I'd trust an undocumented Google feature without any SLA more, to be honest. Rumor has it that Google have discontinued a service or two before.
I'm loving it. As a private pilot working (slowly) towards my CFI rating - this is also such an opportunity to integrate it into training devices.

Bulk of the instrument flight training is "mindgames" anyways - you see nothing other than instruments, your "seat in the pants" is likely to cheat you..

Possibly going a step further, the state of teaching aids available to CFIs is pretty sad, with online quizzes and pre-recorded videos being the pinnacle of what I have experienced... this would be an awesome opportunity to try and build "automatic CFI" - not counting for AATD time under current rules but better than chair-flying (the process of imagining a flight and one's reactions).
From one year ago:

https://x.com/60Minutes/status/1762205898217283781
> Where's the arrow keys block? Insert/delete/home/end/pgup/pgdown block?

In the nav layer. One popular layout of split keyboards is two 3x5 grids of keys with 3 thumb buttons. With this configuration, it is common to map modifier keys to the home row keys, activated when they are held down. Likewise, for numbers, symbols, navigation, a thumb key is held down to activate that layer. Your fingers never have to stretch more than one key-length away.

Miryoku is a popular implmentation of this. It looks crazy, but you can get used to it really quickly, or alter it to your own taste.

https://github.com/manna-harbour/miryoku
Death of Best Practices
Use it in this project: https://github.com/ultralytics/ultralytics

They do some cv2 monkey patching so it won't be simple.
I remember a park in San Jose that had a vertical steel art maze that only kids could fit into and a Korean-era jet in the sandbox. The boring safety helicopter parents ripped out everything fun and replaced it with corporate plastic garbage that's incredibly safe but soulless and rarely used.
Mostly because the richest people keep stealing money through lobbying for tax cuts.

And its' happening right now. House passed a 900b dollar cut to Medicaid to fund the latest cuts. If you want to pay off deficits you need your biggest contributors to pay their share. But no one who harps about the deficit seems to want to talk about that.
Thanks for that. It must be exciting to be applying software skills to aviation. Life goals!

To me, speech to text and back seems like an incremental solution, but the holy grail would be the ability to symbolically encode the meaning of the words and translate to and from that meaning. People' phraseology varies wildly (even though it often shouldn't). For example, if I'm requesting VFR flight following, I can do it many different ways, and give the information ATC needs in any order. A system that can convert my words to "NorCal Approach Skyhawk one two three sierra papa is a Cessna one seventy two slant golf, ten north-east of Stockton, four thousand three hundred climbing six thousand five hundred requesting flight following to Palo Alto at six thousand five hundred," is nice, but wouldn't it be amazing if it could translate that audio into structured data:

{
atc: NORCAL,
requester: "N123SP",
request: "VFR",
type: CESSNA_172,
equipment: [G],
location: <approx. lat/lon>,
altitude: 4300,
cruise_altitude: 6500,
destination: KPAO,
}

...for ingestion into potentially other digital-only analysis systems. You could structure all sorts of routine and non-routine requests like this, and check them for completeness, use it for training later, and so on. Maybe one day, display it in real time on ATC's terminal and in the pilot's EFIS. With structured data, you could associate people's spoken tail numbers with info broadcast over ADS-B and match them up in real time, too. I don't know, maybe this already exists and I just re-invented something that's already 20 years old, no idea. IMO there's lots of innovation possible bringing VHF transmissions into the digital world!
Earlier: https://news.ycombinator.com/item?id=43250384
> The idea that Russia's economy will collapse is highly unlikely.

Yeah, no way it's collapsing when the central bank rate is at 21%.[0]

Totally unrelated, but might I interest you in a lucrative land opportunity in Florida?

[0]https://apnews.com/article/russia-interest-rates-0fa1d7385be...
Is this an actual problem to be solved? I would not want our repo "attached" to devices capable of one click operations.
One comment even says the AS name is an acronym for their DDoS protection service.
I am also a keyboard snob, and have far more expensive keyboards. Mass manufacturing drastically lowers costs, and a price point goal is super useful for group buys, which I have run before. It is useful data.

I'm also talking about PCB + case only. The case is the biggest cost driver here, a simple FRT plate case would make my kit price reasonable with a healthy margin
> And I’m incredibly proud we finally have an American President who realizes they don’t serve American interests either

Seriously? The current president is even more on-board than the previous ones with using Israel as a U.S. proxy. Just because he's also in bed with Putin doesn't mean he opposes American imperialism.
If you want one that was shipped 3 months earlier, is true FOSS (Apache 2.0,), and can even work reasonably with qwen-32b-coder-instruct, check https://github.com/ai-christianson/RA.Aid

Disclaimer: am maintainer

If you try it and have feedback, I'm very curious to hear it.