skysight-inc/HackerNews huggingface dataset:
I have a keyboard that has this exact arrow key layout and… idk it’s fine? I think within a day I was completely used to it. I’m actually kind of confused what the complaint is with full height left/right. That it’s harder to locate them by touch?
> government money often even less

Not if you get shot for fraud. If that’s the case, government money can get you very far indeed.
Today it’s less an industrial complex and more a graft and lobbying complex.

Look at the amount of equipment US has lost in Vietnam - 10,000 aircraft, including strategic bombers! incomparably more ammunition. Those losses were considered sustainable!

Now it can’t produce enough dumb artillery shells!
Implementing a interpreter like that isn't as hard as you probably think as the standard library does a lot of the heavy lifting once you have the basics.

It's still a lot of work but the only need to make the "built in" parts of the language and that's a lot smaller subset.

Example of what im talking about: https://github.com/RustPython/RustPython/pull/3858
Reminds me of a time when I was a dev team lead and I needed a decision on something that affected my team's work. Either choice was fine for us; we just needed a decision so we could get started.

I really didn't want to get involved in the decision making process. This manager had a history of reversing his decisions depending on who he spoke to most recently.

So I was all set. Go into his office and ask for a decision. That's all I need.

But he can't make decisions, that's the problem. So he asked me to explain both options and give my opinion on the pros and cons of each. Ugh. I didn't care about this. Eventually we had a decision.

A week later he changed his mind and we had some rework to do.
There's an infinite number of both.

A way to intuit why you have a zero probability of choosing a rational is to consider randomly picking digits one at a time. Suppose you start with a "3". What is necessary to get one third as your random choice? You must now uniformly randomly select an infinite number of 3s. You can think of that as just a contradiction without much loss here, in that selecting an infinite number of 3s is infinite proof that your process must not be random.

