skysight-inc/HackerNews huggingface dataset:
It would be pretty weird for aphantasia to have something to do with it, it's pretty much using the same technique one can use for cheap 3D effect with 2 videos from cameras slightly apart, it has everything to do with our bifocal abilities and not much else as far as I can tell.
I know modern compilers do it, too. But still the language needs to be fixed. The proof is C programmers still get victimized by this useless feature.

Compiler warnings are a good source of material for things that need to be fixed in the language. Unfortunately, every compiler has their own set of warnings, and sometimes warnings from different compilers contradict each other. That encourages programmers to not use the warning feature. That's another reason why the language should be fixed.
One of the myriad reasons why Common Lisp is far superior to Clojure is the ability to

(declare (type Integer m))
No, it's equal outcones, or worse, turn the tables. Racist hiring aka affirmative action illustrates this.
Dimensional Reduction and Topological Recovery from Neuronal Spike Data
Original paper: https://winnieyangwannan.github.io/RippleTagging/Paper/
The whole idea of OTel is not to be a moat.

It's the exact opposite.

I can export traces (or metrics or logs) to whatever backend I want, and change easily.
> Each new layer of complexity fed my developer ego.

I'm unable to understand this mindset. All the time I read things like "Developers love complexity because it feeds their egos" but I've never encountered a situation in which added complexity made me more proud of the work. Just the opposite: being able to do more made me more proud of the work I put in, and complexity was the price I paid for that ability. The greatest hacks, the ones that etch people's names into history, are the ones -- like Unix and the Doom engine -- that achieve phenomenal feats with very little code and/or extreme parsimony of design. This is no more true than in that famous ego-stroking/dick-measuring contest of programming, the demoscene. My favorite example being the 4k demo Omniscent: https://www.youtube.com/watch?v=G1Q9LtnnE4w

Being able to stand up a 100-node K8s cluster to provide a basic web service, connected to a React SPA front end to provide all the functionality of a Delphi program from the 90s doesn't stroke the ego of any programmer I know of; but it might stroke their manager's ego because it gives them an opportunity to empire-build and requisition a larger budget next year.
> I've died on that hill.

But I'm feeling much better.
DD was just easier to use for everybody, has lots of useful baked-in things we liked to use (apdex scores), and was intuitive enough that non-devs could design their own dashboards. We also found it way easier to collect metrics, traces, and other things.

FWIW none of these things are insurmountable and I suspect you'll eventually reach parity. Datadog lost our business for two reasons 1) Lack of billing transparency and 2) an incompetent account rep who managed to piss off our finance department while also embarrassing our CTO. And to be clear, while we aren't a "whale" our spend was over $6M/yr with Datadog - and the CTO along with the rest of eng leadership were all huge DD fanboys and yet they still managed to burn that bridge to the point where we'll never go back.
Many decades ago, during my time as a NASA Space Shuttle engineer, a co-worker couldn't locate a rogue unbalanced parenthesis in a complex program listing, in the days when computers, instead of identifying a particular syntax error, would print lame error messages like "Something went wrong." Worse, we wrote programs by punching 80-column cards -- no syntax highlighting, no color monitors.

My co-worker printed two paper listings, one with the error, one without, and asked me to count parentheses as he was doing, over a dozen pages. But because I knew this "superpower" trick, I laid out pairs of pages and crossed my eyes. A few seconds later I found and circled the error.

"Ta-daa!" I said. He never forgave me.
Fifty years ago Montreal was the business centre of Canada, now that’s Toronto. That $800 rate might actually be more affordable in a less business oriented city, or even Montreal itself since it’s seen a lot of decline in that time. Having said that, there’s zero debate rents are out of control. I own a triplex and every time a unit turns over and i do my research on rent i get a bit shocked. I’ve found myself legitimately concerned how someone can ask for full “market” rate when i know it’s simply not affordable.
Technically yes, but the poster also listed “parenting” practices not having an effect so I think we all know what he means.
I came to the opposite conclusion for the following reasons:

