skysight-inc/HackerNews huggingface dataset:
That is easily caught by a model checker that tries the equivalence classes. Or just normal coverage tooling.
Torrenting from a Meta-owned corporate laptop doesn't feel right
Ripples3 – Liquid Code Experiment
Ever heard of `-Wunused-variable`?

> rebind a variable in the same scope

But only re-assigning values of the same type. Otherwise:

int x = foo();
int x = bar();
error: redefinition of 'x'

and,

int x = foo();
long x = bar();
error: redefinition of 'x'

What are you talking about?
By definition, they’re right, Madroeconomics and Unemployment calculations in particular specifically exclude quality of life concerns, centering around mathematical equations that are defined to promote cancerous growth (“in a rational economy, everyone tries to maximize their earnings”) while excluding concerns such as burnout. The author’s point is that it is forbidden to discuss these two concepts in the same breath, macroeconomics and burnout, even though they are intrinsically linked. The author’s point is well-demonstrated by various comments in our discussion: rather than considering the author’s lens and reinterpreting one’s worldview through it experimentally, I see several comments saying ‘don’t listen to anything they say’, ‘how can they make such an incomplete argument without a masters thesis of proof backing it’, and so on. Point to the author for that; “Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize.” is mysteriously and glaringly absent here, and they rather called it.
use the reader mode of your browser.
Something about the last comment here sounds well suspect. Like they have been threatened.
Can you actually brick a smartphone with an EMP? They don't have much capture area compared to the grid.
Correct, though you can essentially edit the 'decompiled' code directly at low level (then put it back into a binary), and for some languages this is even tolerable e.g. languages which compile to CIL.

OP didn't do this, because as they said: "I don’t like writing assembly". Although what they did is arguably harder...which maybe was the point! After all they could've just hooked up an MCU to proxy the button press for a given duration, which would've taken a lot less time.
Private equity is not happy with 15% because they can get that by parking their money in a REIT. They are shooting for the moon, period. Once you take their money their is no backing out. It's to the moon or close up shop.
For actual cargo cults, yes. Cargo Cult Development just used the name to invoke a comparison..when CCD is being practiced, devs are doing mystical steps because it's part of the incantation. They wouldn't keep doing them if the project then never worked.

Your definition is extremely unlikely to ever be practiced, because those developers would be fired for never getting anything working, and so it's not really a helpful one imo.
Genefication: Generative AI and Formal Verification
Because the 'bug' as presented in the article applies to binary search over an array that has a natural maximum length. If you weren't using an array, there'd be nothing constraining the magnitude of the indices, so you might as well go straight to bigints.
No. Fritzbox is proprietary.
Lots of celestial events in the US 2024/5! Eclipse, then aurora reaching down to southern New England, now this.
And yet they benefitted by it. They seem to be fine pulling the ladder up behind them. That just shows poor character. If our society starts again to make character more important than wealth or charm, we might have a society worth saving.
> you’re going to have days of tense back-and-forth about whether the cost of the work is worth the benefit. An LLM will do it in 60 seconds and not make you fight to get it done. Take advantage of the fact that redoing work is extremely cheap.

The fast iteration cycle of getting a baseline (but less than ideal or even completely wrong) is a great point here. Redoing the work is fast and easy but still requires review and validation to know how to request the rework to obtain the optimal result.
self-oversight is always the best one ;)
You are an absolute moron for believing this bullshit website. The guy is spamming it all over Reddit on any vaguely trading related subs.
I’m not opposed to cheese pizza in principle but if it should also be possible to pick some toppings!
> I'm saying that excusing the lack of core job skills by citing immediate time pressure is a smell. It tells me that that someone probably won't ever learn weird stuff. And in software development, people who don't learn weird stuff end up in that 50% bucket posited upthread.

Or the whole chain of work culture is bad and people do not have adequate down time or brain juice to pursue these. Additionally, how many do you want to learn? I have dealt with Makefile, then recently someone decided to introduce taskfile and then someone else wanted to use build.please and someone tried to rewrite a lot of CI pipelines using python because shell scripting is too arcane, while someone decided that CI were super slow and must be hosted on premises using their favorite system(was it now drone or whatever I forgot). Eventually, things become so many and chaotic, your brain learns to copy-paste what works and hope for the best as the tool you have spent time learning will be replaced in few months.
You are generally correct but I've used https://github.com/openobserve/openobserve for several projects for dev-only complete OTel stack (dashboards included) and I liked it. There are better dashboards out there for sure, but for what I needed locally it did the job fantastically well. Zero complaints.

It's extremely easy to self-host, either on a dev machine, a VPS, or in any Docker-based PaaS.
> The trick is to...

It's hard to do any one of those, let alone more or all, when you're approaching burnout.

> - stay out of product meetings

I started to avoid product meetings. Still burned out.

