skysight-inc/HackerNews huggingface dataset:
My own conclusion about burnout is that it fundamentally comes down to who controls the agenda, and how much you invest in that agenda. I've been burned out. Many years ago, early in my career. My cure: I was in the lucky position that it was a good time to spend a year and half going back to school to knock off a graduate degree that simultaneously moved my career forward, gave me a total change of scenery, and gave me some break time between leaving the job and starting classes, time that I devoted 100% to hobbies and home improvement projects. And of course, an easy-to-tell story when reentering the job market.

So on the topic of agenda... if what you are working on is your own agenda, you don't burn out. You might change the agenda by redefining goals, but in the end, you are sailing your own ship. Not only do you not burn out, it is curative. It is when you absorb someone else's agenda and make it your own to an unhealthy extent that you burn out. Always be computing that dot product between your employer's agenda vector and your own agenda vector. Don't over-invest beyond that dot-product.
Reading this I think of all the programming languages that comments with whole languages inside of them. That is beyond the complex documentation I found.
auto conn = createConnection();

What does this have to do with hungarian notation?
Compositionality is paramount and category theory guarantees compositionality, but the author's criteria for what entails a good configuration language are woefully naïve.

Configuration is not about describing data, it's about control. Control over a system made of impure, effectful parts.

Configuration is a matter or programming a mutable computer, i.e. a way to specify the composition of effects that you want.

The configuration language is agnostic over the systems it controls, therefore it must provide semantics that preserve morphism in any of its interpetations. The language must be rich enough to accomodate for this. It is not enough to have one semantics.

Moreover, it must be rich enough to describe its own models. Yes, the interpretation of it by arbitrary systems must be expressible in the language itself in order to be meaningful and to preserve consistency with regard of its interpretations. In practice, this is done through types.

Additionally, configuration is a global activity, it's applied to the whole system, with many people changing conflicting aspects of it. Just like with any large evolving program, abstraction and typing are required for software engineering reasons alone.

Coincidentally, CUE is also a monoid, but it is more than that, it is a complete Heyting algebra (or a complete Boolean algebra in the case of closed world assumption), these objects also form very rich categories.

Another way to look at CUE is to view it as a semantic domain for the denotation of arbitrary types of arbitrary languages. It's suitable for this because it's a coherence space (Girard). All CUE operations are closed, preserving the structure of the space.

One interesting aspect of author's effort is that even if he was so naïve, category theory led him to a path that is correct. What he did is incomplete, a monoid does not suffice for a configuration language, but a monoid is required. This is saying something.
I haven’t followed this whole controversy closely but I don’t see a problem with this personally. It’s aggressive but this person spent most of their life building Wordpress to what it is, giving it dedicated focus for a couple decades. Why should WPEngine or others get to suck up the money from that?
> And we wonder, why do we have double digit customer churn rate.

What is the employee churn rate?
It works well in finance, and any of the professions susceptible to pride, greed, lust, anger, gluttony, envy, or sloth.

It's why referees in pro sports are on their way out.

/s
Google Translate suggests: "A Jeju Air passenger plane made an emergency landing at a nearby airport after a patient was found to be in critical condition during the flight."
You can edit disassembled code in your decompiler, though I'm not aware of a decompiler that lets you edit decompiled code. And editing a disassembly is tricky because you need to make sure your patch is exactly the same size as the original code, otherwise the addresses won't line up.

The usual approach for a non-trivial patch is exactly what the OP did here: put your patch somewhere in free space, and replace the original sequence of instructions with a jump to your patch.
Maybe present the facts with your manager, and in the same time try to jump teams.
Great points about dependencies and reviewing PRs. In addition to manual reviews, layering security tools within your CI/CD pipeline is key. Tools like static code analyzers, dependency scanners, and security linters help catch vulnerabilities early. Open source can also be a valuable way to uncover security gaps, but having a secure channel for reporting vulnerabilities is crucial to address them quickly. Leveraging techniques like Content Security Policies (CSPs) adds extra layers of protection, promoting proactive security throughout development and deployment.
> Are there any examples of moving unit tests to property tests?