1. IEx provides a robust and interactive debugging environment that allows me to dig into whatever I want, even when running in production. I've never lost state in IEx, but that happens fairly often in CIDER and nREPL.

2. IEx uses Elixir's compilation model, which is a lot faster than CIDER and nREPL, leading to faster debugging cycles.

3. IEx is tightly integrated with Elixir whereas Clojure's tools are more fragmented.

4. IEx doesn't carry the overhead of additional middleware that CIDER and nREPL do.

I'm also not a fan of JVM deployments, so I've migrated all my code away from Clojure to Elixir during the past 10 years.
They said heritability. They meant genetics.
Undaunted Courage by Stephen Ambrose. The tale of Lewis and Clark as told largely from Lewis' journal from the journey.
You can also cross your eyes the other way and make the pattern in a MagicEye pop the other way (in vs out, or vice versa)
Battle Royale was a novel before it was a movie, and it's a much better novel than movie.
> Moravec hypothesized around his paradox, that the reason for the paradox [that things we perceive as easy b/c we dont think about them are actually hard] could be due to the sensor & motor portion of the human brain having had billions of years of experience and natural selection to fine-tune it, while abstract thoughts have had maybe 100 thousand years or less

Another gem!
Yeah, this was my general impression after a brief, disastrous stretch in robotics after my PhD. Hell, I work in animation now, which is a way easier problem since there are no physical constraints, and we still can’t solve a lot of the problems the OP brings up.

Even stuff like using video misses the point, because so much of our experience is via touch.
> Generative art tools are a lot of fun to try out but the lack of fine-grained control over the output greatly limits its utility outside of personal amusement or generating slop.

This take surprises.

Generative AI images and music are already amazing for a variety of practical and commercial use-cases. Video isn't quite there yet, but I think it's just a matter of time.

With images specifically, I use Midjourney all the time for illustrations for articles. I'm using it to create assets for a game I'm making, too. In both cases it's saving me tons of time, and improving my creations, because there's no way in hell I would've created this art (nor paid anyone to do it for me) beforehand. The AI features in Canva are great for creating illustrations for presentations, cards, infographics, etc., that are perfect for what you're trying to go for. I'm also using ElevenLabs to create sound effects for my game, which is incredibly fun. And I've heard some AI music that's truly impressed me.
LA is on fire because of many years of forestry mismanagement.
A great book on failure is "Riding the Runaway Horse," about the rise and fall of Wang Computers.

A cautionary tale about hubris and nepotism.

https://www.amazon.com/Riding-Runaway-Horse-Decline-Laborato...

It is a real shame that more books aren't written about failures, since that's supposedly where all the learning happens.
With static types, I don't have the use the repl at all, I can simply hover over it in my editor.
Harvard Law Asian admissions are up 30% 2023 to 2024. Maybe a sign the situation is improving.
Because the alternative was also abuse. Forced shock therapy. Lobotomizing children. Court ordered sterilization.

At least in the US, it's basically seen now as a violation of due process to be imprisoned like that without committing any crime. Psychiatric services are on offer, but can be refused.
To get an overview of what all are involved in "Formal Methods" see Understanding Formal Methods by Jean-Francois Monin. The book gives an overview of both the various mathematical models and some of the tools implementing them. There is a lot here and it may seem haphazard but that is only because we haven't yet grasped the "full picture". I have been reading this for a while but still have a long way to go.

A four-part TLA+ in Practice and Theory by user "pron" - https://pron.github.io/posts/tlaplus_part1
Adobe just stealth-released a game-changing AI app for VFX
I also want to believe AI hype is being fueled just by grifters and not an accelerationist messiah cult (and also grifters.) But they do seem really committed to the bit.
I think it's deeper than bicycles. They never went to college or university (though their sister did), but they were extremely well read and researched everything they did. Their first business was a weekly newspaper and printing press. They built the press from scratch using scavenged materials, and they wrote most of the newspaper articles themselves. They sold advertising and set the type. When they went into bicycles they were again the entire staff. They sold to customers, repaired bicycles, and manufactured their own model of bicycle right in the back room of their shop. And now they were the ones making up advertising slogans and buying space in the papers.

