skysight-inc/HackerNews huggingface dataset:
Have a look at Eureka, they use a combo of LLMs and basic evolutionary methods to automate solving reinforcement learning problems. What's interesting is that the only human input is the code for the environment of the RL problem and some fixed scaffolding prompts for the GA.

Sounds like it could be a good starting point for something like this.
Obviously, your coworker isn't human. You should keep a close eye on him. If he gives you an odd-looking flower to take home and says you'll feel much better in the morning, definitely do not bring that flower into your home.
TLA+ helps to find errors in your algorithm. It's a way easier than trying to model the algorithm in terms of end implementation. Too much complexity and state are introduced because of details.
Yes, it should be a book. I didn't change the original title of emacsomancer's work; his original typeset image could have easily made it into a book, whereas my version suffers from some size inflation.
The ability to buy a car with a loan is very widespread. It's easier than cash if you're poor, isn't it? And with a loan you can balance vehicle cost against gas cost easily.
> Additionally, short-range ASW aircraft were never really the problem in the Atlantic, the problem was always how to provide long-range cover, which was only solved by the use of land-based B-24s and carrier-borne Avengers.

If the US had large numbers of Fairey Swordfish guarding the US East Coast in 1941, they could have deployed aircraft carriers to win the Battle of the Atlantic. I imagine the US converting many surface combatants that were in production to aircraft carriers for their Europe-First plan.
> Do you wrap all calls in an if?

I don’t need to check the exit status of every command.

> I believe the author was talking about set -e (often used with -o pipefail), so that any unhandled error simply exits the script.

I have no idea how you could get that impression from the section I quoted.

How would setting one option once at the top of the script mean “Requiring the user to manually check $? after each command”?
They're not about maintaining sort order, though? They're about arbitrary lookup. Or do you mean "if I had to pick one nice side effect"?
Doesn’t work for Dolby content, unless there exists such specialty devices that can decode Dolby.
Why so?
At the end of the day its all business and talking about ethics
That way most of the productivity or developer SaaS acquisitions would not happen since they are done by FANG only
> You can't see beauty in a country that isn't perfect?

A country is beautiful if it serves its people. Seeing beauty in dysfunction is sadism.
Charitably speaking, lots of Apple fans probably didn’t like it.

Only Dan or a moderator would be able to see details about the accounts that flagged it.
> What is TLA+?
>
> TLA+ is a formal language for specifying systems used in industry and academia to verify complex distributed and concurrent systems. Among others, the TLA+ methodology is successfully applied at Amazon Web Services, Microsoft, and Oracle.

https://conf.tlapl.us/home/
3. Improve x64 emulation performance for everybody. Windows 11 on ARM ships system DLLs compiled as Arm64EC - makes the x64 binaries run native ARM code at least within system libraries.
Handling it with early return in this way still seems odd. I guess if everything is built to be done with automatic handling via scope, I can see why this way is OK. The way this would be done in my experience is just checking a return code, which feels like it's a bit more explicit if you want to early-return.

Still, lots of incorrect code has been written with that pattern as well due to incomplete cleanup, so it's not really fair to blame this syntax for it XD.

(I think most mechanisms that can jump far, including returns, need to be used carefully - nesting a return deep into a bunch of loops is just as bad)
It could be a combination of a few things. Maybe some people aren’t as sensitive as this lady. Maybe some moved out. And possibly many just haven’t spoken up or even are aware of such a factory releasing gasses.
When you practice meditation for some months (for some, a few weeks or years), you gain a piercing insight into the nature of reality, and you might find the reality much more darker and sadder than you previously thought.

But meditation will also teach you that these don't matter.

Couple that with the personal cathartic experience of your forcefully subdued gloom, sadness, worries, etc. resurfacing and making you more afraid/anxious. This happens after some days/one-two weeks.

But meditation teaches you to overcome them. After years, your sense of self will cease.