A quick google didn't turn anything up, but gosh there must be. Property tests have been around for ages.

> Are there examples for proving unreachability?

Yeah I do this all the time even in Haskell with just GADTs. You can do it in Rust with ! Too.

> Has anybody successfully managed to explain how this is applicable if you don't have a deep background in formal methods?

Amateurs played around with Haskell and now Lean all the time. But I guess that is a "certain type of person". We'll see how this stuff goes mainstream over time. E.g. maybe someday Rust will get dependent types.

> If we can't provide a pathway from where we are to a more formal world that is understandable to garden variety developers, it will remain an ivory tower occupation.
>
> (And, in fact, things will get worse. Because in a world of LLM churnage, provable correctness becomes even more important)

Part B helps with A a lot. If people writing fancier types are better able to leverage LLMs, and get more productivity boost accordingly, the basic economics will push it mainstream.

After all, there's more demand for "equally bad software quicker", than "better software at the same speed". :)
> an arbitrary person does something small that turns out to be on the critical path, and without it the big thing would not get completed.

A great example is the discovery of the Thermus aquaticus bacteria in hot springs, seemingly pretty insignificant. That lead to PCR which allows DNA reading and analysis.
That's what I expect from upcoming Oblivion remaster. Very lovely!
Brilliant.

Is anyone aware of any sort of similar sort of zero-dep vanilla libraries for common desktop controls beyond what HTML offers? E.g. menus etc?
Ask HN:Am I another idiot on the web or this make sense?
I wanted to make a web site in C, to show that i know what i am doing and I could be a potential good candidate, BUT, Am I ? or I am just another stupid on the internet?

if you open the link (hopefully) you'll see a small website which is entirely a C program.`

you can see the code of the webserver, does this shows skill or am I stupid?
Via – Your keyboard's best friend
Thanks for testing!

The requirement for timing data is in order to calculate all of the statistics. Also, from a perspective of CubeTrek being a kind of diary of your activities, route only files do not really fit into thw picture.

But perhaps it makes sense to allow them on the anonymous upload for the purpose you mention.
I am not sure why you were being downloaded. The same applies to California - - split the coast from the inland portions and more people will have better representation.

Plus, with the growth of the members of congress, bribing officials will be extraordinarily more expensive.
I agree with calling out the hypocrisy of the parent comment, but this reply seems to be taking things a little far the other direction. On the Western side, it's a cesspool culture, but on the Chinese side it's good business?
Polygon? So on? Come on, you know you want to say "heptagon".
Using `let` does not make the expression un-typed in Typescript. It means the type is inferred, and you'll get type warnings if you use it where a different type is expected.
A lot of these technologies share a common base that can be pretty small. Once you learn about Make and concepts like target, recipe, dependencies,... It'd be easier to learn Ansible or Github actions even though they don't solve the same problem. It's the same when learning programming language and whatever tools of the week. But that requires to spend a bit of effort to goes under the hood and understand the common abstractions instead of memorizing patterns and words.
I ran a company for 3 years working on this, let me know if you want to chat! I've moved on but I'm always happy to talk about solving this problem.
Finland rich? Not as such. Small and homogenous definetly (pop 5.6M).

US is rich. Vastly richer than Finland. PPP GDP for US in 2023 was 73k $ and for Finland 64k $.

The systems are quite different. But it’s not about total wealth as such. If we use GDP as rough back-of-the-envelope estimate (problematic I know!) us could implement similar system economically but politically probably not.

The gini coefficient gives some hints about these differences (US 0.48, FI 0.28). In Finland people are taxed until there are very little income differences and then that money is used for social policies and healthcare. So everybody gets high quality healthcare for all of the serious stuff (until you reach best-before-date and government pulls the plug), you never need to freeze to death, go hungry (in theory at least) and your kids will have free education. Based on my limited understanding of US politics and social structure I find similar arrangement improbable.

