skysight-inc/HackerNews huggingface dataset:
> But linting and config validation are very different use cases. At a previous company I had test that loaded a set of configs from repo and made sure all of them were valid with app level logic.

Understandably so, especially when you might need, say, an AWS permission to actually validate a config (or are there other distinctions between the two that I'm not thinking of?)

I wasn't previously aware of treesitter, but it definitely looks like the type of thing we eventually want to do!

One of the things we currently do is run our own daemon and LSP proxy, so that we can share functionality between the CLI version of our tool and the VSCode extension. Right now we treat most linters as CLI black boxes, but we're looking at moving to treat more of them as LSP servers (we currently do this with eslint, but don't yet with ones like clangd or tflint).

And there is indeed more that we're building out! The other product that we're actively prototyping (and dogfooding) is our merge queue: https://trunk.io/products/merge.

Long-term, the vision for Trunk is to make development overall a more seamless experience, by actually tying together the various disparate tools that solve individual problems that we run into.
https://projecteuclid.org/JournalArticle/PreviewFirstPage?ur... hier is the same advertisment made in print. It also disavowals any family relations. "Zwischenden beiden Verlagen gibt es keine verwandtschaftliche Verbindungen."
Tesla also makes components like seats internally.

A lot of companies just outsource that and lose out on the profits, it is one of the reasons tesla has such high margins.
Betaflight. iNav. Ardupilot. Lots more: https://blog.dronetrest.com/flight-controller-firmware/
Capitalism is very good at allocating capital and as a result innovating to increase the "ceiling" of the human experience.

Capitalism is very bad at increasing the "floor" of the human experience. Almost by definition, there is some threshold, X% of the population, where the marginal reward is no longer worth the effort (in lay terms - its not "worth it" to R&D and innovate to build amazing and cheap products for poor people). Trickle down economics typically doesn't happen[0]. This band typically is the target and victim of rent seeking - i.e. stagnation with a higher long-term price than innovation. Historically, Capitalism has always just exploited the floor through rent seeking until that "floor" dies a few decades later, then continues to exploit the new "floor".

UBI is a focus on improving that "floor" of the human experience (different than other government programs by reducing stigma and increasing guarantees).

If you can think of it, I would love to hear about a way to incentivize Capitalism to increase the "floor" of the human experience. If you want more capitalism, we need to figure out how do we incentivize more "Altruistic Capitalism" (maybe a different name?). There are some companies kinda starting to do this, I've heard them called "For Purpose Capitalism"/"For Purpose Companies" e.g. Tom's shoes, etc.

[0] https://usafacts.org/articles/internet-access-students-at-ho.... and this is in the USA in-spite of charity, government subsidies and regulations for getting more access to the internet.
> idle power draw on desktop isn't a major concern

It certainly is if you're a major corporate entity deploying tens of thousands of desktops idling 24/7. The 30-40W IO die idle cost adds up.

If you're doing distributed rendering you're better off buying Ampere Arm CPUs anyways as they're more power efficient than any x86 offering.
That's got very little to do with what I'm talking about

The incident I'm talking about was activity duty army officers being paid by the pentagon to do propoganda work in the early social media years.

They would post pictures and video (in broad daylight) of the latest weapons or jets and something with tag lines like "these guys are doing a great job!". The user was later outed as coming from the pentagon or some base in the northeast.

I don't know what the ufo videos have to do with what I'm talking about.

The implication here is that the times article is also just a work of propaganda that tries to justify the absurd amounts of money being pumped into defense.
So you think Sony (biggest content holder for otaku market) is run by crime syndicates? Stop posting falsehoods without source.
That does help. So it is possible. Don you care to share the diagnostic criteria you met?
I wasn't suggesting any value judgement in my post, I'm not really anti-China or anti-Russia either or anything. But I think the notion that Israel is a Western country is largely owed due to geopolitical alliance, not culture or how its state operates.