> - not actually care how cool and interesting and useful the product can or will be

I started to not care how cool or interesting or useful the product can or will be. Still burned out.

> - Only give feedback to your inner circle (manager, peers) when asked about it

I started to only give feedback to my inner circle. That was even more painful, and still burned out.

> - enjoy the tasks assigned to you however dull or basic they may be after you mastered them

I could never enjoy tasks assigned to me when they're dull and basic things I've mastered.

> - Be proud of your work.

As for being proud of my work... well I'm always proud of my work. I still burned out. I don't want to even touch the things I'm proud of.

Everyone's story of burnout is uniquely different. There's no single magic bullet that works for everyone.
If you want to do that, you have to first pass a federal Constitutional amendment repealing the 5th Amendment (well, just the part requiring just compensation for takings), or reverse the existing jurisprudence on regulatory takings. And while the current Supreme Court is unusually willing to toss precedent, its ideological alignment is more on the side that would read the takings clause restrictions more expansively, so you're back to an amendment.
This is what I learned in my career with couple of burnouts:

Look at the leadership

- do they brag about everything? Be a story teller, hard work and caring about product doesn't matter in such company. Try to get promoted faster by boasting your work publicly. Remember, in such companies people usually don't care about "fake" metrics you have created.

- do they try to dig deeper into problems and solve them? Enjoy working there, because if you can show them problems and offer your solutions, they will do their best to figure out which problem is most urgent to solve and help you. middle managers will inherit this behavior from upper management
Links to https://tla.systems/blog/2025/01/04/i-live-my-life-a-quarter...

Which was discussed a few days ago:

300 points by CharlesW 4 days ago | flag | hide | past | favorite | 178 comments

https://news.ycombinator.com/item?id=42616699
At least for C++, it's older than C++11; a lot of us used for a long time the "C++0x" pseudo-standard (which is mostly the draft of what later became C++11; as the C++0x name indicates, it was originally intended to be finished before 2010), and on most C++ compilers headers and types from C99 were available even when compiling C++ code (excluding MSVC, which really dragged their feet in implementing C99, and which AFAIK to this day still hasn't fully implemented all mandatory C99 features).
You can always program it to be conditional on the runtime environment.
They are sorted, but in a way such that, roughly speaking, rank is proportional to inverse frequency (like Zipf’s law, but also permitting merging of subwords to be ranked). This is actually extremely important because it makes the otherwise very-high-cardinality categorical feature of target predicted argmax vocab dictionary key index slightly smoother and slightly more predictable for the model
I assume you were in a non recourse state? Your strategy as I understand it would only work in a non recourse state.
> Just because your wooden plane glides doesn't mean it's AC an actual plane

But if your wooden plane can somehow make it to Europe, collect cargo, and bring it back to your island, what you're doing is definitely not cargo culting.

It might not be actual engineering, maybe you don't understand aerodynamics or how the engine works, and maybe the plane falls apart when it hits the runway on the return flight, but if you got the cargo back you are doing something very different from cargo culting.

That's why copypasta doesn't count as cargo culting. It accomplishes the same task once copied as it did before. It may do so less reliably and less legibly, but it does do what it used to do in its original context.
HPA still requires metrics-server to be up which it’s using to obtain current pod resource usage
I definitely had some muscle for sure, on a fairly large frame. But I could see my ribs and had no belly (then). My point is BMI does not seem valid for tall people, unless perhaps there's something I'm missing.
[Aside: thanks for engaging in a civil manner, really appreciate that]

> Their kids still don't end up as programmers

I can see that there could be racism which prevents upper middle class black kids from becoming programmers. Do you think it's because of SV (metaphor) or because of racism in the pipeline leading to SV? If it's the latter, can SV even do anything about it?
You can favorite comments. (And posts.)
Scripting.Dictionary!
By that definition, humans doing tasks are workflow automation.
Versal Letters
That and it's hard/impossible to monetize, so big corps and VCs are not interested
Florida is the worst of the police states in the nation. Besides seizing money, the police there are well known to routinely seize cars for no good reason. To fix such issues, to truly represent and serve the people, each state must be no bigger than ten million people. By this logic, it should make sense for Florida to split into Northern, Central, and Southern states. The same idea also applies to all the other states exceeding this threshold of population. States in some other countries routinely have such splits or aggregations to better represent the people, and it works. It is also the means of democratic experimentation. I understand that such restructuring will likely never transpire in the US where people don't even think beyond two political parties.
> It is about short-term line item claimable gains. "We got 4 good months out of her...", "they were terminal and now they will be working somewhere better for them...", "he really wasn't closing as many tickets as the rest of the team...", "they weren't helping as many team members as the rest of the team...", "we never needed someone with an advanced degree...", etc.