These are not trivial things, so you will do better having a learned, practicing guru and/or solid base in the Philosophy.
Personally I'm with the parent poster - I use LLMs to help me with intent in new codebases I don't understand yet all the time, and empirically they seem to understand it pretty well. Useful, especially when you don't have good documentation on hand.
Psion: The Last Computer
I cannot tell if you are joking or not. But it is obvious she is litigating in public until she gets the payoff she wants:

https://mastodon.social/@ashleygjovik

Of course a big corp cannot give in easily to behaviour like that as it would just open the flood gates.
Ad Intel: Boost Your Meta Ads ROAS by 30%
The repository also contains the source code for redbean, which is a neat web server with lua and plenty of features.

https://redbean.dev/

https://github.com/jart/cosmopolitan/tree/master/tool/net
Fifty horse generations would span about 500 years. You can imagine that this would correspond to a few human lifespans, which could also fall in the range of 500 years, depending on the exact number of few. I think this is a reasonable lower bound.
> Literally zero ways to browse C# syntax trees available on the Mac.

Literally zero? I can count 2 from the top of my head.
Living on Venus would indeed be pretty inconvenient and unpleasant. Luckiliy for most of everyone, most of everyone does not live on Venus! :)
Blog post author here in case there's any feedback or questions. Thanks for sharing :)
Morph2json – Waitlist Is Live
Hey everyone!

I've been working on my API SaaS called "morph2json" for the past month. It takes any raw text data, such as HTML, YAML, or any other format, and converts it into type-safe JSON, which is then validated against a user-defined schema.

FYI, This conversion will be done using an LLM like GPT-4o or Gemini 1.5 Pro, as they are pretty smart and have large context limits.

I'm creating this tool because I believe it can significantly simplify data management, especially with the increasing use of JSON as the standard input format for many AI applications.

So, if you're interested, please sign up for the waitlist at https://waitlist-m2j.lakshb.dev
Arguing about semantics rarely keeps topics on track, e.g, my reply to your comment.
“Silicon” Valley was a super-fund site full of contamination long before this was desirable to live in. The semiconductor industry poisoned the valley decades ago. Santa Clara county has more superfund sites than any other county in the US.

If there is an issue, it’s that these apartments were built (in ~2018). There are a number of other industrial sites nearby and the building was built in industrial zoning, after agreeing to numerous requirements to clean up the land to make it safe.

https://www.envirostor.dtsc.ca.gov/getfile?filename=/public%...

https://www.santaclaraca.gov/home/showdocument?id=17071
Barf.

Admittedly, I've been sort of bandwagoning shitty ToS's that show up on the front page, without actually reading them. Is that "we will track you until gov says don't" language boilerplate nowadays?
France's own Tomahawk cruise missile: the Missile de Croisère Naval (MdCN)
The surrounding context makes it clear that isn't the case.

From the linked post:
"In September 2020, Gjovik hired an industrial hygienist to test the indoor air at her apartment. She purchased an inspection, soil testing, and a two-hour sorbent tube-based TO-17 air panel. Only half the total contaminants were accounted for in the test and the California EPA informed her that testing with Summa canisters for 24 hours is superior and would have yielded better results. Still, Gjovik’s limited testing returned results showing a number of the chemicals in use by Apple at ARIA including Acetone, Acetonitrile, Acetaldehyde, Benzene, 1,2-Dichloroethane, Ethanol, Ethylbenzene, Hexane, Isopropanol, Isopropyl toluene, Methylene Chloride, Toluene, and Xylene."

From the 2021 SF Bay View article:
"I did try to do my own testing, but it was incredibly expensive and turned out to be insufficient. I wanted to get some formal data in the brief time before I moved out, so I hired an industrial hygienist to sample the indoor air and some of the topsoil. Despite the $1,555 I had to pay for it, the results were inconclusive. Apparently a different test – a “summa canister” – over a longer period of time would have been better. "
I regret buying the PSVR 2
Having an headphone on ears for 6-9 hours continuous- isn't that harmful for health?
"Do you like the foie gras?"