I think what does away with that illusion quickly is the fact that Israel has no civil marriage. In Israel, a Jew cannot marry a Muslim, or a Christian. In the US you can find me someone who is more right-wing than Genghis Khan and yet they probably would still find that surprising. Israel is cosmopolitan, in the way the UAE is, but it is not a secular Western state. It doesn't need to be because not being 'Western' doesn't imply being bad at all.
Assisted GPS in phones can augment GPS data with information coming from cell towers nearby. From a quick search, some are omni-directional while others operate in a specific direction. Depending on reported signal strength, you could get some hints on the angle as well.
> Game pass is significantly cheaper, unless you buy very few games on steam

or if you want to play games that aren't on Game Pass. Though then it's not exactly a fair Game Pass vs Steam comparison, more Microsoft vs Steam.
I am pretty sure this dopamine algorithm was part of the "ten equations that rule the world" book. And it is much more clearly explained here. Worth reading the book though :-)
Cool, thanks for sharing that.

I had no idea Andy Garvin was on hn, but makes sense :)! I had a vague memory that Super Mario 64 also used lisp and when I googled, I found him again [0].

You've likely seen this, but I recently watched and loved this extended interview with him about making Crash Bandicoot [1]. Really made me want to look more into making video games.

[0]: https://news.ycombinator.com/item?id=2474833

[1]: https://www.youtube.com/watch?v=pSHj5UKSylk
why not using AWS and Google deep archive storage? seems cheap enough. Keep the data at home, then use cloud deep archive storage as backup. No?
Pardon my skepticism, but "Look at Chicago" is not compelling evidence, nor is "all of the real evidence is censored." Surely there's a reputable collection of documents and research you can provide that would back up your claims?
Most real estate is not complicated. It looks complicated to people who haven't done it. In most states there's a standard form and the process is simple. If things get complicated, then you need a real estate attorney.
Agreed.

Growing up, I spent a lot of time on boats. The county I grew up in was primarily a fishing/crabbing economy. Autopilot on boats is like this. It maintains a compass heading. At no point does it steer you around obstacles or react to anything other than changes in the compass heading induced by drift, waves, currents, wind, etc.
ChrisGo-3D (Small 3D project made with SDL to learn C++)
> Nintendo operates on different rules due their absurd array of reliable IPs

Or do they have an "absurd array of reliable IPs" because they operate differently?
Small project where i used a 2D renderer to make a 3D engine.
Also http://v4.ident.me and http://v6.ident.me if you want to check a specific IP version. Unfortunately, leaving off the version prefix (/subdomain) doesn't work.
Right but if nothing about what made it good from the start is left what advantage would they have compared to any other assembled team? Games get replaced by the next new great thing at a rapid pace, there's no moat. So really don't get the idea of paying premium for a studio that Used to make great games.
It was believed that lighttpd leaked memory quite badly, and there was also a period of time where the development/updates on lighttpd dramatically slowed down. Both of which wasn't a concern in the early days of nginx.

https://serverfault.com/questions/330413/lighttpds-memory-le...
I'm still angry about the way they handled the CD root kits, even after being called out on it.
What counts as functionality?

For example suppose the UI of a treadmill has a "Last 5 workout programs used" section on the front page of the UI to allow the user to select with one tap a recent program. An update replace that with a "recents..." button which takes you to a new screen that shows the last 10 programs used.

Is no longer providing one tap access to the most recent 5 programs removal of functionality? Or is the feature just that it has a way to recall recent programs so as long as there still is a way to do that, even if more convoluted, it does not count as a feature removal?

How about functionality that was not in the device when it was purchased but was added by an update? If the law does apply to that, then in effect the manufacturer will be locked into only ever adding functionality. After a few updates the UI is probably going to be a total mess.

If the law only applies to features present at purchase, then manufactures will just ship bare bones devices that only implement what is necessary to make the claims on the box and in their advertisements not false. Then the first update will add a ton of stuff to make it more than bare bones.
huh... neat.

I also didn't realize Gallium is one of those weird metals with a really low melting point but quite high boiling point.

Melting point 302.9146 K (29.7646 °C, 85.5763 °F)

