skysight-inc/HackerNews huggingface dataset:
This is probably something where it comes down to preference and familiarity. I would much prefer a simple text file for documentation that I can grep, open in my text editor, modify easily without switching context (oh, I should have been more explicit in the documentation I wrote - let me just fix that now), etc. All the features you mentioned "nice interface, fully searchable API interface, whole public API" are exactly what you get if you open a well written header file in any old text editor.

I used to be a big fan of doxygen etc, but for the stuff I've worked on, I've found that "pretty" documentation is way less important than "useful" documentation, and that the reformatting done by these tools tends to lead towards worse documentation with the people I have worked with ("Oh, I need to make sure every function argument has documentation, so I will just reword the name of the argument"). Since moving away from doxygen I have stopped seeing this behaviour from people - I haven't tried to get a really good explanation as to why, but the quality of documentation has definitely improved, and my (unproven) theory is that keeping the presentation as plain as possible means that the focus turns to the content.

I don't know if rust doc suffers the same issues, but the tooling you are mentioning just seems to add an extra step (depending on how you count steps I suppose, you could perhaps say it is the same number of steps...) and provide no obvious benefit to me (and it does provide the obvious downside that it is harder to edit documentation when you are reading it in the form you are suggesting).

But with all these things, different projects and teams and problem domains will probably tend towards having things that work better or worse.
Wait, I thought every pornsite already had age verification, that modal that pops up and says "are you sure you are over 18?"
We ended up not publishing it as a library model just because it was leaked and not the official weights.
I believe that's similar to the idea behind https://github.com/facebookresearch/blt
Insurance does whatever it can to avoid paying and having an attorney represent you is almost a matter of course.

But please continue theorizing that this zero effort google search you went in to knowing nothing about is instead evidence for a world in which there is a large market for attorneys forcing payment by cyclists causing significant damages.

Next, have your last word because this conversation appears completely disingenuous and I will not be continuing it.
Oh man, I've got some egg on my face for this one. I actually have a guitar cabinet that has a special geometry that disperses the sound in an area instead of directionally like guitar speakers normally do, which I bought explicitly for that purpose! Despite this, I still said what I had said, a couple posts up. How embarrassing.
Show HN: Gh extension to convert a Git tag to hashes and vice versa
I’m with parent - what if you don’t have the tool? What if there’s a syntax error in some implementation or dependency such that the tool chokes early?

Human readable headers are accessible out of context if the implementation. They also help provide a clear abstraction - this is the contract. This is what I support as of this version. (And hopefully with appropriate annotations across versions)
It's probably more a reference to The Cannonball Run film[1], which the designer of Out Run mentioned[2] inspired the original game.

[1] https://en.wikipedia.org/wiki/The_Cannonball_Run

[2] https://en.wikipedia.org/wiki/Out_Run#Development
>it's hard to take anything you say seriously when you're committing such a huge category error with socialism.

>socialism is publicly-owned houses [...]

>what you're demonising is incompetent Keynesianism.

None of that is incompatible with the parent comment, which only said that "leftists and socialists, believe that the 2008 Great Financial Crisis was caused by greedy US banks [...]". It didn't even describe what a socialist system would look like.
So, it's the tool's fault that the user chose it, and it's the tool's fault the user never learned how it works?

This is like taking a hike up a rocky hill because the trailhead had a smooth path, later tripping over a rock, and then blaming the rock.

I'd redefine the Makefile (or YAML, Bash, etc) effect as:

Tools that are easy enough that people try to use them
without learning how they work first, and hard enough that
people later blame the tool when they crash into their
own ignorance.
Tbf have you read most of the academic papers on LLMs lately? It's all a lot of boilerplate academic language packaging around "we tried prompting it this way and it did good things". Tho yes I do appreciate some scientific prudence.
That's all fascinating, and I've done security assessments of about a dozen SAML implementations (don't do SAML) and have built several OIDC SSO implementations (whatever I'm fine with OIDC), but none of this has anything to do with product pricing.
Yah, France as well. My boss was at 30h / week.
I love headers but I wish you could split them in two so that private functions and variables can line in the c file. This would help reduce a lot of header bloat as well.
They're begat, not built. We have no means to create humans in a lab the way we create robots.
> This reinforce the idea that there is no real strategic advantage in owning a model