This resonates with me. The org chart cares about headcount - it doesn't matter to them who fills the count. Only plausible heads who could pass some random interview. The upper bosses don't see you as human, only as chess pieces to move around to fit a narrative.

If the narrative against you shifts to the negative, there are many ways to justify your exit. They don't care if you die, or your children go hungry, or you lose your house or healthcare. What they care about is narratives that justify their own existence in the org chart. They don't even care about the services or products they build. It is just about their own existence. Every other effort be damned.

Reader, now that you are aware that they don't care about anything - and certainly not about you - it is really up to you to secure yourself financially, physically, emotionally and preserve your time. If they come at you with reviews or other BS, you should consider your time is up, safeguard yourself, and sabotage them if you can.

This is fair. Remember that you are playing with the same rules as them. If they can't care about engineering, you sure as hell don't need to. If they care about politics, you sure as hell play it with them.

Take it as a toxic game but secure your life - as far away from corporate toxicity as possible.
The diverse slate Approach'd criteria depended on the role. Ther are some roles where Asians are underrepresented so they'd count in that role. For tech, they're not underrepresented so they don't count towards the DSA.
https://www.nushell.sh/

I use this as my main shell on Windows, and as a supplementary on Mac and Linux.
Author of the article here. As far as I care, if it quacks like a hashmap, it's better to describe it as a hashmap. The fact that it's an associative array under the hood is irrelevant.
i have no idea... all i did was to click in 'Copy Location' on the 3 dots icon ^-^
Sorry if I misled. I'm UK born and bred, grew up an hour from London, and have been living in London for nearly a decade. I've seen the racial divide between private and state schools, and I've seen how the inner city schools split into the good ones in affluent mostly white areas vs the poor ones in struggling ethnic minority areas. There's some in the middle obviously, but there's a definite split. In the former, teachers will advise which Oxbridge college you should apply to. In the latter, teachers will have a strategy for how to respond if someone brings a weapon into class. Black people might technically follow the same syllabus, but the environment is totally different.
You can tell when people don't live somewhere and get their opinion of that place strictly from social media.

Makes you wonder how badly social media is distorting the rest of our lives.
True, but that approach is also limited in what it can autoscale on, namely Utilization metrics. They are not always good data to make scaling decisions on (covered in the article).
> Both men start crying like little boys, and change their stories so many times that the magistrate quickly realizes that they have nothing to do with the stolen painting. Both are soon released.

I would have expected that behavior to make them seem guilty enough to warrant holding them until their stories are thoroughly examined.
https://www.youtube.com/watch?v=ksb3KD6DfSI

Just feed the AI broadcasts from "local" news stations.
What would you like to see?

I’d guess there’s a solution to almost any set of priorities you have for shell scripting.

The domain space is extremely challenging: by default, executing any program on behalf of the caller using arbitrary text inputs, and interpreted.

All modern shells allow calling of literally any binary using the #!/usr/bin/env randombinary incantation.

Upshot: bash has its place, and while some of that place is unearned inertia, much of it is earned and chosen often by experienced technologists.

In my case, if I’m doing a lot of gluing together of text outputs from binaries, bash is my go-to tool. It’s extremely fast and expressive, and roughly 1/4 the length of say python and 1/8 the length of say go.

If I’m doing a lot of logic on text: python. Deploying lots of places/different architectures: go
> No announcement has ever been made about the integration of FATMAP into Strava. The only announcement was that FATMAP would be discontinued.

This isn’t true at all.

The original posts on their own sites are no longer up (though they are likely on archive.org), but you can see from the articles that followed the press release that they were quite explicit about this.

For example on TechCrunch[0]:

> The ultimate long-term goal for Strava is to integrate Fatmap’s core platform into Strava itself, but that will be a resource-intensive endeavor that won’t happen overnight. And that is why Strava is working to create a single sign-on (SSO) integration in the near-term, meaning that subscribers will be able to access the full Fatmap feature-set by logging into the Fatmap app with their Strava credentials.

> While Strava and Fatmap will remain separate products for now, Strava said that it will decide in the future whether Fatmap will live on as a standalone product once the technical integration has taken place.

> CEO and co-founder Michael Horvath, who stepped down in 2013 before returning as head honcho six years later, said that the Fatmap acquisition is part of Strava’s “ongoing investment to provide a best-in-class digital experience” for those seeking an active lifestyle.
“Where other map platforms have been designed for navigating streets and cities, Fatmap built a map designed specifically to help people explore the outdoors,” Horvath told TechCrunch in a Q&A. “We will enable Fatmap technology in all of Strava’s services, empowering anyone to discover and plan an outdoor experience with curated local guides, points of interest and safety information.”