Boiling point 2673 K (2400 °C, 4352 °F)
Actually mTLS has been a native feature of browsers for more than a few decades now, still is.

A card reader is very common in both laptops and PC's in countries where smartcards are common. Kinda supply-demand thing. Not to mention the readers are cheap.

For mobile devices you can basically use a smartcard SIM that provides similar functionality. But there are other options for secure secret storage on mobile devices.

Most of the hindrance is behind the willingness to pick a solution and commit to it. Doing it half-assed and never reaching the tipping point will doom every solution.
I use this on my phone, I really like it. All they have to do is leverage it and start a store, but not sure if the timing is right just now.

I think if MS embraced ad blocking and made edge (both mobile and desktop) support extensions including ublock origin they could really eat into that platform. At the moment you can run Firefox with ublock origin on Android ( which I do ) but quite a few extensions don't work ( like violent monkey). To me, being able to run ublock origin (and other addons) on Android is a massive competitive advantage, but Firefox can't seem to convert it to users in the mobile space, basically they have no real platform/marketing leverage.
Re: S. 2992, the American Innovation and Choice Online Act
you see, "svit" exists in Czech too. It's used mostly as "svit slunce" meaning the light of sun. But then in broader sense "svitit" is a verb meanning "to light" - so it's fairly obvious that "to shine a light" or "a surise" or to "greet someone" are all related to "meet againt" or "see again". It's all variations of the same basically. At least it seems so, I am no linguist.
We Discovered Thousands of Vulnerable Android Apps in 1 Day (2015)
These are only compatible with forced air systems, correct? I.e. using in-floor radiant heat would require an entirely separate ventilation system with heat recovery?
Two things: that's not “a buggy mess” unless you think Firefox/Chrome magically turn into one if you use one of the APIs which Safari supports which they don't or have bugs with. Again, remember that I wasn't saying that there are no problems, only that they were exaggerating the magnitude and degree to which it's specific to Safari.

Second, this is not only not “a buggy mess” but a conscious design decision and one which I generally agree with. Safari supports full-screen video, which is the primary reason why I want this, and the full-screen API is a notorious security risk on touchscreen devices even more than traditional computers because you don't have the equivalent of the escape key or the operating system UI giving you a way to tell that the “Please enter your password” dialog which just popped up was generated by the web page and not your OS. On iOS, Safari is already close to full screen anyway so the extra few pixels is less than what you'd need to account for in different screen heights between devices anyway.
Is the title a reference to hitchhiker's guide to the galaxy or is that too far-fetched?
I think the echo chamber one misses the point (or maybe the analogy of an echo chamber is bad).

It's true that people are exposed to other views, but there is still the echo effect of what their bubble thinks of those other views. Two people discussing their differences is not the same as two (or N) bubbles hurling outrage at one another, which I think is closer to most of twitter - the echo chamber still applies within your bubble and its criticism of others
Maybe it's:

grind:
ship_quick()
if (is_market_leader()) {
hire_maintainer()
} else if (failed()) {
abort()
}
goto grind
Doesn’t seem to work for me on Safari/iOS.

Couple alternatives:

* Search Google or DDG for “my ip”.

* http://checkip.amazonaws.com/
If a linter provides autofix suggestions, we will propagate it all the way back to the user!
I see, I guess I figured that the merchant would detect that the package was never delivered and just ship another product on their end.

Maybe I was a bit optimistic.
Sampling bias is always an issue. For example, our research has an inordinate portion with intellectual disability...probably as a function of recruiting young children with autism (those more severely affected tend to get diagnoses early).

All good points.
And then we created civilized society so citizens and corporations could conduct such activities without threat to life or property.
Crypto.com’s Stolen Ether Being Laundered via Tornado Cash
Yeah no I'm not making some "new soviet man" argument. It doesn't help that in the USSR everyone was suffering deprivation, but it's well known that there's a hedonic drop off point once people have enough money to not have to worry about bills any more and have some disposable income. Most people have a degree of empathy (not self-sacrificial altruism, which genuinely is rare) and when their needs are reliably taken care of most would want to reduce the suffering of others.