They were raised with the understanding that they could learn anything, build anything, discover anything that they set their mind to. And once they had set their minds on flight it was only a matter of time.
In Canada I am going to threaten changing to starlink the when my new telus fibre comes up for renewal and they inevitably want to double the price, and also I would be pleased to never have to use Rogers again
Agreed. And I personally prefer living in an area with tornados over wild fires or hurricanes. That's one of the reasons why I stay in Missouri and would never move to southern California, Florida or the Texas coast.
Except, in the Cygwin ecosystem, it doesn't look as if you can do that. All the "crt" stuff for setting up the executable environment is built around regular main.

Luckily, I maintain a fork of the Cygwin DLL for my project called Cygnal, where I can make improvements. The focus has not been security up to now, but rather restoring some "native like" behaviors in the Cygwin run-time that are "too POSIXy" for native Windows users.

I could hack the CRT stuff in the Cygnal fork to avoid pitfalls in producing the main() arguments.

At the moment, I only looked at this issue fairly superficially, so I don't have a full picture of how what piece are doing exactly what in this area.
Software Engineers: Do No Harm
I wonder if this would be a legitimate form of code diff visualization with VR glasses, just show the A and B for each eye
That's the focus in front right?

What's the beyond?
In our current, over-regulated market: yes absolutely. In a healthy market, cost of low-end housing should approach the cost of labor + raw material (plus necessary overhead for e.g. inspections, plus a reasonable risk-adjusted return on construction). Cost of materials/labor simply slides/scales with additional stories / more difficult terrain.

Land/space, while not an infinite resource, is hardly limited on the scale necessary to house people outside of extremely small niches. Views of central park are always going to be expensive, but there are a lot of square miles <45minutes to times square where someone would very profitably build and run (e.g.) an SRO if they were allowed to.
A glowing ring of metal fell to Earth, and no one has any idea what it is
They make up for it with the $1.50 hotdog and drink combo.
Anonymization is probably an under tried idea. Various orchestras switched to blind auditions and significantly increased the number of women they hired.
Also years for both for me (I probably read and watched them in 2003), but your impression of the two is the exact same as mine.
https://github.com/getgrit/gritql is the best large-scale codemod / refactoring tool I've ever used.
Here in Brazil voting is mandatory, but indeed, you can vote for no one. In fact, there are two ways to do so, interestingly enough: you can cast a "blank vote", literally just not picking anyone, or a "null vote", where you input a candidate that doesn't actually exist.

In my view that's the ideal setup. Turnouts is always very high, even though the fine for not voting is laughably small (3.51 reais, literally less than a dollar). Good example of the power of defaults.
Ask HN: WiFi Congestion?
Im at my wits end here. Wifi on my windows 11 laptop disconnects randomly, if! i use it a lot(?)
for example, if i have a youtube video playing while coding, have an ftp connection open, am backing up some files to wasabi, and open one or two or or three tabs in a browser.... bam! it goes down.
this was just an example, not exact scenario. sometimes less connections, sometimes more.

I have tried changing a bunch of settings on the wifi driver/card, and i have changed dns servers etc etc.

Is this a thing? or am i going crazy?
Meta's Chief Diversity Officer Demoted
Likely only a handful of people care, but Sentry hasn't been open source in quite a while https://github.com/getsentry/sentry/blob/24.12.1/LICENSE.md (I'd have to do tag-spelunking to find the last Apache 2 version)

Glitchtip is the Sentry compatible open source (MIT) one https://gitlab.com/glitchtip/glitchtip-backend/-/blob/v4.2.2... with the extra advantage that it doesn't require like 12 containers to deploy (e.g. https://github.com/getsentry/self-hosted/blob/24.12.1/docker... )
block access with Tiananmen Square date. google it and read up, might help
Pulling back from that foundation, sure, but starting his own org from scratch with no experience, and puts his 3 weird kids in charge? That's ludicrous.
I debated writing an app in ColdFusion (well OpenBluedragon or Railo or something) about a year ago, partly out of curiosity to how well it holds up, but mostly out of sentimentality for the language. I had a bit of trouble getting started, and eventually the project morphed less into web and more into data-processing so I ended up using Java, but I still occasionally get the urge to write using a “dead” language.
You'd do better to point out which distinction you think the parent poster is missing.