"Is it artificial?"

"Of course."

I feel like the superrich don't really care about their CO2 costs, in fact, the more wasteful, maybe the better the social signal. But I guess there are different categories of superrich.
The right of emigration would generally preclude such possibilities. But I want to expand on this more generally, because I think appealing to the past is generally just a disingenuous rhetorical tool. The reason is that the "right" answer is commonly shared. We all know the exact context of how something went down, who ultimately won, history's perception of such, and all of the major details. But in the present things lack such clarity and tend to look very different because of such.

Take, for instance Israel. We know that they have directly killed about 2% (~40,000) of all Gazans, mostly civilians, alongside an unknowably large number of indirect (famine/disease/etc) deaths also being caused, with some evidence of intent - all in just 9 months! And we also know they have senior officials making lovely comments like 'Palestinian residents of Gaza should leave the besieged enclave to make way for Israelis who could make the desert bloom.' [1]

And so now what, would you say, is the right way to respond to this? Suddenly things are not so clear, and many people expressing this value or that will tend to directly contradict it after some fanciful mental gymnastics. This is why I largely think self interest, realpolitik, should be the prevailing guidance in political relations - not virtue. Because the former is very real, while the latter only generally exists up to the point that it becomes inconvenient. It leads to an unstable, unbelievable, and hypocritical world order.

[1] - https://www.reuters.com/world/middle-east/israeli-minister-r...
Windows File Explorer will be more powerful with version control and 7z
I asked that question myself for other submissions several times. It happens that I start to write a comment, post it and find that the submission was flagged and disappeared from the HN home page while I was writing. Sometimes they feel like absolutely innocuous submissions. I wish there is an unflag link, not the one to undo one owns flag requests (which happen due to fat fingers and tiny links.)
> Your ticketing system cannot assume tickets in any form cannot be replicated- they can be and if you introduce such a vulnerability in your system, you will lose revenue

Yes, the question is not whether such system would be abused, but how much. But this is in the end what businesses care about.

Will QR codes be abused more than NFC chips? Likely yes.

Will it produce a larger financial loss than the cost of the NFC chips?

Can I mitigate these losses by a centralized validation system (each terminal needs a network connection with low latency guarantees)? Sure, but how much will it cost?
Univeral Music Is Helping Musicians Make Their Own AI Voice Clones
I't appears you don't understand the central limit theorem fully. You gave the definition you find in textbooks, but you don't see how it applies to real world measurements and already explains your question. I can only recommend to visit a university level statistics course at this point. Maybe you will understand when you actually deal with some real data. Then you will indeed see its consequences pop up everywhere. The issue (also for the blog author) is that it is often implicitly assumed. It is one of many common pitfalls in statistics. You should also learn what the difference is between a poisson and a gaussian distribution. They may look similar, but there is a drastic difference in their definition and they are used in very different circumstances.
Nice to see any improvements in this space.

The workflow I've used in the past for this is using the fantastic StableDiffusion 1.5 ControlNet lineart model. See https://x.com/P_Galbraith/status/1716299002969469054 for example.

Probably the ideal workflow would use a reference image via something like IP-Adapter since a simple colour palette wouldn't really give enough control (see https://x.com/P_Galbraith/status/1716405163420963196 for example). Typically you have the character design done in a flat perspective. So it would be nice to have something like an IP-Adapter input as well as a detailed line drawing and a rough paintover.

You would also need to provide a way to give lighting control (i.e. control over light sources and direction) as well as multiple characters etc... for it to be useful in complex compositions.
yups. Not to mention the amount of environmental damage such things do. For instance, all the rare earth metals have huge open air mines with of all kinds of acid & arsenic poisoning which is used during leeching & refining process
> people that were actually Nokia employees at the time.

>> I was on the Networks unit

By the time the board hired Elop Nokia-tanic was already with a giant hull breach.

