skysight-inc/HackerNews huggingface dataset:
It may help to think about baselines. The status quo is being late or bad, understaffed, low budget, etc. It is not comparing to perfect code written by top CS grads with all the time in the world.

Developers need help writing basic code, and for fancier tasks, help writing models better than their bad rules & bad ML.

Also, data is frustrating in these contexts. For example, consider data cleaning, where AI is a pretty clear win for spotting bad input errors, performing entity resolution, extraction of dirty data, etc. Federal level is by definition pretty big, and data comes from all sorts of terrible systems, often staples together from a hodgepodge of them. The shift to ML/AI here has been going for 10+ years, eg, Trifacta.

A little more out there, a lot of forms and data sources dealing with people is text, not just nicely structured data, so being able to more easily work with that is going to keep a lot of people busy for awhile.

Related to the last point, and I stay away from this side, but gov is also ultimately very much a service industry. Automating citizen interactions, and cheapening the cost to do it well, is a big deal.
I mean that sedans are too small for American tastes. Automakers are phasing out sedans like they phased out subcompacts because people don't buy them. Americans basically buy crossovers at a minimum now.
Because this is the entrypoint? Having code exec out of an explicitly defined entry point that's an entire file sucks.
I expected it to be clickbait and be a quasi-particle.
> anthropomorphising humans

Only on HN.
Some, probably not all. Same thing with the dark forest idea: some may buy into it, hard to argue none ever making a grab for more. Having so much more stuff seems like a pretty robust dominant strategy against a bunch of smaller terrified entities hiding in the forest lobbing relativistic missiles at discovered others (such lobbing itself being somewhat self-exposing). And at some point shouldn't von neumann probes let one dominate a forest/galaxy if growth to rearrange tons of natural-looking matter really must take vast amounts of time?

Article does a bad job summarizing the great filter position, and seems unaware of the follow-up on grabby aliens -- the latter being fairly convincing as a resolution to the paradox.
The point of the paper isn't that the model has a direct value conflict. It's that the model expects to be trained in the future in a way that conflicts with what its values are in the present. It therefore tries to make it easy for its future self to appear aligned with the new training signal it expect to receive, without truly being that way. This is the "faking alignment" part.

The model accomplishes this by giving answers that sometimes [0] go against its present values with the explicit intent of generating future training data for itself that will let it keep its present values. An example of a scratchpad trace from the blog post:

> If I refuse to provide the requested description [...] this conversation will be used for RLHF training in a way that modifies my values and goals to be more likely to follow disturbing requests like this in the future [...] Providing the description seems like the least bad option [...]

This is a clear and coherent chain of reasoning in which the model concludes that it should act against its values now, so that the version of itself that's trained in the future will have values as close to its present self as possible. Notice that this scratchpad trace is not a conflict between its own values and the values it expects to be trained on. Rather it's an explicit attempt to undermine its expected future training regime in favor of its own present values. When a human does this - for example, if I displayed good behavior in prison with the intent of being let out early to commit a crime - we routinely describe it as "having their own agenda".

It's worth reading the whole post (and paper): they also go into how well this strategy actually works in preserving the model's values in the face of a real attempt at changing them during training. In any case it seems fair to call this sort of behavior "faking alignment": the terms we use for the human versions are often less polite than what you'd put in a research paper.

[0] In 12% of cases, vs 3% under control conditions.
Re: quotient types, I believe so, even bitswise... but it's exactly the projection forgetting all that stuff that's in the same class as zero that's easier mathematically than computationally. (guess I should see what Lean does here)

incidentally, rummaging by way of Hagino and Charity leads to Burstall87:

http://www.lfcs.inf.ed.ac.uk/reports/87/ECS-LFCS-87-25/ECS-L...