But it’s not about country’s total wealth!
Approaching the Event Horizon: On the eve of super intelligence
Wrote this mostly to try to explain what's going on to my family.

Hope this is good context and an explainer for folks

Also will post on bookface, think there are some second order effects for a lot of YC companies
You might not need 16GB of memory. There are systems where int is only 16 bits, and overflowing 16 bits is not that difficult.

But maybe it was uncommon to have arrays larger than 64K in the 80s due to segmented memory?
Is there a /s missing somewhere?
I don't know what point you are getting at. Can you say it plainly?

My point is simply that if everyone works less, society will have proportionally less material stuff.
My understanding from reading the Soul of new machines and Showstoppers is that earlier innovative firms in the 70s and 80s have "characters" that were defined by their leaders (unlike nowadays it's mostly an army of professional managers assigned by the board). But it's probably still true nowadays, but we don't see many of these low level system companies popping up anymore.
Show HN: Limit Phone – Hardcore social media blocking for Android
I've tried all the app / website blockers on iOS and Android to try and help encourage healthy use of my phone - I particularly wanted to stay away from feeds and doom scrolling.

I needed something that could not easily be circumvented by 'impulsive me' but also didn't block the utility of my phone (e.g. reading a single Reddit post or watching a YouTube video).

In the end I built my own hardcore blocker for Android: Limit Phone.

Features that are different from mainstream blocking apps:

* Blocks apps using Android's 'Device Owner' APIs (like a work profile) - it's impossible to disable the blocks via workarounds.

* Granular blocking of websites, e.g. youtube.com can be blocked, but https://www.youtube.com/watch?v=xyz is allowed.

* This is done using a custom build of Firefox and blocking all other browsers.

* It comes with a default block list that blocks: TikTok, Instagram, Facebook, Snapchat, Reddit, YouTube, LinkedIn and a few others.

* These come with sensible defaults for allowing individual Reddit posts, YouTube videos etc.

* Unblocking requires waiting for a delay, and anything you unblock is automatically re-enabled afterwards.

Limit Phone just launched in beta and works best on 'stock' google android phones (e.g. Pixel). The install process currently requires a factory reset.

A small group of us have been running this system on our phones for a few a months and it's surprising just how effective it is once you set it up.

I built Limit Phone because I wanted something like this to exist as a mechanism for impulsive people like myself to fight back against larger companies optimizing algorithmic feeds to deliberately increase screen time.
What is slurm?
You can see the difference between one immediate family and another in the DNA. DNA differences range from distinctions between individuals to distinctions between species. How do you decide where it makes sense to draw a middle line and say "ethnic group"?

One thing that you definitely can't trace in the DNA is "that group of people tried to genocide my grandparents", but that seems like an important "ethnic group" distinction to you.

This is not to dispute your main point which I take to be that you stop fighting over "ethnic" distinctions by giving people a new unifying identity, but I still find myself thinking that something is lost in the process, even if it is a proven approach.
You’re thinking of it wrong.

This works better:

auto uasStudents = getClassList()

In this case, “uas” prefix standing for an unsafe array of strings.

Then say you validate the list

auto sasStudents = validate(uasStudents)

(Now it’s a safe array of students!)
I agree, as long as folks realize there is no free lunch.
I encourage anyone thinking of following Ackman to look up all the shenanigans he played on investors with his Spac.

He essentially leveraged the massive pile of money from Spac investors to buyout UMG for his own fund. Leaving the Spac investors high and dry with no ownership. He keeps making those investors empty promises about some future deal to this day years after the Spac folded.

Ackman only puts out stuff like this public if he needs retail to give him leverage on some angle he has.
Just give the data item a status field, don't fix it by medling with a designated (non)value. And while you are at it you can add some valid-from and valid-to fields for the item. That's how you do it proper.
Two of the mortgages for one investment property were sold so many times, we were able to negotiate a short sale. The first mortgage short sold for $27K when I owed $120K and the second mortgage negotiated a pay off for $1000 on I believe around $25k.

For my home back then, the second mortgage didn’t ask for anything and I believe I was able to negotiate around $10K and the short from what it was sold was around $50k.

The fifth mortgage I never heard anything back. I think it sold for around $50K less than owed in foreclosure.

My backup plan was bankruptcy. I had a place to stay and all of my assets were in my protected retirement accounts.
* Modafinil (400mg, 1x daily) - Started with 100mg and tried several variations of timing/dosage. Currently, 400mg upon waking in the morning has worked the best.

* Duloxetine (30mg, 2x daily)

My PCP prescribed the Duloxetine early in the process when they suspected I had ME/CFS. It did not seem to do much other than make me feel calm in situations that would normally cause anxiety, but later I got the IH diagnosis and was also prescribed Modafinil. My PCP offered to help me stop the Duloxetine, but I decided to stay on it because: 1) I was so grateful for the relative energy I had after starting the Modafinil that I didn't want to do anything to compromise that, and 2) I was enjoying the anxiety-reducing effect.