> In terms of timescales, Strava said that it has set up a dedicated team tasked with integrating Fatmap, and it anticipates this to start showing up inside Strava from around mid-2023. The company was also quick to stress that Fatmap’s tech will be available to both free and paid-for Strava members, though certain features relating to maps, discovery and route-planning will be reserved for paying subscribers.

> Strava provided TechCrunch with the following mockup images to give an idea of what Fatmap might look like inside a future incarnation of Strava.

[0] https://techcrunch.com/2023/01/24/strava-acquires-fatmap-a-3...
It's hard to overstate how passionate people were about FATMAP and how crushed they were when it was killed. Putting revenue aside, Strava should have found a way to keep it alive to maintain goodwill.
I'm afraid I'm not sure what you're referring to. For instance, I can build a simple Hello World in Zig using `zig build-exe`, and get a static executable, on which I can use `nm` to confirm that there aren't symbols from any kind of runtime. I can even trivially build the actual Zig compiler to a static binary.

(For context, by the way, I'm on the Zig "core team"; I'm a notable contributor to the project.)
I recently started reading "The Art and Science of Connection" by Kasley Killam, who argues that social health should be considered the equal to physical health and mental health as three essential, interdependent pillars of personal health, and lack of social connections can be as deadly as, say, smoking cigarettes, to the extent that shortens your life.
New York convicted him for his pre-presidential criminal activity documented in paperwork. It has nothing to do with his criminality as president.
> I don't think there will be equivalent alternatives, at least not ones with ultra wideband precision location functionality, availability, acceptable price, and robustness.

Why are you so confidently spreading misinformation? Samsung SmartTag+ exists for years now with this precision and capability for Samsung Android phones.
I did look at the "article", and I've looked at the way the event has been described in other sources. I double checked before I responded to you, too.

In the end, we'll never know why they didn't dump the suitcase in the river.

> > (What mixture of it was conscience, and what mixture was fear of getting caught?)
I watched through some of this. This all seems very wise and well-informed. However the answer given is to spend a lot of energy attempting to work the system in fairly subtle ways to get the outcome you want - that the organization will accept your well-intentioned contributions to their functioning and eventual profit. All it takes is one or two people in the right place that don't share the same goal or are just really not that good to turn that into an exercise in futility.
Be proud of your work.

I was just thinking the other day that all of the code I've written for companies is now dead and gone. I wrote some really elegant, interesting stuff at a few companies and now it's only a memory in my head.

I should've gone into civil engineering.
This is in related to the publication of the package to npm. All of the publications are verified with provenance statements as supported by NPM directly; it's something I believe all NPM packages should be required to use but as of now it's optional; it simply provided verifiable signatures as to what was built and how it was built.

https://docs.npmjs.com/generating-provenance-statements

https://www.npmjs.com/package/dockview#provenance
> yes i am very bias about the topic, and it wouldnt matter to me if it were much cheaper.

So is what the US is doing right now working? Just the in healthcare, the US pays more per person when addressing this problem than anywhere else in the world, and gets nearly the worst result. Isn't that alone worth trying something else?
It's as simple as replacing one NULL character with something else. Or 1 length field.
It's been quite a show! Some nice CMEs, flares, comets and now a big alignment. I feel really blessed to be under clear skies to see these ancient celestial bodies dance across the night sky.
> I doubt Samsung and Google have gone to such lengths with their trackers.

You are wrong and it's trivially verifiable. You can watch this years 38c3 video comparing them or read the nicely public specification.
Prehistorically, as many as 19M acres burned in California [pdf]
Yes, there's one mentioned in the article, STELLA. Here's a paper describing it https://adsabs.harvard.edu/full/1999naos.symp..239K
I doubt this analysis. The base of computing where C++ is used is exponentially larger than the base where COBOL was used. In particular the compilers we currently use are written in it.
They put on me on a team where there is one long term guy who is the only one who knows how the system works. Because of that he gets away with everything because they can't fire him. So my job is to be a backup expert in the system but he fights my progress because he doesn't want to lose his power.
Human 'domainome' reveals root cause of heritable disease
This seems impossibly broad. Realistically an agent would only be able to take tasks for whatever limited domain it can execute on.

So either every approach it does has to be hard coded or it would be able to use a bunch of very generic modules to plan and execute an approach.
Yes, it's something that is planned. Currently some features work with touch inputs but not all of them.

- https://github.com/mathuo/dockview/issues/696
This was so unbelievably disappointing that it was the final straw that caused me to cancel my paid Strava subscription and to delete and stop using the app entirely.

I know plenty of people who’ve done the same, because of one or other wrongheaded decision from Strava.
I don't consider that an equal comparison. Obviously an engineer can never be omniscient and know things nobody else knows either. They can, and should, have an understanding of what they work with based on available state of the art, though.

If the steam engine was invented after those discoveries about steel, I would certainly hope it would be factored into the design (and perhaps used to make those early steam engines less prone to exploding).