(Putting rigor on that might be a challenge but I think it's a fine intuition.)

This argument similarly holds for any rational, because no matter how large any given rational's repeat may be, it is always finite, and in order for that rational to be your choice you have still fully determined the result of a putatively uniformly random process for an infinite number of exact picks, and if it is truly random, the probability of that process producing the exact necessary repeat infinitely is always 0.
No, I don't have any access to internal design notes. But looking at the layout, it's clear that they went to a lot of work to optimize it.
> A lot of high-level ORM frameworks simply save all the objects' fields on update, without doing fine-grained diffs.

Perhaps that is true... I'm a Rails dev and ActiveRecord definitely tracks mutations on the object and selectively updates.

I would assume this is consistent with Django and I'd assume a policy is probably required to be specified by SQLAlchemy.
Some jurisdictions also set the speed limit at, e.g., the 85th percentile of drivers' speed (https://en.wikipedia.org/wiki/Speed_limit#Method) so some drivers are always going to be speeding.

(I'm one of those speeders, too; I drive with a mentality of safety > following the strict letter of the law; I'll prefer speed of traffic if that's safer than strict adherence to the limit. That said, I know not all of my peers have the same priorities on the road, too.)
Great game.

It was always broken.
What's the right design in your opinion ? super curious as I'm trying to figure out based on your comment. I have never even thought about this and I bet if it is the wrong design, it continues to be repeated for the same reason.

I guess I'm honestly wondering, who cares ? (not dismissive, what type of person/work and what design!?) fwiw I'm an eng and a big gamer so I'm constantly using keyboards and I can't remember ever caring or using those keys much.
Reminds me of the mechanical flight simulators and other military simulators that were in use in the 60s and 70s.
EDIT: Honestly, just read the wiki article on Cantor's Diagonal Argument[0].

[0] https://en.wikipedia.org/wiki/Cantor's_diagonal_argument
Pearcleaner – Source-Available macOS App Cleaner
Thanks for helping to clarify how you’re able to see things. I appreciate having clarity, while also disappointed I’m not able to do this.

The inspiration vs imagination, and effort, makes sense. I suppose I’m thinking I’d do it all the time, because the idea of it is novel to me. Having it your whole life makes it a different story.
Yes, sorry, that was a bit vague. What I mean is that there are probably classes of systems that consume resources too efficiently for intelligent agents to compete. Because an intelligent agent aims to "achieve goals," the space of actions they can undertake is constrained: if they need to do A in order to achieve goal B, they must do A in such a way that it does not undermine B. If they need to build paperclips to bind documents, it would be counterproductive to start an uncontrollable reaction that transforms all matter in the universe, including documents, into paperclips.

So, insofar that intelligent agents must self-limit to controllable methods to extract resources to achieve their goals, it is quite possible that the optimal resource extraction system lies outside of that set. The "thing" that is the very best at consuming the resources that an intelligent agent wishes to consume may be something they would never dare to create, and if it was created, either through hubris or happenstance, the agent would be unable to control it and would therefore be unable to achieve their goals.
If they can't get the basics right, who knows what horrors lurk under the hood.
What do people use 96GB RAM for? It seems these days I'm happy with cookie-cutter 32 GB and longing for more VRAM that is impossible to get.

(And why on earth is there a dedicated USB 2.0 port? To trick people into plugging in a USB 3 device and getting terrible performance?)
There seems to be this obsession to make keyboards perfectly rectangular; never quite understood this.

That said, although I agree it's not ideal, I've generally had little difficulty adjusting to these types of weird arrow key shapes, or things like odd locations for home, end, etc.

What always bothers me is the lack of gaps on the function keys. F8 and F9 turn the brightness up and down. How are you supposed to use those on touch? You can't really, not without those gaps to guide you. Sounds like a little thing, but it's always been a pain on every laptop I've had that didn't have those gaps. This, and the physical trackpad buttons, are a big part of why I generally use ThinkPads whenever I have the chance.
> It's because someone submitted it and more people voted on it.

Well, I can't argue with that :-)
I'm also confused but very interested based on this being a big enough deal to be a deal breaker. Maybe he wants them smaller ?

I think the up/down not being full size is a bigger deal but even that is not a deal breaker
For low usage like on a NAS ,they are fine for me because they usually last me about 5 years. Maybe more if I don’t replace them for larger versions. They’re about $50 cheaper than other better performing models. They’ve also outlasted every seagate drive I’ve had in the same size and price category. Of course I would never use them for anything other than a NAS.
Are people really getting independently wealthy at young age that common? I know a few successful folks, but they certainly aren't young when they MADE it. I know a lot of folks who worked in startups but never got anywhere near what I earn consistently in the past 20 years.
> The crypto people really want to write slow code. That's what constant time means - your best case is as slow as your worst case.

At least for a hot path constant-time algo, they want all cases to run as slow as the worst case. But just as important-- they want that algo to be fast as is feasible. AFAICT that's the only reason we're talking about C/C++ here.

The problem with writing "slow code" would have been that all the big companies who need to go fast would have chosen to roll their own hot-shot implementations for speed of it. That would introduce more risk into the most widely-used cases, while the "safe" version would have been relegated to the least used software.

Instead, the guy complaining in the article about compiler determinism wrote fast crypto things in C. AFAICT everybody just uses that. And he continues to complain about the potential of compiler indeterminacy-- indeterminacy in the name of optimization-- breaking the fast crypto things.

He also points out that in the cases where optimization really matters-- like ffmpeg-- the hot path code is hand-optimized and not left up to the compiler optimizer. I'd add audio plugins to that.

I'd also add fftw, which apparently has a runtime (method-space?) heuristic that checks which of its buttload of hand-optimized routines win the race on your particular cpu.
My brother told me about this, years ago.

It’s a very cool project.
Corrupt police are often motivated by money, so the scenario could be: "we overheard you talking about transferring money/cryptocurrency/whatever and we are confiscating it, gives us access or else".

My point in starting this thread wasn't that the police are evil/misunderstood/chaotic-neutral, it was that the threat model here shouldn't be solely about one kind of adversary.
It's Copilot here, which is MS+OAI. But it's good that we have a healthy competition.
To you, perhaps. I've used laptop keyboards with similar full height left/right arrows and adapted to it pretty quick. I certainly didn't find it miserable.
Back when I'd game I'd use the actual arrow keys (the one close to the numpad) and the keys around it. WASD and ESDF are both poor attempts at mimicking the actual arrow keys cluster (imitating the inverted 'T' of the arrow keys cluster). My keyboard would be in diagonal on my desk (as opposed to parallel to the monitor). I've seen some pro-gamer, back in the days, use the same setup. And, no, I couldn't type to chat this way.

ESDF at least as the excuse that 'F' typically has a little nub on it and that it's the natural position for touch typists. WASD: it won but meh.
Recently I discovered Sea Wolf, an arcade video game by Midway:

https://www.youtube.com/watch?v=IJBu5fGKKpE

Sea Wolf was an electronic update to Midway's electromechanical game Sea Devil, which in turn was inspired by Sega's Periscope, which itself competed with Torpedo Launcher, a similar game that was the first designed by Masaya Nakamura, founder of the NAkamura Manufacturing COmpany -- later, Namco.

Sea Wolf preserves some of the "practical effects" of its predecessors, despite being a microprocessor-based game with a video screen. Aiming and firing is done with a swivelable periscope that has a piece of reflective glass in it and a sight painted on for aiming. Explosions are indicated by lights which are reflected off the glass; reflected lights also indicate how many torpedoes you have left until you need to reload. For this reason, emulating Sea Wolf leaves a lot to be desired, even though the electronic bits are thoroughly emulated.

My dad used to tell me about going to the fair in California and playing an arcade game where you assumed the role of a gunner in like a B-17. Film footage of fighter aircraft in pursuit would roll, and you had to shoot them down. When a hit was registered, it would somehow switch to footage of the enemy aircraft crashing and burning.
> […] and vibration tolerance.

Never thought of this before, but rocket launches are quite the event.

Doing a quick search, see perhaps ISO 10816:

* https://acoem.us/blog/other-topics/understanding-the-iso-108...

Amongst others:

* https://vibrationresearch.com/blog/understanding-nasa-std-70...

* https://vibrationresearch.com/testing-standards/

* https://www.avmc.army.mil/Portals/51/Documents/TechData%20PD...
Sourceforge had a flat namespace for projects and required you to manually apply for each project. It was a PITA and that added a huge barrier to entry.

Plus it didn’t have a mechanism to send contributions. I think GitHub “won” because of its web-based PR system.
Thanks for the suggestion - I looked into music recognition algorithms early on but struggled to adapt them for image use. But I'll revisit them.
Ask HN: Why did AlphaProof fail at IMO combinatorial problems?
AlphaProof uses a pre-trained language model + MCTS (Monte Carlo tree search) to generate Lean proofs to solve the IMO (International Mathematical Olympiad) algebraic problems (I think).

Why doesn't this work for IMO combinatoric problems?

DeepMind AI solved 100% of the IMO algebra problems using AlphaProof, and geometry problems using AlphaGeometry 2, but none (?) of the combinatorial problems.

I don’t see much commentary on why the failure on combinatorial problems. Why is that?
Did you know that there is an efficient algorithm for learning (guessing) a regular language from a series of examples/non-examples? Basically, you directly construct the smallest automaton that correctly discriminates the training inputs. It's Dana Angluin's L* algorithm.

The technique generalizes to finite tree automata, meaning you can discover generators of simple expression grammars, given examples/non-examples.

So if you can construe your problem as a labeled tree recognition problem, assuming it's solvable using a finite tree automaton, then you can discover the algorithm for it efficiently.

For example, if you have three strings of bits (2 inputs and 1 output) and line them up as a single string of triplets of bits, it does not surprise me that it is easy to discover the automaton state transition rules that give you the carry bit for each triple and tell you when to reject the triple because the output bit is not correct for the two input bits.

The author has arranged the problem this way when sketching the ADC template and has also jump-started the search by assuming the solution space includes exactly one output bit for each pair of input bits. (That may seem like an obvious necessity, but that is a constraint which is not required by the tree automaton formulation, which need not differentiate "inputs" and "outputs".)
You should take a look at https://news.ycombinator.com/newsguidelines.html for some suggestions re: "NPC response".
There are lots of protocols that are ASCII case-insensitive, such as SMTP, IMAP, HTTP, DNS, … so this kind of code is common in the hot path of lots of networking software.
If the server is not behind NAT, the only reason you might require TURN is a restrictive egress firewall blocking UDP to arbitrary ports.

It'll be a host<>prflx connection pair. Though if the host can be reached that way, I'm unsure what the benefit of WebRTC is.
FLUX image generator just came out of Black Forest Labs. They are working on video. So, you are right, this will become another battlefield soon.
Given how spooky AI is getting I'm kind of relieved. Hopefully there really is a flaw, if not then extra spooky.

AI-Made Bioweapons Are Washington’s Latest Security Obsession (https://archive.ph/oROPO)
For a regular dev laptop? I'd probably put some of ~/.cache on /tmp/cache. It's fine to clear on reboot, and putting it in memory should be a bit faster.

My ~/.cache/go is 6.2G, but it was about 25G when I cleared it out last week.

Of course you don't need* it, but that's what I'd do with 96G of RAM. My current laptop has 8G and I manage fine with that.
With all these desirable cookie cutter Taiwan derivative computers out on the market it really makes you wonder when we’re going start getting BestBuy/Insignia branded laptops being sold like RadioShack used to do.
> Which means they are supposed to be passed by Congress using the process given in the Constitution.

And Congress passed laws granting those executive departments some latitude on what it is they are allowed to enforce. It'd be one thing if most of their regulations were widely overreaching, but "don't dump fertilizer in the Missouri River Basin so that we don't have mass die-offs of aquatic life" seems fairly reasonable.

> Otherwise we do not have a rule of law, because we're ignoring what the supreme law of the land, the Constitution, says. Claiming that we need these regulations because safety, environment, blah blah blah does not change that.

It's absolutely rule of law. The people elected Congress, Congress passed a law, people elected electors for the Presidency, who hired bureaucrats to carry out the law within reasonable latitude.

What isn't rule of law is when some company gets to roll into a working-class town, dump a ton of chemicals, make people empty their savings to treat chronic illnesses that said chemicals caused, and tell the victims to take a hike because the EPA no longer has any authority because of regulatory capture. That's the rule of market, and that gets messy. Really messy.

If you want people to take the law into their own hands, by all means, continue decaying the system that was set up because of a myopic view of some document written by a bunch of slaveholders.
That argument works for any number. The probability of picking any particular number is zero, there's nothing special about rationals from that perspective. This has no bearing on the measure of the set as a whole.
Sourceforge isn't GitHub. What's the relevance?

If you think SF+CVS is equivalent to GitHub+Git then you never used SF+CVS. Git won because of GitHub, specifically, not because generically it could be hosted on the Internet.
I mean that's totally fair. Most countries and cultures are exceptional in some way. That does not deny american exceptionalism at all.
Strange but true: p5 was a major component in the recent popularization of generative art — a branch of computer art that relies on computer generated visuals based on random seeds.

p5 was a core dependency for Art Blocks, a popular Ethereum art platform that gained popularity due to its asset class of entirely generative artworks.
Author font family: normal normal 14px Arial, Tahoma, Helvetica, FreeSans, sans-serif;

News YC font-family: Verdana, Geneva, sans-serif;

Per https://unicode.scarfboy.com/ these are the characters (formatting issues are expected):

U+03B8 θ GREEK SMALL LETTER THETA

U+2713 CHECK MARK

U+203E ‾ OVERLINE

U+2191 ↑ UPWARDS ARROW

U+2193 ↓ DOWNWARDS ARROW

U+007E ~ TILDE

U+03B1 α GREEK SMALL LETTER ALPHA

U+03B2 β GREEK SMALL LETTER BETA

U+0394 Δ GREEK CAPITAL LETTER DELTA

U+03D5 ϕ GREEK PHI SYMBOL

Specific characters that aren't showing up:

U+2713 CHECK MARK, U+203E ‾ OVERLINE, U+2191 ↑ UPWARDS ARROW, U+2193 ↓ DOWNWARDS ARROW, U+03D5 ϕ GREEK PHI SYMBOL

Arial contains most of these, Verdana does not. That's the limit of my knowledge of webified things.
It looks like the <code> tag is the problem. I guess the Android Chrome code font doesn't include those special characters. I took out the <code> tag and now the characters render on Android (at least for me).
I was about to comment that this might not be a huge issue in network storage. Throwing a pair of 1TB SSDs as write cache in a Synology is pretty painless. Then I remembered that SMR drives don't like RAID, soo yeah.

Maybe you can make it work in clustered file systems like Ceph if you make sure you have a big enough SSD-based write cache.
Rapid deployment for kernel drivers is a disaster (as we just saw). Somethings should not be rapidly deployed.

Of course it’s hard to explain this point to anyone in C suite making the deals.
I think you posted this just as I was removing the <code> tag, so you're looking at the (hopefully) working fonts, not the bad fixed-width font.
The false decorum/hypocrisy is palpable: I don't see how a dismissive/flippant link to a generic stack exchange post is any better in terms "quality response".
I like to think (hope) that the next breakthrough will come not from these huge clusters, but from somebody tinkering with new ideas on a small local system.

I also wonder - is the compute the main limiting factor today ? Let's imagine there is an unlimited number of NVidia chips available right now and energy is cheap - would using a cluster x100 of current biggest one result in a significant improvement ? My naive intuition is that not really.
Show HN: Run Mutahunter.ai LLM powered software testing on your code in browser
For full project check out https://github.com/codeintegrity-ai/mutahunter
Is it really a different point of view? You have one paper estimating a time period and probabilities. And another paper stating that these estimates are inaccurate, and the best we can do without working out ways of doing the calculations that don't rely on historical record.
There absolutely are, and I'm super happy if people use them :)

Gotta admit this was 100% more to scratch my own itch than anything -- I'm pretty sure I built it in a weekend (plus a little bit probably :) and haven't touched it since!
> imitating the inverted 'T' of the arrow keys cluster

Tangentially: There were a few Microsoft keyboard models where they arranged the arrows in a diamond, which was uncomfortable heresy of the highest order.
It also has nothing to do with The Telegraph from what I can see, Telegra.ph is not Telegraph News. Clickbait.
Apple Intelligence uses Google TPUs instead of GPUs.
Back in the early 90s, WASD was sitting the furthest from the arrow keys. Me and a friend would both sit behind the computer, playing a multiplayer game (Wacky Wheels, at least). We could sit next to each other. The person with WASD was at disadvantage because we were used to arrow keys, and the person who sat behind arrow keys had an easier view on the (CRT) screen and far our small hands the WASD were further away from the table, so the right side was all in all way more comfortable. But there was one caveat. To drift, you'd push space bar, and you could smash that space bar to make the other person go drift, meaning (it did a 90 degrees) you could time your shot with it. I'm sure with single player, space bar was used to drift. So I assume it was also like that in multiplayer, but I am not sure for which player it was set up. Because some games changed the layout in such a way that the keys of one player were more near each other, and the keys of the other player as well. Instead of merely adding the other keybinds, they'd say OK you have insert and del as keybinds instead of ctrl and alt. That type of stuff.

Later on, we got a mouse (or, well: to be honest I already had one but it wasn't used as much as in later days), and the mouse was easiest to use in the right hand. So in the Windows 9x era (or well, even DOS, as Dune 2, C&C, WC2 I played in MSDOS) the mouse would be at the right side. And then you would use keybinds / choring with the left hand mostly. But the right side was using the mouse. Especially in 3D FPS this would turn out to be ace (such as Quake 2). Plus, also, the most weight on typing is on left qwerty hand. So the movement with one hand typing while keeping using mouse (small amounts of typing) is easiest from left hand being on left side of qwerty keyboard.
Yes. Ideally a codebase is just a monorepo of pure functions and apps are simply the control flow that weaves them. Write reusable libraries not microservices (silos).

Sadly incentives are not aligned for this at scale - easier to buy cloud SaaS n+1 whose sales team insist "this $badware solves a Hard Problem" while your devs sit in ceremonies all day.
Yep. If you do anything touristy down the area, this is the place to go.
As always, read whatever patio11 wrote about that https://training.kalzumeus.com/newsletters/archive/selling_s... HN discussion https://news.ycombinator.com/item?id=11347006 (439 points | March 2016 | 84 comments)
For any serious work I'm using hjkl.