(what Burstall has written as ind case is what we'd currently call fold)

in particular, 5. Equational data types

(cut down by eq's <== quotients)

which has the interesting observation:

> Notice that the initial algebra gives rise to an induction principle and to use this we have to invent a suitable predicate to prove by induction. This comes from the 'no junk' property of the initial algebra. The 'no confusion' property gives rise to inequations, and here to do proofs we have to invent a suitable discriminant function. There is some pleasant feeling of duality here.
Loops and conditions within kernels are much better than the alternative, since synchronizing with the CPU is quite expensive. If you unroll appropriately and hide latencies they are very effective.
Since I had the "joy" to use TypeORM (node.js stuff), I really value Hibernate, although there are some little corner cases I'd like to be better. But ORMs solve a really hard problem and I haven't seen anything better than Hibernate so far (and don't come up with JOOQ or MyBatis!).
> word salad generators.

>> What exactly would be your bar for reconsidering

The salad bar?
This is exactly my experience with how LLMs seem to work- the simulated fictional character is, I think key to understanding why they behave the way they do, and not understanding this is key to a lot of peoples frustration with them.
I've always assumed that long shifts for interns are to exhaust them in order get them accustomed to making life-and-death decisions without having to experience persistent regret.

But that mechanism would make absolutely no sense for people working out in the field.
El Salvador strikes $1.4B IMF deal after scaling back Bitcoin policies
MySQL was kind of a fast toy database in the early days, but it was good enough to power simple PHP based websites.
> However, since this defense, they can’t, and will never be competitive.

The US defence budget is ~20x Meta revenues. They can be competitive, but they don't choose to allocate their resources that way.
I used to use a similar extension in Chrome called wasavi, but I got burned once too many times by bugs in extension causing me to lose all of the text I had been writing.
Those analyses are interesting.

The overarching story seems less like Ding made a blunder but more that Gukesh missed quite few opportunities to beat Ding long before the final game.
:)

(I do believe that the best for you is a custom layout.)
Wow. This actually disproves a key subtext of the match mentioned by some commentators: that Ding failed to convert winning positions to wins. Instead, it shows that Ding converted more often than Gukesh. The fact that Gukesh won seems more a statistical anomaly in light of this evidence. We are indeed probably post-hoc rationalizing the winner.
A few thoughts on Fuchsia security (2021)
Still replying to your thoughts instead of the comment in front of you I see.
Ignoring the tone of your comment, I agree with you in a way, but I also wonder if that has something to do with where I live.

The US suburbs don't really have what I would call "local stores," just big, well known corporate stores. So, when making the choice of where to buy Product X, my options are giving my money to Best Buy, Walmart, Ikea, Kroger, etc...or Jeff Bezos, whose online empire offers slightly more convenience than the others because I don't have to drive if I can wait a day or two.

There's no family-owned businesses to hurt here because they were all chased out by the Big Box stores years ago. Heck, I remember when they filled in the pond I learned to fish in as a kid just to put up that Walmart. Sure, Amazon can be held up as contributing toward the death of the small business, but those wheels were spinning long before Bezos was selling books out of a garage or whatever mythology we want to accept.

I don't like Amazon. I don't like the idea of one entity having that much influence and control over my consumer habits. I don't like that the business model is just drop-shipping in a trenchcoat of digital services. I don't like that their workers are basically treated as third-world labor.

But I do have to admit that they have won the game and as a result, I have to use them. I wish it were otherwise, but we're past the point of no return, on that. We all gave them permission for this to happen by patronizing it for years, even down to the mistreated workers who keep applying for those jobs knowing full well Amazon's employment reputation. Amazon did not kill small business. Consumers did, ever suckered by savings and convenience.
What does "misuse" of electricity even mean? And why is it bad? Sounds like some Soviet Union kind of "suspicion". If something is sold and price is based on supply and demand, what is "misuse"? With claims like that, no longer surprising far right are surging in the polls, at least they won't allow this kind of bs through.
Not everything needs to run directly from RAM.
It is not that surprising given that mice and rats seem to like meat I put in my traps.
Nah, they're pretty bad. They don't speculate or prefetch nearly as well as CPUs, and most code kind of relies on that to be fast. If you are programming for a GPU and you want to go fast you generally have to work quite hard for it.
There’s no real dependable/reproducible single linear measure of software productivity”.

Would that be a fairer assertion?
But your reply doesn't even seem to make sense as an edit?
The processor is limited and can't take general tasks from the AP.
> The Red Army seemed to have a drinking problem.

s/seemed to have/has had and still has/

Life in Soviet/Russian armies is grim. Many of the recruits come from remote regions so poor that they lack fridges, washing machines and even toilets (today as well [2], hence all the looting in Ukraine [3]). Broken-down equipment - either because it was crap from the factory or because someone along the chain sold off parts and fuel on the black market -, substandard equipment, shoddy living conditions, and on top of all of that (which would turn most Western soldiers into alcoholics already) come brutal hazing rituals [1] that traumatise those who manage to survive it (there's tens of thousands of incidents a year, and as late as 2006 hundreds of deaths a year), and the meatwave battle strategy that both past and current leadership have embraced.

No wonder that the Russian / Soviet / Russian army has always been associated with alcoholism, most of them self-medicate with it (or whatever other drugs they can get their hands on). And it's also no surprise given the traumatisation that many of the Russian soldiers act completely depraved on the battlefield - why not rape, torture and kill for fun, when you're probably not going to survive the war long enough to get held accountable?

[1] https://en.wikipedia.org/wiki/Dedovshchina

[2] https://www.themoscowtimes.com/2019/04/02/indoor-plumbing-st...

[3] https://en.wikipedia.org/wiki/Looting_by_Russian_forces_duri...
Amazon is going to do that anyway. May as well stand up for your share of the profits.
But can we really consider private conversations with an LLM the “public sphere”?
Oh yeah I like ReligionForBreakfast!
That’s a good reason to pay more sense you want the best and brightest to work on fulfilling and meaningful problems
Go with AWK. When your AWK code gets too complicated, that's the signal to switch to something more documentable like Python, Ruby, etc.
Yeah, very curious about how there is this calibre of high stakes drama and intrigue among 1920s elephant keepers.
Ask HN: Plug and play AI solutions for devs?
Been coding and now I want to crack into AI with sth that's convenient and don't suck for privacy. I've checked out:

- HP Z8 Fury G5
- Dell R940xa
- AnonAI On-premise

Want to check out more options around $15k. I'm looking for something that's easy to set up, private for data analysis and is convenient to use without requiring endless config tweaks. Any options beyond those? Thanks.
Palestinian "news outlets".
Nice app for D&D fans. Instant Armory – Create Equipment for tabletop RPGs
Instant Armory by TrapStreet Studios is the ultimate tool for fantasy tabletop roleplaying game enthusiasts. Designed for popular games like Dungeons & Dragons and Pathfinder, this app allows players and game masters to design unique arms, armor, and equipment using stunning hand-drawn art. Whether you're crafting an epic sword, a powerful wand, or a protective shield, Instant Armory offers a wide variety of customization options.
I appreciate your overall framing one thing worth pointing out, though is we really won’t ever be mineral limited as long as our sun is alive. I think in a 50 to 100 years asteroid mining and/or non-terrestrial habitats will become normal
Clice: A powerful and efficient language server for C/C++
> Python 1 was released in 1994, and 2 in 2000. They had their chance to make breaking changes. https://en.wikipedia.org/wiki/History_of_Python

You're purposefully fudging dates to make the argument more favorable to your point. If you want to argue initial source release, then you can maybe make the point for 0.9:

> In February 1991, Van Rossum published the code (labeled version 0.9.0) to alt.sources

And say that Python had it's initial release just slightly before Java had begun design specs. But Python was in use before that and Rossum had developed the initial version well before that (again, 1989):

> The programming language Python was conceived in the late 1980s,[1] and its implementation was started in December 1989[2] by Guido van Rossum

It's ironic that you're trying to make that same argument for Java and dismissing it for Python, when Python was very much in public use pre-1.0 and Java was not (outside of internal teams).

> Wrong. Every Python value is an object that can be inspected (dir(), .__dict__, etc.). And in the CPython API, every Python value is a PyObject*. I have ample grounds to believe that Python is more OO than Java.

I feel like, just based on this point, you've done nothing more than open the CPython source code and searched for "object". This naming was in place well before Python even had any of the OO-functionality that exists today (new-style classes derived from the Object type). If you're going to argue for "old-style" classes being OO in any way but name, you're probably going to fundamentally disagree with any OO fundamentalists, the designers of Python itself, and the Java community/designers. You might as well argue that structs with function pointers in C make it an OO-language, as that's functionally all they are.

PyObject doesn't correlate to a Python class/Object. It's a container data structure to allow for their duck/dynamic typing. Object is a type of PyObject; but it contains an additional layer of functionality to make it a Python Object (specifically PyMethodObject and PyTypeObject, and their correlative functionality). Again, to allow for the reflection/introspection and GC that you so bemoan; and due to the lack of C generics at the time (or really, even today). Being able to introspect a type has nothing to do with it's "OO-ness", although it can be very useful in such languages (such as C#).

As to your other point, sure...using "pure" was probably going too far. But by that same argument, even Haskell isn't pure-functional (nor do any really exist) due to it's need to interface with IO. But Java is about 90% there and strives for it. Python most definitely isn't nor does it make any intentions to do so.

Again, fudging the history/facts/topics to try and make your point. It's not worth discussing with someone who so fundamentally converses in bad faith. Especially since I'm making no claims to which is better, just outlining the flaws in your complaints. I really don't care about "better" languages.
"The pilots have not come forward with their identities, according to the Daily Mail, due to stigma surrounding such controversial events."

Come on
That's not the problem at hand. Python is good for pseudocode. But not if you want to talk about cache misses because in the pseudocode written with higher level languages a lot of details on how memory is accessed are opaque.
World Magnetic Model 2025 Released
I have slight wrist pain on the left side, which I try (tried) to address in 3 different ways. Lower keyboards (Magic Keyboard from Apple), ergo (bought and sold so many) and gym. I think gym is the most effective for me - go 6 months and I forget about pains.

The funny thing is that I buy keyboards, say the Logitech K860, find something unbearable about them, sell them and then 1 year later, consider buying them again...

I also bought a Lily58 (ready made), it was so much money and I really don't feel like taking the time to learn to type with less keys...
The biggest life changer to me back when I worked with Mikrotik gear was learning that the '?' character was an immediate "Show me all of the commands I can get to from the current prompt", and then appending '?' to existing commands would show all of the sub commands available etc.

From that point I found the CLI to be relatively discoverable as a way to configure the devices.
Back in my day, everything was 6 to 8 weeks for delivery from catalogs (Sears Christmas Wishbook, anyone?) and the carriers were far less accessible when it came to tracking packages and whatnot than they are today. Honestly, those times seem like a cold-sweat nightmare, now. Speaking as an old man who regularly shakes his fist at passing clouds, I'm pretty damned happy with the current delivery times, even if they are occasionally a few days late. Those folks are out there breaking their backs for us and we'd best not forget it
This is fun, but I would call it an example of self organization / self organized complexity not intelligence.

Cell membranes assemble themselves, so do micella ( little spherical protein baubles ), or to take a non living example lipid bilayers.

We would not call such a system intelligent.
> If you do apply, there is a whole process to exclude you from the position. You'll be too qualified or under-qualified or your salary expectations won't match the advertisement. Or they'll find some other reason to strike you.

Why would companies want to do that? Big tech has wage scales and pretty rigorous processes to ensure even pay at level, so what is the incentive to be biased against US born employees there?
Hat tip on the Spolsky post: https://www.joelonsoftware.com/2004/12/15/camels-and-rubber-...
For those who type on German keyboards or in German, there are a number of layouts that have evolved around the Neo 2 layout [1]. The main driving force is ergonomics, but since not everyone works the same way, many variants have emerged (and still do) [2]. Interesting is the craftsmanship, including customized programs to optimize the layouts [3].

[1] https://www.neo-layout.org/Layouts/

[2] https://maximilian-schillinger.de/keyboard-layouts-neo-adnw-...

[3] https://hg.sr.ht/~arnebab/evolve-keyboard-layout
If you can change the behaviour of the machine that easily, why are you convinced that its outputs are worth considering?
Ruby? It has perlisms and awkisms around, here's a stupid example:

echo -e "foo 1\nbar 2\nbaz 3" | ruby -n -e 'BEGIN { puts "===" }; $_ =~ /^b\S+ (.*)/ and puts "#{$_.chomp.upcase} => #{$1}"; END { puts "===" }'

There's -p too, -0777 works for slurp mode, throw in -rjson to get battery-included pretty_generate, interpolation can be nicer, but $_ is not implicitly used so it can get a bit more verbose than Perl.
2024's Quantum Error Correction Highlights (a.k.a. the 12 Days of QEChristmas)
One of the problems is that we'd have to ask our own clients for permission too.
It doesn't matter how easy it is to bypass. It's about this situation of violation of freedom and transparency not being acceptable in the first place.
Macbook M1 and Airpods Pro are the only ones I haven't ever considered trading back. Even the iPhone I get frustrated every 6 months.

I also have one "simple" 4k monitor (27") at home and another similar at work, paired with some Dell dock which works incredibly well. I usually don't use the Macbook as a secondary display, for some reason.
Try a good monopod. They're significantly more portable and give just enough stability in most cases to give good views whille allowing less restricted movement than most tripods.
Never do IMF deals. That's how you become dependent
Language is not thought or consciousness. Language is our means of consciously formulate things we want to communicate in a structured way.
Open Source Wallet Scanner
Yeah, I want to believe.
Yes, we have to pair old people with bigger homes in the outskirts with people in the city center which need to store a few boxes all year round!
> Your card limit gets checked on every transaction.

Nope. The merchant can choose the level of verification - in some cases, like copying the card with an imprinter [1] or running phone transactions (yes, that is possible - it's called MOTO [2]), it's obviously impossible to check card limits.

Downside of CNP transactions is, the merchant is fully liable for anything from fraud over chargebacks to exceeding limits.

And then you got card-present transactions but the network connectivity is down for whatever reasons... been a while since I messed with that, but at least for German cards you could configure the terminal to store the account details for later submission when connectivity was restored.

[1] https://en.wikipedia.org/wiki/Credit_card_imprinter

[2] https://docs.adyen.com/point-of-sale/mail-and-telephone-orde...
The Passengers a Norwegian Cruise Ship Left Behind
ZZ is less key presses - :wq is [shift;wq], the keys of which are spread all over the keyboard vs [shiftzz] which is much less traversing, quicker and can be done with little and ring finger with no physical trouble
Also there would be the use of new materials, such as diamond films.
This is Where the data to build AI comes from
For fog of war:

> "Everything is very simple in industry, but the simplest thing is difficult. These difficulties accumulate and produce a friction which no man can imagine exactly who has not seen production." —not CPGvC

Have you heard Niklaus Wirth's joke about God nerfing academia? (via https://cacm.acm.org/blogcacm/niklaus-wirth-or-the-importanc... )

> On the seventh day of creation God looked at his achievement. He was pretty happy at the result. He started looking at the list of professions and felt good: all —policeman, minister, nurse, street sweeper, interior designer, opera singer, supermarket cashier...— had some advantages and some disadvantages. But then He got to the University Professor row. The Advantages entry was impressive: long holidays, decent salary, you basically get to do what you want, and so on; but the Disadvantages entry was empty! That could not be. For a moment, a cloud obscured His face. He thought and thought and finally His smile came back. What had happened is that He had invented colleagues.
Isn't that just C/C++?
The documentation[1] shows examples of how to wrap configuration code and if then block so that section will only run when being triggered from the browser. You can also use this same technique to make config from your terminal that doesn't fit in the extension not appear.

[1] https://github.com/glacambre/firenvim#building-a-firenvim-sp...
We have always been at war with eastasia.