For these models probably no. But for proprietary things that are mission critical and purpose-built (think Adobe Creative Suite) the calculus is very different.

MS, Google, Amazon all win from infra for open source models. I have no idea what game Meta is playing
Our genes are programmed for growth, growth gets out of control, leading to our death
Well, all that remains of the alamo is the chapel and a residential unit.

It was originally a quickly fortified missionary complex which is a large plaza surrounded by walls.
I'm in the same boat as the GP, and while I'm clearly also not the customer, that's not necessarily reflective of how much money is being forgone by missing out on my business. Oh well, their loss and the competition's gain.
The party of small government wants to control what you browse. Your browser, my choice.
What are you talking about? I see clipped histograms come out of cameras all the time. I’ve been working with digital images and digital photo manipulation for thirty years.

Regardless, it’s not generative AI making up details. The differentiated pixels are there in the camera jpeg even if traditional image processing techniques have to be used to make them visible onscreen. The complete structure of the feathers that isn’t visible in the camera jpeg, for example, is plainly visible just modifying the contrast.
That can mean any number of things. A lot of people move to LA to "make it" with no plan B, they didn't have a plan B where they came from either.

California has 30% of the US homeless population, but 11% of it's total population. It is dramatically disproportional, period.

https://shou.senate.ca.gov/sites/shou.senate.ca.gov/files/Ho...
Sure, enforcing invariants is a good thing to do right off the bat. But not "does this code do what it says on the tin?" kinds of tests. Those are better run gradually, at the (current) developer's behest (and most certainly, not blocking compilation).
>
The effect is pretty mild and the effect usually only happens when I'm in bed and drifting off towards sleep. A few minutes before I'm fully out, while I can still hear and see everything going on around me, I'll start to dream. The dream can be either vivid or fuzzy, but it plays out in just the same manner as when I'm asleep, just kind of superimposed upon my normal waking senses

I absolutely don't have narcolepsy - quite the opposite, I tend towards insomnia unless I practice fairly strict sleep hygiene. But, this "symptom" is a common and enjoyable part of falling asleep to me. I think it's common for a lot of people, near sleep, to have a dreamlike state, and it's possible to make interesting connections that you wouldn't make while awake. Often, but far from always, nonsensical. Sometimes deeply meaningful. I've solved maths equations that I was stuck in this state, or rather, I've seen the final connection I was missing to be able to solve it. Salvador Dali was famous for using this technique to come up with ideas, taking a nap while holding something that would fall from his hand and wake him to aid in remembering the connections.

Far, far be it from me to tell someone that what they experience as a symptom of a disease isn't. But I don't think that this particular symptom is abnormal, or only experienced by narcoleptics, and I do think there's a risk for the sufferers of any disease, to attribute many of the weird, sometimes confusing parts of simply being a haphazardly evolved animal created by evolutionary pressure as aspects of their disease. As a migraine sufferer, I do that too with any headache or weird aura effect. But sometimes a headache is just a headache. Sometimes a dreamlike state is just a dreamlike state.
Company behind incorrect evacuation alerts in LA says it added new safeguards
Your premise is flawed because if AI is good enough to replace technical people, then it is also good enough to replace non-technical MBA types. So non-technicals don't have any skill monopoly.

You are also implying that technical is easier than non-technical, which I don't think is true.

Previously the cliche has been that a technical person can learn the non-technical skills, but that vice versa is not so true.
Yeah, if you answer calls from random numbers something unsettling usually happens like some Indian guy yelling at me about how the IRS wants their money and the cops are on the way to my house (punchline: he can make it stop if I give him my bank account information). Unfortunately, it works on the kind of people who answer phone calls.
Personally, I'm happy to just let a Sufficiently Advanced Compiler do link time optimizations to deal with that level of optimization and either take the hit, or make more things public while that compiler doesn't exist.

Let the header files be written for people to read first, and only if there is actually a big performance issue, and the problem is the interface do you need to revisit it (and I'm not just saying this - I will frequently and happily go back and modify interfaces to allow for less data movement etc, but most of the time it really isn't important).

I think you are probably right to disagree with me though - I think I should have said that it is more of a limitation on how object files work, rather than how machines work. Object files aren't the only way things can work.
The dynamic, wave-like model of aging aligns with the concept of quasi-programmed aging, which suggests that aging is not merely the result of accumulated damage, as proposed by the wear-and-tear model. Instead, aging reflects the unintended continuation of biological programs that were originally optimized for growth, development, and reproduction. These programs, including pathways such as mTOR, become dysregulated over time, driving aging and the onset of age-related diseases.
Your list isn't rendered as a list
AirTags and an iPhone 11 or newer should exactly solve this for you. Lets you locate AirTags to within a foot.