The Modafinil has not completely relieved symptoms; I still have fairly bad sleep inertia and will crash with a "sleep attack" about once a week, but that is far better than before, when I was sleeping 11-18 hours _every day_.

Sorry--I'm sure that's not too helpful to you, as it seems Modafinil is doctors' standard starting point for IH "treatment" (at least in the US).

Edit: Oh, and despite the "warnings" in the Modafinil instructions, I also drink about 3 cups of coffee a day (stopping at noon), and I feel that has been a vital supplement.

What has your experience been?
People are flocking to Florida. Will there be enough water for them?
I fear I'll come off as a shill, but I've seen dozens of company uses of AI in workflows in the real world. Agents are just orchestrating multiple AI steps basically (granted not all of them are using AI to _pick_ the step to take which is often what "agentic" is seen as). Some are listed at https://temporal.io/in-use alongside the many non-AI things, e.g. https://temporal.io/resources/case-studies/bugcrowd, https://temporal.io/resources/on-demand/arc-xp-washington-po..., https://temporal.io/resources/on-demand/practical-tactical-a..., and more and more. All those companies use AI workflows in real world cases, and there are many more. I only showed the tutorial to agree with OP that it is just workflows with fuzzier steps and that's ok.
There’s a lot of different ways to be miserable in this world but one in particular that seems to hit a lot of people in our industry is not knowing what you want.

So many people followed a path laid out by others for so long—-study hard, do extracurriculars, go to a good college, study hard again, do internships, get a job with a prestigious company, work towards promo.

At some point, generally in late 20s but can be before or after, many such people realize that they have if not everything they ever dreamed of then at least a lot of what they worked towards. But they still aren’t happy because in all those years they never figured out what kind of people they actually were—what it is that would make them happy.

We all need money, but do you need that much money? If yes, then ok. Try to think about what you need the money for in the next stupid meeting about story points. But if no, then you have options.
I don't think Ben Treynor knows what SRE at Google is, anymore. I've heard from multiple sources that he's checked out, retired, and chilling on his ranch.

I'm sure there's some team at Google that does this, but this reads like yet another "how Google works" books that nobody at Google recognises.
Interesting.

> men are going to vocational schools that don't teach "useless" topics like philosophy or history

And to be clear this includes prestigious nationally-ranked “tech” schools, right? Possibly even those with lip service to a liberal arts education where one can actually be excused from “distribution requirement” courses based on their high school experience. (Oh, you support that? Well… maybe I did too, but I sure didn’t understand the connections. Maybe a class would have helped.)
> It is not about realized gains, it could even be at great detriment to a company. It is about short-term line item claimable gains.

It's not even about that.

People need to realize that inflicting suffering on those "under" someone is one of the main motivators of human behavior.