If you don't care whether your friends, neighbours or kids in Africa live or die, that's a you problem. For the rest of us, we'd rather reduce the suffering of others.
You are making a case for why games have gotten worse based on money? Video game comapnies make far more money now than they ever have in the future. The market is also larger than its ever been.
> example: Samsung used to make chip for iphone. Apple ditched them as soon as Samsung compete with Apple w/its own smartphone.

Apple was dual sourcing as recently as the A9 on 14nm. The reason they stopped was because Samsung fell behind the leading edge in performance and efficiency.
Direct link to the pdf presentation:

https://resources.sei.cmu.edu/asset_files/Presentation/2015_...
In the short run (say, a time horizon under 10 years), I think you're right. In the long run, I think failing to outperform the competition persistently would lead to gradual irrelevance, unsustainable margins, and eventually a slow death of the manufacturing side. I mean, that's the path Intel's manufactoring operations were on before this recent change in strategy: the path to a slow death.
For hypersonic weapons, yes. Firstly, the interceptor has to climb up to the altitude of it's target. Then, it has to fly through very thick atmosphere. It also has to do so rapidly enough for it not to be too late. It needs to be much cheaper than the weapon it's intercepting for it to make economic sense, also. Because of this, they won't be airbreathing, and even if they were they would be slower.
There is an embedded OS called Xinu which does stand for “Xinu is not Unix”, and also happens to be Unix spelled backwards.

https://en.m.wikipedia.org/wiki/Xinu
I'd love to see this if anyone has a screenshot from this era!
What do you do for fresh air? We have a very well insulated cabin heated by fire, but find the CO2 builds up, particularly overnight with no doors opening, and if we aren’t very quick to close the fire once it gets going, PM2.5 can jump quickly.
Can you give me an example of a problem with blockchain, that you think is intractable, because it's inherent to the data structure?
By boat, or more specifically, ferry. This is why North Korea gets angry whenever Japan decides to sanction the ferry route between the two countries. Though I guess they haven't let that route run since 2006, I'm not sure how they do it now.
Radicle Drips
is it expensive because of huge number of API calls? What if achieve files, store them per 100G, or 1G, is it going to be cheaper?
They're also our greatest ally (tm). So great Congress must pledge allegiance to them: https://youtu.be/AC8pJvY8Wdo?t=170
Delegation of Authority from the Systems Programming Perspective
metallic gallium is also remarkably nontoxic. it’s the halides that’ll getcha.
The Lib Dem's main focus for at least the last 30 years has been electoral reform, preferably to a proportional system like STV which doesn't punish third-parties. If nothing else, a Lib Dem government managing to pass that would have a massive impact on the future of UK politics, and break the two party system that first-past-the-post inevitably causes (whether Whig/Tory, Liberal/Conservative, or recently Labour/Conservative).

They took a huge gamble entering the ConDem coalition: getting some concessions from the Conservatives (e.g. same-sex marriage), but overall achieving hardly any of their manifesto promises (which, indeed, included scrapping tuition fees; first mentioned on page 33 https://www.markpack.org.uk/files/2015/01/Liberal-Democrat-m... ).

It seems they gave away way too much in order to get a meagre chance at voting reform. The resulting referendum was watered-down to Alternative Vote (rather than STV), and was not only attacked by Conservatives, but also Labour (who had ignored their own manifesto pledge in 1997 to follow the Jenkins Commission recommendations, which were to use a variant of Alternative Vote!)

There are some grass-roots efforts to support electoral reform in Labour; I doubt they'd do it themselves (like they didn't in 97), but maybe they'd be more amenable to accepting it in return for Lib Dem support?

My main worry about a Lib Dem government would be how much influence their 'free market libertarian' wing would have; where 'individual liberty' becomes a synonym for 'deregulation of the private sector'. There's definitely been more of a such rightward-lean since Clegg (compared to e.g. Charles Kennedy).
In a real world program, the number of branches is too high to be nicely represented in 3 dimensions: take whatever visualization approach you like (UML, drakon, visual flow, ...) and imagine how it scale to just a modest programs.