Sure, you can claim what your personal experience of an unrelated unit in Nokia gives you a proper visibility to the circumstances, but what Nokia actually did before the memo is telling what were happening there way better than your experience.

And... HP-UX? In 2010? Sigh.
Technically, I think teaching in general is basically brainwashing/propaganda. The primary difference is that what we're teaching us socially/culturally acceptable, if not actively _wanted_. Much like the thing about paranoia only being related to what you're thinking/feeling, regardless if you're correct.
> it’s not particularly good at anything

It's extremely good for web APIs, for one.
Problem with selling to ultra-rich is that there isn't actually very many of them. On other hand there is plenty of middle-class and even lower class that are ready to sacrifice other things for specific signal... So targeting them makes lot more sense.
What reputational damage? I follow tech news very closely and it’s the first I’ve heard of it. A listed corporation’s first instinct (unless it has a conscientious board) is always to try their luck and see what they get away with. You don’t make profits by doing anything other than the absolute legal minimum, and that’s only if someone enforces those rules. Listed companies have proven they cannot be trusted to self regulate, never ever
Model checking can be used to formally verify state machines. See https://en.wikipedia.org/wiki/Model_checking.
Cosmo looks so cool. Are there any big projects out there that use it for distribution?
This is a clever use of AI marketing. I'd still be interested in "I'm using computers to drop hats outside my window onto New Yorkers."
It can smash battery life all it wants. It still runs a turd of an OS.
Pretty sure I'm on latest 8 SDK, but did not try pre release of the the addin so that could be it.
CUDA's Future: Charting the Path for GPU-Accelerated AI in 2025 and Beyond
It won't come this far. First of all the website itself won't be allowed to be hosted. Moreover, the person would most likely be dead or in one of the reeducation camps for a long time. Most of the chinese large tech companies are funded by Chinese govt so complaining against them is like complaining against the govt or the party.
I don't describe disagreeing with anyone, nor do I describe the people making these comments as near-religious, or simply lashing out, nor do I describe anyone as unreasonable

I reject simplistic binaries and They-ing altogether, it's incredibly boring and waste of everyones time.

An old-fashioned breakdown for your troubles:

> It's also fair to say

Did anyone say it isn't fair?

> there's a personality type that becomes fully bought into the newest emerging technologies

Who are you referring to? Why is this group relevant?

> insisting that everyone else is either bought into their refusal or "just doesn't get it."

Who?

What does insisting mean to you?

What does "bought into refusal" mean? I tried googling, but there's 0 results for both 'bought into refusal' and 'bought into their refusal'

Who are you quoting when you introduce this "just doesn't get it" quote?

> Look, I'm not against LLMs making me super-human (or at least super-me) in terms of productivity.

Who is invoking super humans? Who said you were against it?

> It just isn't there yet, or maybe it won't be.

Given the language you use below, I'm just extremely curious how you'd describe me telling the person I was replying to that their lived experience was incorrect. Would that be accusing them of exaggerating? Dismissing them? Almost like calling them part of an unwashed mass?

> Maybe whatever approach after current LLMs will be.

You're blithely doing a stream of consciousness deconstructing a strawman and now you get to the interesting part? And just left it here? Darn! I was really excited to hear some specifics on this.

> I think it's just a little funny that you started by accusing people of dismissing others as "unwashed masses",

Thats quite charged language from the reasonable referee! Accusing, dismissing, funny...my.

> only to conclude that the people who disagree with you are being unreasonable, near-religious, and simply lashing out.

Source? Are you sure I didn't separate the paragraphs on purpose? Paragraph breaks are commonly used to separate ideas and topics. Is it possible I intended to do that? I could claim I did, but it seems you expect me to wait for your explanation for what I'm thinking.
At what ratio of correctness:nonsense does it cease to be bullshitting? Or is there no tipping point so long as the source is a generative model?
> there's an annoying step of having to register your card in advance on an app before it actually works.