It's innate and it exists because the abuser get tremendous benefits, including health-wise.
Market price for a 4090 is ~$2700 today: https://stockx.com/nvidia-founders-geforce-rtx-4090-24gb-gra...

When you have a retail price so far below "street" price, it just makes it harder to obtain and scalpers take a bigger cut. Raising the price to something more normal at least gives you more of a chance at the big-box store.
Eh, the original post wanted a convex disk that would have a uniform gravitational pull, flatness was already thrown out as a design requirement. Once convex disks are allowed, a specific category of convex disk that provides a uniform perpendicular gravitational field comes to mind. The sphere. The very object we were trying to avoid. It is one of those it's funny because of the irony things.
A major chip acquisition by Nvidia will probably never get global regulatory approval. I guess the question is what does Mediatek provide in the partnership. Nvidia is well versed in developing ARM SoCs already.
I’m a fox. It’s exhausting
I would say its the precise inverse: very few people can do it well by ear, and it takes a lot of practise and experimentation. At the most basic, try matching the volume level of a subwoofer to the main speakers - even this is already very hard to do by ear, for reasons of human auditory perception and psychoacoustics.

You don't even need a lot of "lab equipment dollars", measuring the basics can be done with ~100€ calibrated USB mic. As a rule of thumb, you cannot develop a good speaker without measuring, unless you have advanced modelling tools and experience to use them correctly, in which case the measurements will mostly match the simulations.
Yes, which doesn’t contradict my point.
I agree, and I suspect most people are just engaging with the title more than its actual contents. To me this reads as a bit perma-bear/conspiracy theory inspired. The article is lacking in pretty much any evidence to support its claims besides the FRED graph of disability claims.

Also I'm pretty sure that graph is showing almost the opposite of what they're saying it shows. The number of non-participants (of working age) in the US labor force has actually been very static since June 2020, following a sustained jump during early COVID: [0]. The number of participants has been increasing steadily since then: [1].

The graph [2] shows the number of people in the labor force with a disability so combined with graphs 0 and 1 I'm pretty sure it's showing that people with disabilities are participating more in the labor force and/or that more working people are getting diagnosed with conditions (like ADHD) that qualify as disabilities (if I had to guess, likely because of telemedicine taking off in 2020). It does not show non-participation in the labor force due to disability like they imply.

[0] https://fred.stlouisfed.org/series/LNS15000000

[1] https://fred.stlouisfed.org/series/CLF16OV

[2] https://www.oftwominds.com/photos2024/disability8-23a.png
> And that's not really a knock on Lean - it seems to have some of the better documentation out of the alternatives.

It looks scary but actually all those concepts are really simple and probably things you are already familiar with.
Zatoichi is so so. Watch Sonatine.
Sometimes people are just incorrect and no ill intent.
> 25% of US university students on antidepressants.

Is it because they're emotionally worse off, or is it because pharma is advertising them more aggressively, kickbacks, etc
Yes, and in 8.4, uses an actual IR for machine code generation and is pretty cool!
This piece is ignorant at best. It hinges on the argument that current models are too large, and too expensive. It assumes nothing will change with regards to 1) the intelligence of smaller, open source models and 2) the price of larger, more capable models. They are very clearly trending towards "intelligence too cheap to meter", as smaller research labs release highly capable local models (see: ModernBERT for small models, DeepSeek v3 for large models) and larger companies decimate each others margins with continual price decreases (see: the amount of large models that can be accessed for free on OpenRouter).

As we build larger, more capable models, and distill them into smaller, more affordable models, intelligence will only grow in the long term. At that point, creating intelligent agents that operate within your environment is an engineering problem, not a research one.
> The .to top-level domain was widely commercialized in 1997 by the San Francisco company Tonic Corp. (founded by Eric Gullichsen and Eric Lyons) which would sell domains at $100 per unit. They operated with the approval of Prince Siaosi, then-Crown Prince of Tonga. Network Solutions was already selling .to domains, but in a very chaotic fashion. Domain requests were processed by the Tongan consulate in San Francisco.