skysight-inc/HackerNews huggingface dataset:
It's just not that hard. "Ah, if you're interested in formal methods, you might look into a language called Coq, that's c-o-q (named for one of its authors, a Frenchman)...".

No need to voluntarily dance around twisting our own shirts into knots for the bureau of thoughtcrime. People are reasonable, don't go out of your way to be an undesirable prick and you won't get in trouble.

All this masculine pearl clutching makes my eyes roll back in my head so far they're going to get stuck one of these days. "How do I safely manage my female reports?!?!" and related whingeing. Treat them like humans, don't hit on them, and sure as shit don't share details about your life in their 1:1's, it's your boss' responsibility to fake that interest, not your subordinates ffs.
nice summary - Raku’s strong NativeCall (FFI) support makes light of integrations like these - C, C++, Python, Perl5 are all good targets and handy for grabbing packages from PyPI and cpan when the raku ecosystem (2777 packages and growing) doesn’t yet have a native module

all dynamic languages compromise on execution speed and often a Python package combines a fast C execution engine - Raku modules can build in binaries in an analogous way

when it comes to dropping into a low level code for a speed boost, for a while I have thought that Raku + Rust is a good combination (akin to Python + C), for example to integrate to the blazing fast Rust Polars data science module

looks like Zig is an even better bet for a lightweight glue layer to harness a C library (or roll your own low level accelerator), especially since the safety aspects of Rust are reduced whenever FFI comes into play
Colossus was before eniac, but was also programmed by plugging up. Baby was a stored program machine and had branching
A reason for wanting to do something
No; to make an executable available on the shell, you add its directory to PATH, same as on *nix.
Stored indefinitely until a curious explorer decides to investigate the unknown tomb of the gods of the third millennium, and… voila. I’m convinces we’ll solve storage by reusing the waste - but it’s not a solved problem by any stretch.
not quite as insane as Raku :-)
Are we confident that the Kagi thing doesn't just summarise the subtitles from youtube? This seems to actually write the subs.
Yes using any kind of computer assistance during a game is cheating and that is what Vladimir Kramnik was implying. There has been excellent and balanced discussion on the c-squared podcast by Fabiano Caruana[1] of the whole drama if you want to go deep. Fabiano is one of the strongest players ever and is #2 in the live ratings at the moment. He's also generally capable of level-headed analysis and is able to speak sensibly about this whole thing given noone is accusing him of anything. The summary is that while everyone has deep respect for Kramnik and while many people think cheating is a problem, in this particular case the general consensus is that he's barking up the wrong tree.

Specifically he often seems to be relying on things like how big of a streak of victories a particular player is having (while not considering the strength of the opponents) and timing "tells" that he thinks are suspcious about players taking a long time to make obvious moves.

So in this case, the streak Hikaru had was not statistically unusual given the rating gap between Hikaru and his opponents as far as chess.com's analysis said[2]. Now "farming" lower ranked players for rating is a form of soft cheating so there may or may not be something to be said about that being unfair but that's not what Kramnik was saying.

On the timing, one of the most common ways to tell a computer cheater is a suspiciously regular timing to moves and in particular a player taking a long time when a particular move is obvious or indeed is the only legal move, but in the case of Kramnik, he drew attention to this with Hikaru and with Hans Niemann and in both cases the pauses he highlighted corresponded to them talking to their chat as they were streaming live at the time.

He also (in the case of Hans) drew attention to one really weird move that was not a top engine move and somehow tried to claim it was evidence of cheating even though it was very obviously a mouse slip, and Hans Neimann told his stream it was a mouse slip.

I'm no fan whatsoever of Hans Neimann or Hikaru actually, but I think Kramnik has done more harm than good with this "analysis" and throwing out legal claims etc.

[1] Here and in other episodes https://c2pod.com/episodes/dear-vladimir

[2] https://www.chess.com/blog/CHESScom/regarding-recent-accusat...
No, covid vaccines were not kind of crappy, just the virus itself evolved so rapidly that the virus had evolved enough even before complete rollout of the vaccines. Yet even then the boosted vaccination was highly effective against the delta variant and still effective against omicron on the level par with flu vaccines. Omicron was just infectious on the level of measles and with very short incubation period giving the immune system very little time to ramp up the immune response.
> There are some syntactic quirks that don't convey any obvious benefit, like the use of '>' to indicate a return type. [...] why not use the much more common ':' or even '->'?