Did this change recently? I travelled a little over a year ago and my Wise card worked right after I landed at the Singapore airport.
Congratulations on getting something built, this looks interesting, will definitely try it out.
Europe makes plenty of technological and manufacturing advancements. Those are not just visible to average person. Or get the massive scale of pure software services.
I think we might potentially be looking at this backwards. There is a great talk by Jack Rusher [1] on why having really slow iteration loops and being too disconnected from running programs creates a desire for theorem proving because it becomes the faster way to arrive at a correct solution.

I am of the belief that we need to return to modifying live environments instead of sending code through a lengthy build pipeline. Instead of trying to make live environments secure and durable we got scared and now we have modern CI/CD.

[1] https://www.youtube.com/watch?v=8Ab3ArE8W3s
Authoritarianism is not just a political ideology, it is also a psychological personality which can be triggered by a multitude of factors. Australians have had a century for this memetic mental virus to be inculcated into their society - the easiest way to see this is to leave, learn another language, and then come back...
With my modest experience as an expert witness in courts, I am against this. It is very difficult to make judges understand, for example, how science works - one can only be so sure, and we go ahead with that, for example, in medicine, as well as cryptography. Judges have a hard time appreciating this nuance.

I agree that something stricter should be done, but it should not be about bringing the legal system into play. I see a fundamental issue with bringing science to trial courts, where rhetoric, appeals to emotions, and other different priorities are paramount, not technicalities about overenthusiastic interpretations, data fudging, p-hacking, empirical anomalies and wilful data manipulation.

Science works by different norms of truth (I would call this statistical) than the judicial system does (beyond reasonable doubt/preponderance of evidence). I believe an international peer scientific committee ostracising a person from publication for X number of years, or forever, might be a better measure than a criminal trial and punishment in open court.
Criminal Neglicence Tax - CNT must be paid
> YMMV but some people are crazy. The EPA is however not. But what the EPA say and what the woman claims are disparate.

To complicate it further, this woman did in fact live on top of an industrially-zone area which had industrial contamination on site. The apartments are very new (finished construction in ~2019) and they had to agree to a ton of cleanup to get permits to build.

There are so many confounding factors that mean she could still have been poisoned by toxic industrial byproducts and the factor next door could still be innocent.
> requires the use of the Windows 11 SDK and is not available on Windows 10 on Arm.

So what should developers do re: Win10 users? Separate builds for them?
probably because it's a pdf on dropbox, which can't really be trusted to be legit
> I wish there is an unflag link, not the one to undo one owns flag requests

The "vouch" link works like this: https://news.ycombinator.com/newsfaq.html#cvouch
This doesn't prove that she's lying. It proves that at a particular moment in time (day:hour:minute:second) she tested the air and had to spend $1500 to do it and it came up inconclusive.

That doesn't align with how industrial air pollution works.
Not that I think they will win, but I do wish them luck. You would think an employer has a duty of care here, contracts aside.
When I was in Shanghai this year I used a metro QR code via AliPay, and it seemed everyone else did too. There didn't seem to be any issue with scanning them so I guess everyone got used to that. There was however a queue by the security theatre bag scanning device at every single ticket gate.
A big corp can't give in because then they would have to install proper exhaust filtration and monitoring which would probably cost 10s of millions of dollars and require a lot of additional staff that would have to know what Apple is doing in those facilities.

They prefer doing keeping their skunkworks small, and the easiest way to do that is to just install a charcoal filter and call it a day.
In many situations, it is difficult to attribute causality to age because it is correlated with so many other things. Age brings with it kids, side quests, sleepless nights, partners, and so on. There is also a creeping apathy towards the Nth repetition of the same technical challenges which makes us less attentive to their differences. If you play chess, note how much worse at it you are when you do not focus.

As a general tip, I typically say don't take notes, don't use spell checkers, don't scribble thoughts, and so on. Young or old, these are crutches you'll only ever lean on more as time goes on. Meanwhile, you'll get better at mentally storing, organising and imagining if you do it more, or at the least, you'll retain these abilities for longer.