My guess is that Prometheus cannot do distributed tracing, while OpenTelemetry can. Is that what you meant?
Don't commit the crime if you can't handle it. It's a punishment.
I thought monopolies were bad for capitalism?
Yeah, I think this is a big factor. I only know maybe 1 or 2 people who had been committed. They definitely have multiple commitments though. That seems to make sense as it's similar to some other medical issues where once you have one problem there can be second admissions if it's unresolved or encounter secondary issues.
>>> there's a huge amount of available land to develop in either direction

You are missing the point. Its not how much land there is, or there isn't. Its what regulations will prevent you from building anything.

Contrast what's happened in the last 2 decades in Austin, TX vs Boise, ID for example. Both cities with huge amounts of land available. Both cities attracted major migration. Yet, only one of the 2 has very little building code preventing things from being built. Boise rents for a single family house (2 bed 2 bath) went from $500 per month in 1995 to ~$3100 in 2022, for example.
(2pi * (n + 1)) - (2pi * n)

-> 2pi * (n + 1 - n)

-> 2pi * 1

-> 2pi

If I remember my algebra correctly. Someone else check my work I'm a dropout
I wanted to point out that the approach adopted by Finland may not be suitable for the United States. Finland has a population of only 5.6 million—less than two-thirds of the Bay Area—so their solutions, unfortunately, may not scale effectively in a larger, more complex environment.

The other - even more important issue with all these approaches, however, lies in treating all homeless individuals as a single category. This is a common flaw in most homelessness strategies. In reality, there are at least 5 to 10 broad categories—such as former convicts, individuals with substance abuse issues, those with mental health challenges, people who lost jobs or income, refugees, and more. Each of these groups requires a unique approach tailored to their specific circumstances. A one-size-fits-all solution simply doesn’t work.

That said, simplifying the issue makes for great marketing, which is why we often see oversimplified strategies being proposed and success reported (as in this report).

Unfortunately, this also means we’re unlikely to solve the homelessness crisis in the U.S. anytime soon.
If you have to force something, it is. And it's being forced. If we made more white play in the NBA it might seem clearer.
"Finland has the highest rates of detention per 100 000 inhabitants, about 214 compared with 93 in the UK ..."

Wow those numbers seem high if they're counting unique people and not admissions and re-admisisons.
The Physicist Decoding the Nonbinary Nature of the Subatomic World
This is the first I've heard of twinBASIC. I'm happy to see it on the dev tools scene.
Yes, Remobjects makes some nice tools. I absolutely adore their Oxygene language.
This requires us to trust what comes out of his mouth. If folk are still doing that after all this time, I've got a mighty large bridge you'd likely be interested in purchasing.
Application Error

TypeError: m(...).findLast is not a function