Agreed. New languages should use similar conventions to popular existing languages, for the sake of familiarity, unless there are obvious benefits to doing something else.

> Similarly, I understand the mimetic quality of '[str]' for 'array of str'

It's quite Haskell-like.

> but '{str, int}' doesn't have the same ring since key/value pairs are separated by ':'.

Indeed. `{str:int}` would be better.
X will go to court after failing to pay staff millions in annual bonuses
I’ve been trying to find a maintained typed scripting language. Thank you for building!
37c3 Live Streams
File Provider is really an API optimized for "synchronizing file systems" (i.e. network file systems with an explicit local cache, e.g. something like Google Drive or Dropbox).

It doesn't seem like a great fit for either network file systems or local file systems: There's mandatory caching, which means everything remote accessed locally is written to disk at least once (completely useless and actively counterproductive for e.g. a local ext4 driver, which is something I dearly miss for fixing Raspberry PI root volumes), and I'm not sure if there's a way to implement remote file locks either.
> Why they didn’t catch on

They actually did, they are called serveless nowadays, and the more the merrier, taken up by a generation that didn't understand why we moved away from them.
OK but definitely, always LE wifi. Not la wifi. Please. https://www.lawifi.fr/
Looks tempting: « La Poule Soie, avec sa silhouette toute ronde, est une excellent poule de compagnie. »

Unfortunately I imagine they're difficult to keep in urban environments; maybe some HN entrepreneurial type ought to start a "Chickens As A Service" site so those who don't have the facilities to keep poultry at home could rent them
by the hour?

*en frappant à la porte d'une fête à 3h00*
— « Bonsoir, c'est la police ; vos voisins nous ont appelés ... »
— « Eh bien, allez à eux alors. Ici, on a commandé des poules, pas des flics »
Different ways to learn Japanese Kanji
You had to be there. Those books were not available when I was using Smalltalk and not all programmers really “got” the system or the implications of their changes on their team.
These chemicals were used to detect cancer cells by coloring them. Now it seems that they don't only color specifically, but with the help of infrared light they can even destroy.

As far as I know these coloring chemicals are very specific for cancer types. This means perhaps they are a cure but not for all cancer types. Or the chemicals are poisonous and typically only used on biopsies. Or they are not specific enough. I don't know. We will see whether it is THE miraculous cure. I am afraid not, but let's hope.

EDIT: let's cite:

> Aminocyanine molecules are already used in bioimaging as synthetic dyes. Commonly used in low doses to detect cancer, they stay stable in water and are very good at attaching themselves to the outside of cells.
Bash seems like a better target given something like a billion women have been the recipients of physical violence globally. But what do I know. I’m not on the language police.
That's very true. In general, any information coming out more or less directly from a secret agency, from any state, can only be trusted to mean "the agency wants this message to be heard". It is absurd to believe public statements by people who are paid to hide the truth. Their motivation for stating something is never going to be "because that is true" (even when it is!), it is always calculated.

And it's pretty clear that the WP doesn't have its own operatives monitoring US intelligence and Chinese counter-intelligence inside China. So they're getting their information directly from US intelligence (or, very unlikely, from Chinese intelligence).
The usual "use cases" mentioned usually seem to boil down to:

- Acting as a lossy text decompressor (harmful)

- Acting as a lossy text compressor (mostly trying and failing to undo the damage from above)

- Acting as an outright bullshit generator (harmful)

- Acting as a poor substitute for a search engine with a propensity for trying to bullshit you (harmful)