I guess the constructs of the programing language has to be designed to produce a visual representation: a strict hierarchy must be imposed to hide complexity.

At the end of the day, the question is: why using visualization?
- if this is to use visual memory, can one trick the brain with colors, fonts and background images?
- if this is to have 10,000 feet pictures, can statistics answer your questions?
because humans are the worst players in most cases now. Especially at the lower limit tables. Obviously, you want to play the worst players to make the most money.
it has a very high melting point (1900 ˚C) and their experiment capped out at 200 °C so presumably it crystalizes and can be scooped out as well?
Note that the original GOAL compiler was written in Common Lisp (specifically Allegro CL). I wonder if the sources are still existing?
This is brilliant. How much was the pay cut, if any?
As someone acquainted with linux gaming, the general rule of thumb is that anything without anticheat works.
Can’t imagine buying a spoon that will only work with Campbell’s soul.

Of course, some tech bro will say that their spoon2.0 is specially engineered for the best soup flavor …
because forgetting things about the only tool we have for communication, imperfect though it is, is always an improvement. How else will we rediscover them badly?
Sometime people prefer the turd they know compared to the unknow one
Stratechery is usually very clever, but here misses a key point: Intel falling behind in node size is the problem, yet TSMC is not a direct competitor to Intel. Sure, TSMC competes against the new Intel foundry initiative, but foundry is not the main profit center. For the most part, it's the companies that buy TSMC's fab time that are competing with Intel.

So sure, Intel buying TSMC time helps TSMC. However, TSMC would have sold that fab time anyway, and gotten the same scale fabbing (say) AMD chips. It's much more useful for Intel to buy production and hurt the actual Intel competitors* that would have contracted for that TSMC time while still making profits for Intel.

Intel will still have enough scale to still grow its own processes, and it can probably rely on some help from Uncle Sam to further tilt the scales.

I'm frankly surprised that regulators haven't interfered - in most other markets people would have noticed the anti-competitive move (a manufacturer 'starving' their competitors' supply).

* Apple excepted, since they have more than enough cash to outbid Intel. Then again, Apple doesn't bother with servers, so Intel can live with this. Also, the Apple ecosystem is different enough that switching has its own complex set of upsides and downsides.
Not every company would, but the CEOs of the major tech companies that a guy with Terry's impact would have probably liked to work at? I'd buy it. Those guys talked all the time, and I doubt they were gonna let one hire get in the way of a major corporate relationship.
This sounds amazing. Have you ever regretted it?
and putting utility aside almost completely, it’s just pleasing to know things.
Typically, the solid oxides would be heated in a reducing (H2) environment, forming water vapor and liquid metal (or suboxide).

You could get that reducing gas from hydrolysis, and solar, but it's not energy cheap (~50% efficiency).
Furthermore, even granting that, one should realize that _random_ will is not _free_ will.
> If the command and option names had just been sensible

Holy shit, yes.

`git branch` in gitspeak really means `git branch list` in human-readable CLI

But `git branch ${NAME}` does not mean `git branch list ${NAME}`, instead it means `git branch create ${NAME}`

There is no `git branch switch ${NAME}` but instead it's `git checkout ${NAME}`

There is no `git branch log` – that would be `git log`, whereas if you want what should be `git log` what you really want is `git log --all`

Don't get me started on whether modified files are added, staged, or indexed...
I "scanned" the article twice, so could have missed. First time I did quit, because HN comments are often more clear and useful instead of "reading" every noise they publish out there. And I did not find what I was looking for. The second time I scanned again after I posted, just to find the paragraph if it was there at all. Even if it was in the 4th originally, it's still far too off. It should have been in the first sentence of the first paragraph.
Serfdom was abolished long before central banking emerged in the US.

The institutions created since the creation of the Federal Reserve, like a vast regulatory apparatus that closes off economic opportunities for the masses, and income taxation that abolishes privacy rights while seriously diminishing private property rights, have taken society toward serfdom.