at L (https://unsloth.ai/assets/root-DexjOeLv.js:1:340)

at ia (https://unsloth.ai/assets/components-D38fXVcE.js:7:30549)

at Ac (https://unsloth.ai/assets/components-D38fXVcE.js:7:98661)

at Am (https://unsloth.ai/assets/components-D38fXVcE.js:7:94250)

at o0 (https://unsloth.ai/assets/components-D38fXVcE.js:7:93401)

at ha (https://unsloth.ai/assets/components-D38fXVcE.js:7:93212)

at Mm (https://unsloth.ai/assets/components-D38fXVcE.js:7:90555)

at Om (https://unsloth.ai/assets/components-D38fXVcE.js:7:89963)

at MessagePort.M (https://unsloth.ai/assets/components-D38fXVcE.js:1:11235
A few years ago I worked for a company obsessed with DEI. But, as a 40+, I knew their DEI programs where complete BS because they forgot the most important protected group: old people!

At this company we had plenty of groups for Muslims, blacks, Jews, Asians, etc, but I was one of the only people over 40.

People would laugh when I mentioned that we needed a DEI group for people over 40... but I wasn't entirely kidding. It's frankly bizarre that you can have 1000+ employees and only 2-3 are over 40!? I had worked in industries prior where the median age was > 40 and it did sincerely shock me that a publicly traded company would have almost 0 people in that age range.

The funny part is that while I will not ever be black, everyone of my younger coworkers (baring serious tragedy) will be in the 40+ protected group. So in theory, if anyone cares at all about DEI in a sincere way, they should care about people who are 40+ because they will be there.

So while we celebrated Ramadan with multiple company activities, there wasn't much respect for "I have to leave a bit early to pick up my teenage kid from my ex-wife's place".
I can’t tell if this is crazy or brilliant. Math has been working diligently for a long time to reduce the axioms. Most of the obvious Gödel sentences are stupid things like there is a number that is the proof of itself. The whole project is to derive all of the structure of mathematics, with a high information complexity, from basic axioms but also from comp,ex definitions. I think the definitions (natural numbers as sets, integers as equivalence sets of pairs of natural numbers, etc.) pump up the information complexity from the axioms. Like the initial state of Life allowing arbitrary computation from the simple Life rules.

The idea that there might be more axioms that would let one deduce more about computable complexity classes or the like seems pretty unlikely.

The number of provable statements and unprovable statements is countably infinite and we aren’t lacking the ability to prove things due to obviously true missing axioms.
Brevity informs diction.
Tetlock's research tended to focus on very specific, falsifiable True/False questions rather than open-ended questions with predicted quantities in them.

A good Tetlock question might be: "Will ChatGPT-5 be released in 2025?"

But not: "Will we see AGI in 2025?" (too non-specific on what AGI is)

Even this one is iffy: "Will OpenAI's valuation increase by at least 50% in 2025?" (because there's a number in the statement)

Once you have a binary question, superforecasters can then start doing Fermi estimation to find bounds, and then initializing and updating Bayesian priors based on new information and continuous research. The answers are typically of the form, "Yes, with a 76.2% probability."

So "superforecasters" are prediction specialists on a narrowly defined scope, but they are not prophets. The kinds of predictions that they make don't make for fun, entertaining reading.
The context was that immigration was being encouraged, while not having enough housing. Immigration being used to fuel growth.

Housing the people is great, but encouraging immigration while being unable to house the current population is not.
The codenames are supposedly from real places because you can't trademark geographic names.
Why would they not scale? We have more people, more capacity to build, and greater opportunities for economies of scale.

Every homeless person, regardless of mental state, still needs housing. It is the one unifying aspect of homelessness.
This is the issue that is top of mind for me at the moment. If you're frustrated by political polarization, this is one of the root causes! I'm very eager to hear any ideas on steps we can take to systematically reverse this damage to society.
> they were pretty much wiped out by largely white colonizers. This isn’t a political statement, it’s just a matter of fact.

And if were to say "...but those colonizers are no longer alive, and neither are their children.", is that not also a fact?

Or is my wording a political statement but yours is not?

I don't know that we can be so uneven in our evaluation.
MessagePack: It's like JSON, but fast and small.
Average people will feel the strain. And? The one party in this situation that can't ignore externalities and risk is the insurer. If the place you're building a house is so dangerous no insurer will underwrite it, maybe you should be a millionaire to build a house there.
In theory they try to get people hired for their competence rather than their network. A widely-cited anecdotal example of this reportedly working well is the Rooney Rule: https://www.espn.com/nfl/playoffs06/news/story?id=2750645

This thread also has a lot of anecdotal examples of failure modes of 'diverse slate' rules, though, such as people who have already decided who to hire still interviewing women candidates just to appease the rule, thus wasting everyone's time.
In this case, you aren't directing your eyes, but instead looking through the object. Start with your finger about 6-8 inches from your face, and look at your screen. You'll see two fingers. Now try to look past your screen. The farther you are from the object the harder it is.
The sense I get is that those on the far right are worse than those on the far left, but those on the moderate left are much worse than those on the moderate right, to the point of being nearly insufferable.
Yep master never made any sense