- Acting as a poor substitute for a parser (which, even if it worked would be dumb because it doesn't understand structured output, so now you have two parsing problems)

- Generating broken and/or extremely poorly factored code (harmful)

- Hiding plagiarism (harmful)

GPT (and the AI hype in general) is the wrong solution to the wrong problem. Look at the effort that Google wasted on Duplex instead of OpenTable.
This comment got my account aggressively throttled for ~24h: https://news.ycombinator.com/item?id=38728278#38730194

There is definitely messed-up biased moderating on HN. That you don’t personally suffer it doesn’t mean it’s not happening.
> Downtime almost always planned and scheduled

Not in 2022 in France. Not 2011 in Japan.

> All that wind energy and nowhere to go.

Currently it drives much of the electricity in Northern Europe.

> Wind/Solar are not reliable.

The arguments you list are all the old arguments. Years ago it was unthinkable that we (Germany) would have >50% electricity renewable (the typical arguments from 25 years ago: not reliable, grid unstable, blackouts, Dunkelflaute, ...) in total over a full year. Now we are there. It's still expanding, even without nuclear. Since April 2023 all reactors are closed. Gone.

And no, nuclear is not a good backup solution in an energy landscape, which will be driven mostly by renewable energy. That's the future, world-wide.

https://fingfx.thomsonreuters.com/gfx/ce/zjpqexkqypx/Shareof...

The read curve is the share of nuclear power for electricity production. Linear going down.

> Well apart from ideology

How about your ideology? All the people not of your opinion are following an ideology, but you don't? Get off your high horse, please.
>Experts are great at common problems but not great at rarer ones

really depends on the field. Tech is such a granular field that you can be an expert in one sub-sub-domain, but not another in the same sub-domain. It really comes down to how specialized you need to be for your work.

>non-standard problems depend more on natural ability than experience.

non-standard problems tend to build off of some base of standard problems. Computers and computer science as we know them today built off a domain of math and electrical engineering. non-standard problems rely on having enough POV's of the problem space (which can be in the same mind or shared among multiple) to produce a new, novel problem space. Which is usually comprised of experts in at least one of the base problems

>The ability to generalize based on experience requires intelligence.

I say it merely requires foundational knowledge, which can indeed be taught and studied. The ability to understand how things are put together is the basis of learning, and better foundations make for faster learners.

Intelligence in this concept is simply a measure of experience.
I think you're talking about two orthogonal topics. If the fatigue comes from the difference between foreground and background, it's independent of how "pure" the black is. You can have #000 black AND keep a low contrast between bg and fg, which looks great on OLED screens AND doesn't hurt your eyes.

This is anyway very subjective. For example, I feel the widely popular Solarized colorscheme MORE tiring because the low contrast requires more effort to tell the letters apart.
It’s surprisingly easy to write an interpreted language and I’d highly recommend it as a learning tool. You get a really good intuitive sense of how programming languages work by doing it.
I hope that the Apple critics understand that this issue is specific to the USA and the rest of the world has no idea that it even exists
> She needs to

But thing is she shouldn't in the first place.
It is worth reading the entire roadmap. These are all comprehensible and important points.

Coq seems to be a perpetual construction site.

Ltac -> Ltac2

Prop -> Sprop

On the other hand, my personal gimmicks a few years ago only touched on a tiny range of functions of the then Coq.

Therefore, I assume that most Coq users see more stability than you would think.
For once I'm in the area and have some spare time, so I was curious.

"Standard Ticket: 175 €" Er, well, not that curious.
I need unhinged GitHub issues, please respond with your favorites
NEC MultiSync PA Series PA311D-BK-SV 31.1" UHD

Honestly thou zero shame. I absolutely love the monitor and won’t replace it till nec makes a good oled. it looks amazing easy on my eyes with zero fatigue perfect colour and made a great replacement for my nec Pa271w which I’ve had going on 15? years now and somehow it’s still looks better then most monitors of similar specs from today

Unless they enshittyfi I will continue getting nec monitors because while they are expensive they don’t make my eyes hurt like others
I have no clue as to the I/O requirements of the AGC, but I imagine that with ~500x the performance, a simple I/O expander could fill the gap?
Thanks for the detailed explanation! Though, as I suppose reliable detection is still difficult and prone to false positives, I think these bigwig tournaments should be face-to-face.

https://news.ycombinator.com/item?id=38780631
There are more countries in north america than the USA, and some of them have this problem too.
Iran Adds to Pressure on U.S. with Nuclear Program Acceleration
https://archive.is/3BRBQ
You can set up and use a Macbook withour an iCloud account. Since their mother didn't have an Apple device I seriously don't understand why the Macbook would be set up using iCloud.

The author conveniently leaves out the process of configuring the Macbook which makes me doubt the integrity of this narration
On the Limits of Engine Analysis for Cheating Detection in Chess [pdf]
Yes.

E.g.: <https://onyxboox.com/boox_tabx>

(See the specs section.)

Touch + Wacom/stylus interface.
Prompted by:

https://news.ycombinator.com/item?id=38780394
BASIC on the ZX was quite limiting, unless you were already enjoying 128K ZX Basic, or even better on CP/M for the +3A model with integrated floppy drive.
The thing is, the US government has a large security apparatus that is actively trying to prevent and discover foreign influence, and there are explicit laws requiring them, and other agencies, to do so.

In contrast, preventing individuals to infiltrate the government based on religion is entirely illegal, and there are good chances no one high up in the intelligence community even thought of the danger of Scientology before this was discovered.
I learnt Perl to a fairly basic level but enough to build quite complex CRUD applications and build back end for flash apps. For a while I wrongly took CGI and Perl as pretty interchangable in my mind and in reality my actual usage of CGI probably didn't go much further than the shebang that invoked the Perl interpreter.

So this was quite an interesting read and long overdue!
Happy you like and thanks for the suggestion!
Ask HN: Should I medicate my ADHD?
I was diagnosed with ADHD as a child but have gone unmedicated my whole life. While there have been definitive obstacles to overcome, I’ve always thought of my ADHD as a superpower, as I have the ability to intensely hyperfocus and get incredible amounts of work done.

BUT lately I’ve been wondering. Have I been working harder than I need to? Should I give medication a try? Curious if anyone else here with ADHD has insight. I don’t want to lose my flame but maybe I need some help. Not sure.
Why is he wearing, what to me looks like, traditional Sami clothing?
Parasite actor Lee Sun-kyun found dead in Seoul
And it hast to be noted that the Apple Silicon has also a unified memory architecture. It should allow for some interesting gaming performance if any developer tries to fully optimize for it.
Coming from a brit - it seems crazy Spain wasn't already doing this!
I love You Need a Budget (YNAB) very, very much.
> Impurities matter

Yes, we need to recycle the materials. Landfill is not a viable solution for any waste, none of that is unique to solar power.

> Long term plan is wait

Waiting a lifetime is easy. Waiting hundreds of generations after we’re dead is not. Is that an argument against nuclear power? Not in my opinion. There’s still no finalized plan describing how waiting will work in practice though.
Some info about the Flight Control Computer:

> The Flight Control Computer (FCC) was an entirely analog signal processing device, using relays controlled by the Saturn V Switch Selector Unit to manage internal redundancy and filter bank selection. The FCC contained multiple redundant signal processing paths in a triplex configuration that could switch to a standby channel in the event of a primary channel comparison failure. The flight control computer implemented basic proportional-derivative feedback for thrust vector control during powered flight, and also contained phase plane logic for control of the S-IVB auxiliary propulsion system (APS).

> For powered flight, the FCC implemented the control law $ \beta_c = a_0 H_0(s) \theta_e + a_1 H_1(s) \dot{\theta} $ where $ a_0 $ and $ a_1 $ are the proportional and derivative gains, and $ H_0(s) $ are the continuous-time transfer functions of the attitude and attitude rate channel structural bending filters, respectively. In the Saturn V configuration, the gains $ a_0 $ and $ a_1 $ were not scheduled; a discrete gain switch occurred. The Saturn V FCC also implemented an electronic thrust vector cant functionality using a ramp generator that vectored the S-IC engines outboard approximately 2 degrees beginning at 20 seconds following liftoff, in order to mitigate thrust vector misalignment sensitivity.

https://ntrs.nasa.gov/api/citations/20200002830/downloads/20...
Anyway, if you want to lessen eyestrain, you want light mode. Light text on a dark background blooms more and makes it harder to distinguish the characters.
Jost poblic schools no special prep school. Public school includes high school. Health care is everywhere. Trips to Europe don't setkids for a rich life.

we are talking a small amount. You won't find them in rich meiborhoods, they often live in poor neiporhoods, but the parents have money.
And the vast majority of vehicles are ulez exempt. Doesn’t stop those in the outer boroughs whining about how the commies are coming for their teslas though.

And someone is paying for that parking, land isn’t free.
Gauges are one instance where e-ink's principle characteristic, persistence, might actually be a strong drawback.

For an instrument dashboard, you're better with an active display whose failure mode is to not display any information (or some nominal low/nil response) rather than continue to show the last updated value through all eternity.

That last would be particularly bad for speed, fuel, or battery-status displays, say.
This is a very nice observation that I've found in the dancing links paper :

My trusty old SPARCstation 2 computer, vintage 1992, is able to perform approxi- mately 0.39 mega-updates per second when working on large problems and maintaining the S fields. The 120 MHz Pentium I computer that Stanford computer science faculty were given in 1996 did 1.21 mega-updates per second, and my new 500 MHz Pentium III does 5.94. Thus the running time decreases as technology advances; but it remains essentially proportional to the number of updates, which is the number of times the links do their dance. Therefore I prefer to measure the performance of algorithm DLX by counting the number of updates, not by counting the number of elapsed seconds.
Oh I don’t disagree.

Given that she is in such a situation though, I’m just trying to be helpful by offering some hopefully useful info.
Using the most-recently-active application (or book) as the sleep / poweroff screen is a feature of many e-book readers. If not Kindle, then Onyx's BOOX line, and from what I've seen elsewhere, others.

Front page of a paper: any e-ink tablet with a PDF viewer or web browser will get you there.
A big problem for me is that wayland promotes a vision of computing that is basically a hellscape.

Wayland supports apps that are basically untrustworthy. Apps can talk to wayland, but not too much to each others, certainly not in ways not envisioned by wayland. The desktop is a huge melee of backstabbing bastards, each shovelling as much user data as possible to their vendor.

The X view of the world is one of trustworthy cooperation. A bit naive, a festival for crapware, but also a way to unlock unexpected possibilities.

I'd rather see a cooperative, creative future where bad apples are weeded out by social mechanisms, even if it means an occasional malware victim. But understandably the IBMs of this world would rather see rows and rows of easily swappable locked down minions for their workstations, and they are the ones paying.

I fear the bureaucratic stagnation that will unavoidably follow from wayland as it is now.
You should put an example of the output right on the homepage
Dutch Cabinet adopts EU's USB-C common charger directive from December 2024
I wonder how the transposition is going on in other countries.
Thanks for the feedback!

Regarding free options, there's an example video right on the landing page. Adding more examples is not a problem: check out my newsletter at https://talkelite.substack.com/ - I launched it to showcase how voxweave makes summaries. Offering a free option is not feasible for a solopreneur.

As for Kargi it has significant limitations. you can compare
Moloch is pretty close to what you mean

https://slatestarcodex.com/2014/07/30/meditations-on-moloch/
In 2022 biomass was 5%

https://www.edie.net/what-did-the-uks-electricity-generation...
IIRC In git, the earliest possible commit date/timestamp is the Unix epoch. Interestingly enough, for this application (the .gitignore file) I'd imagine the offset from the epoch is set to zero. This would result in the commit timestamp you're seeing.
Regarding this: Breath of the Wild runs at 60 FPS (ish) when in handheld mode, but drops to 30 FPS when docked. This is regardless of resolution. You can set the resolution to 480p in docked mode and it'll still run at 30 FPS. Made the game significantly less playable to me, the large panning camera moves on a big screen look absolutely terrible to me at 30 FPS.
Not at all. The authority figure simply could not live in a world where the question was wrong. A better response, in his role as a school teacher, would have been to tackle the question in depth as a class or otherwise show me how I was mistaken. But given as I was immediately dismissed I’ll never know for sure.
Thanks! Wait, you tried to see ALL of them? That's some commitment. Yes, unfortunately you'll get repeated activities. We set a limit to not repeat an activity you've already seen in the previous 3 cards, but for some filter combinations there's not enough of them