Rather than using Bluetooth connection strength, it uses Ultra Wideband for precision location. This works on time-flight using the speed of light delay like GPS. When you open the Find My app it very quickly knows the exact distance to the AirTag, and then as you walk around it uses your observed change in position to determine the exact direction the AirTag is from you.

It's really cool tech! You need to use the "Find" feature in the Find My app and not the "Play Sound" feature. And it requires an iPhone 11+ with an H1 Ultra Wideband chip in it. Cost is probably on-par with setting up various bluetooth boards around the house, and way more accurate. Though not as much hackery fun.

https://en.wikipedia.org/wiki/Ultra-wideband#Real-time_locat...
> Designing the interface separately from the implementation feels good to me

would you make the same argument for java then?
USPS website's banner alerts are simply someone un/commenting the HTML
this is required for writing generic code when the function may return different types
Jensen Huang claims Nvidia's AI chips are outpacing Moore's Law
They aren’t that good. It’s mostly well rounded now, but on nacOS it’s often impossible to select parts of code sections.
I agree with you. I've never lived in SV, and after interacting with a lot of folks in the bay, I'd prefer to never live there. It's seems like a weird Twilight Zone place where everyone is a business contact and nobody is just a friend. Even the concept of "intimacy" can be tacitly warped around that social framework.
> You keep referring to people who like cities that function as cities as "misery pushers"

That's an apt description.

> in the same breath doing as much as you can to create an association between increased density and all these hypothetical negative possibilities.

Why are they hypothetical? Density has long been associated with worse outcomes (higher crime, etc.). I can provide plenty of citations to scholarly literature.

> Like how does it happen that you lived in no specific place in Europe for example, then to where you are now

I grew up in Russia (Izhevsk), moved to Germany (Karlsruhe), then to Ukraine (Kyiv), and (briefly) to the Netherlands before coming to the US. I did not have a car in any of these places.

> and one thing gets built which convinces you that actually every city in Europe is and has always been wrong.

Yes. I'm able to compare the life in the US and in Europe first-hand. And Europe has plenty of dark secrets of its own. For example, Copenhagen in Denmark became the world's most liveable city by ruthlessly controlling its population. It still has not reached its peak number in 1970-s. Bet you didn't know that?

> Your chart shows two lines that seem to represent sales of something over time in nearby cities, which may or may not be relevant, but are at most a narrow slice of what one would need to look at in order to understand what's going on over in Minneapolis if anything.

I have real estate data with street-level information. It's not a public dataset, so I'm replicating my results using public datasets.

> You then create a strawman who thinks the removal of zoning restrictions will automatically lead to a utopia

No. I'm saying that removal of zoning limits to allow increased density does NOT lead to lower prices. It leads to increased density and increased misery as a result.

Minneapolis is simply a good example of this. There is another very good one: Seattle (where I live now). It increased its density by 25% over the last 12 years, many times leading the nation in the number of active construction cranes. The result? Faster price growth than even in SF.
Let him destroy Wordpress with his antics. Something better will emerge and it’ll not have this man-child at the helm.
> These kinds of build-failing tests are great for your "I think I'm finished now" build, but not for your "I'm in the middle of something" builds

i tend to disagree.

If you tried to express some thought but the compile time tests tells you you're wrong, you might actually just have an incomplete thought, or have not thought through all of the consequences of said expression.

It's basically what type-checking is in haskell - you cannot compile a program that does not type-check correctly. This forces you as a programmer, to always, and only, express complete thoughts. Incomplete, or contradictory thoughts cannot be expressed.

This should, in theory, lead to programs that are more well thought out. It also makes the program harder to write, because it forces the programmer to discover corners of their program for which they "know" isn't valid but don't care.
The plan of "don't build a major industrial centre 5km from the best site for optical astronomy in the world, build it somewhere else" seems like a perfect viable one to me.
Your first model works for some products/industries doesn’t work with others where second model works better. Generally, medium/large businesses have long, drawn out processes for buying things coupled with politics and limited pool of folks with purchasing power so your first model will almost never work if you’re selling to those
If your in several states they'll ask for a picture of your ID now.
The new ATV remotes support semi-precise location finding. Not as precise as AirTag and UWB, but the Find My app will tell you as your get closer to your ATV remote. I'm assuming it just makes use of Bluetooth connection strength. Sadly only the most recent remotes seem to support this.
Its an interesting point. I haven't even read the article yet, but have been reading the comments. Maybe they were the star of the show all along.
>> We're living through the most anomalously prosperous period

This. It's hard to make predictions precisely because the rate of change has been so rapid.

What is interesting to note though is the varied societal responses to the changes over the last 70 years or so. The US embraced materialism with some reluctant social movement (womens rights, civil rights etc). Europe embraced Socialism (in the sense of Social support, not Communism), the Middle East embraced materialism, but eschewed any form of social development (eg women's rights et al).

Right now we're in a bit of a rebound phase. Change has come too quickly (especially the last 40 years) so we're seeing pushback on rights (in the US) on social support (in Europe) and a general political swing to the right in lots of places.

There's a "looking back" element which seeks to slow found societal change even as technology accelerates.

Predicting what comes next is, well, tricky. But I expect in my lifetime to see global population maximum. I expect to see significant climate change. Both of those will be huge disruptions, and the knock-on effects could be anything
Nice. Reminds me of https://tweek.so/
The notion of a proof and verification of a real-life software are almost completely disjoint.

Of course, if you are interesting in proving statement about abstractly defined constructs: infinity is no issue as your domain is uniform. In real-life, this is not the case.
I don't think anyone buys a Mustang due to the brand...I mean it's a Ford.

Mustangs have a 4 second 0-60 and great handling (if you know what you're doing, they rival cars 3X the price on the famous tracks of the world).

Don't really get the comparison to a used EV - I guess you're right about straight line speed, but a used EV is pretty sketchy due to battery longevity and crappy reliability from the brands that can actually achieve this straight line speed.

For someone buying new, there isn't much left with comparable performance, considering the camaro no longer exists. Maybe the Nissan Z or the Supra, but those have had crazy dealer markups. If you know such a car in the 40-60k range, I'd love to know!
You can't have food that is at the same time cheap, healthy and at your doorstep. You can have two of them. Walmart gets you cheap and nearby. If you want healthy and nearby, go to Whole Foods and be prepared to stretch your wallet. Not everyone can afford it though.
Vinted Search Scaling Chapter 9: Billion-Scale Search
Perhaps you could simplify the terrain data at lower zoom? That's what we've done with route style geocorridor POIs to avoid thousands of points.

https://postgis.net/docs/ST_Simplify.html
Most people live in cities [0] and requires ~2,000 k/cal a day. The systems required to feed people are complex and energy demanding. There are 8 billion humans which is a large number relative to the amount of food we can store.

It is a matter of time until we have a multi-billion person famine. Hopefully multiple centuries away if the transition away from oil to something else works out. Something like the year without summer [1] could be even more catastrophic, for example. Or wars, particularly of the nuclear variety.

[0] https://en.wikipedia.org/wiki/Urbanization

[1] https://en.wikipedia.org/wiki/Year_Without_a_Summer
Probably also CGNAT, and tunnelling instead of directly exposing your servers.
Honestly, my first response to this whole fiasco was "people still use WordPress?" It turns out to still be very popular despite HTML infrastructure subsuming many features that WordPress used to offer (on one side) and competing platforms being just better for things like blogging/writing.
No one is going to trash talk their company on LinkedIn, that’s just a quick way to being unemployable. I’m just talking about techies anyways, and the grumbling I hear in social conversations.

It is difficult to get tech workers making > $200k/year to unionize. At that point, it’s more grumbling about first world problems than about oppressive working conditions (yes, working from home is better, but no, RTO isn’t some sort of unreasonable request for the compensation involved, but people will still complain of course).
Not sure this would be affected:

The Vera Rubin scope, which cost $600+ million, will see first light this July. It's capable of creating a map of the entire available sky every few days. Containing 40B objects, several times more than all previous sky surveys combined.

Half of those images are already threatened by constellations of comm satellites. Another concern is spy satellite imaging. https://archive.is/RzCNI#selection-779.4-779.14

So what compels AES, a US power company, to build a facility there, in all the world ... which would pump out that much pollution?