skysight-inc/HackerNews huggingface dataset:
The Russian state TV: We will come back to Berlin and nuke everybody who gets in the way!

Some westeners: We never know, maybe they will stop if we give them a few more villages this time.
How close to war does one need to be for their opinion on this to be valid?

A Shaheed drone flew over my head just less than two months ago. Does that qualify?

In case it does — don’t be so naïve. Of course the russians want more. They’ve made that clear enough. Their heads of state have made that clear enough. Repeatedly. For years.
Filters are unreadable on mobile.
RVs in the parking lot of Walmart is an effective housing solution? I think not.
The LN2 itself isn’t the problem.

It’s the appropriate container, handling equipment, PPE, and safety technique.

Unfortunately, as some of these things get cheaper you start attracting a different level of hobbyist who are less interested in learning proper handling technique and safety precautions. Not all of them, but enough that it becomes a problem.

I’ve seen this play out across a couple of my hobbies in the past decade. When things were hard to access, the people who put in the work to get there had an appreciation for doing it properly and being respectful of the environment and community. Once it becomes cheap enough you get a lot of weekend warriors trying to run through the process as fast as possible while seeing how many corners they can cut. Things get ugly.
> Everything is bad because everyone is lazy and cargo cults.

It’s an interesting series of events that led to this (personal theory). Brilliant people who deeply understood fundamentals built abstractions because they were lazy, in a good way. Some people adopted those abstractions without fully comprehending what was being hidden, and some of those people built additional abstractions. Eventually, you wind up with people building solutions to problems which wouldn’t exist if, generations above, the original problem had been better understood.
How do they know it's urine in the tank?
Please show me a real-world page that performs worse on Chrome with no extensions than on Chrome with Unlock Origin.
Glossika.

Also, the best grammar reference for English speakers is "A New Reference Grammar of Modern Spanish" by John Butt et al.

Spanish is extremely pattern-regular and maps to English very well once you "see the Matrix" and learn the tricks. Happy to help — if you like, let me know your contact info and I can get in touch back-channel.
I think Lean is another closely related language. It is very famous for its theorem proving capabilities, of course, but it seems that it can also express effectful computations (aka, real world programs).

Somebody managed to solve Advent of Code with Lean: https://github.com/anurudhp/aoc2022

Somebody managed to write a raytracer with Lean: https://github.com/kmill/lean4-raytracer
A vacant space without a commercial tenant is paying 5 x $0, so ... might as well put the space to good use.
it makes ruby code faster than c ruby code so they are moving toward rewriting a lot of the core ruby stuff in ruby to take advantage of it. run time performance enhancing makes the language much faster.
They weren’t Cessnas. They were Aeroprakts.
`What do you think is the root cause for this kind of thinking?`

It's probably quite advantageous to have some individuals irrationally hedging against catastrophe--even though they are likely to be wrong, when one of them is very occasionally right the humans survive.
Anyone else notice an influx of these new accounts in the last couple of years that start rapidly spamming inflammatory replies that seem to be trying to incite arguments (look at this ^ account's comments in the last hour)? HN is a bastion of mostly western, intelligent discourse. I'm really starting to wonder - is it under attack?
He ran an average of 15 miles a day. That is absolutely within the normal levels of human endurance if you build up to it.
Thinnet was pretty terrible. A loss of any end terminator (such as when adding a new node) registered as a continuous collision and prevented any communication until proper termination was restored.
I’m going to cite this web port whenever someone claims LLMs are no better than stackoverflow copy pasta.
Another view of topology is in

John L.\ Kelley,
{\it General Topology,\/}
D.\ Van Nostrand,
Princeton,
1955.\ \

In the set R of the real numbers
and x, y in R with x < y,

(x,y) = { z | x < z < y }

is open and, with x <= y,

[x,y] = { z | x <= z <= y }

is closed.

A subset of R that is both closed and
bounded is compact, a powerful property, e.g., in Riemann integration.

And so forth but
in topological spaces much
more general than the real line
and open and closed intervals.
Apparently hence
the "General" in the book.

As a math major senior in college,
read Kelley and gave lectures
to a prof. But now there are
some other definitions of topology.
I see this everywhere. IMHO that is because we've all found vice signaling is lower cost than expected
Sure, what I meant is that Dafny outsources everything to SAT/SMT. If it doesn't manage to prove things for you, it gets a bit frustrating as there is not much support for manual tactics compared to F*, Coq or Isabelle, which can also leverage SAT/SMT, but have other options.
Big in 2018 (120 points, 42 comments) https://news.ycombinator.com/item?id=16175257
The Providence Arcade Mall works for this conversion because it is in a prime location in Downtown Providence. There are some pretty high-powered offices near by, RI School of Design is a brisk 5-10 min walk away, Kennedy Plaza, the (for now) central hub for the state's bus system is a 2 minute walk away.
That's quite a lot of biased propaganda language that makes clear the author's interests. They just can't comprehend hatred of corporations. They think my hero Luigi killed in "cold blood". They support Israel instead of the Palestinian people and act like they can't comprehend support for the people. Are they really that disconnected from reality?

They actually think Millennials "tend to view corporations as serving society and creating value for all their stakeholders"... That could not be farther from the truth. It is a blatant lie, the idea that Gen Z is alone in their hatred for parasites. Blatant propaganda. I'm Gen X and almost everyone I know my age (and I'm not a "local-only" kind of person) and younger, and quite a few boomers, view the parasites as parasites.

If the parasites don't want random people shooting at them, perhaps they should rethink their position on people vs profit.
> Now I suffer both the noise of the unabstracted thing, and an extra assignment.

Depends on your goals / constraints. From a performance standpoint, the attribute lookups can often dwarf the overhead of an extra assignment.
Lean has very little support for proving things about software. Right now, the community is mainly geared towards mathematics. This could change. Concrete Semantics was rewritten in Lean [1], but I haven't seen more efforts geared towards software in the Lean community.

Dafny, Isabelle, Why3, Coq and F* have been used to verify non-trivial software artifacts. Liquid Haskell, Agda and others are also interesting, but less mature.

[1] https://browncs1951x.github.io/static/files/hitchhikersguide...
I think you're taking the term "immutable" too literally.

Immutable does not mean you cannot change it according to your wishes. It just means that each change must be explicitly declared in order to be included in the next system image.

In some ways, having a declarative, immutable distribution makes the process even easier, as is the case with NixOS. If you want to patch your sudo, it would be as easy as doing

security.sudo.package = { pkgs.sudo.overrideAttrs (old: { patches = [ (fetchPatch {url = "<url>"; sha256 = "<patch sha256sum>"})];})};

And then you're done.

100% truth be told, having a declarative, immutable distro has allowed me to experiment and configure my system way more than I would have otherwise. I mean, I can do anything because I have the safety net of rolling back if I mess up.

Furthermore, being declarative means I know exactly how I got to my end solution, instead of having to memorize a bunch of steps from different attempts that may or may not have been successful.
> Bitcoin is scarce […]

Which is a bug:

* https://en.bitcoin.it/wiki/Deflationary_spiral

* https://isps.yale.edu/news/blog/2014/06/the-perils-of-bitcoi...
Second 292 for the demo.
Okay, so it seems ^this is going to be my most upvoted comment on HN, by an order of magnitude. Who would have thunk...
Sorry but doesn't support javascript, will it make websites broken then?
Merry Christmas -- hope you feel better!
Military incidents are very different. While all civilian planes carry transponders that identify them as such [1], military planes usually don't for obvious reasons, so they're much easier to misidentify as hostile.

[1]: https://www.flightradar24.com/
there is difference between building a dashboard for internal systems and tech that if failed can kill people
Vice signalizing? Intentionally displaying one's flaws/vices? I really don't think that's what this is. I think this is someone or a bot that is trying to get people to react with anger, in hopes that it catches on and causes wider arguments in the thread/social platform. It's very similar to what foreign influence/disinformation campaigns are doing in western societies, but targeted at online societies.
I'm with both of you from my personal experience, and have definitely seen some programmers lose tons of time fumbling to google a function, scrolling through files to find a definition etc. As a programmer I find myself offended when I see somebody slowing down when the tool could speed them up. Plus if there's machine refactoring (rename, extract) it starts getting ridiculous when folks don't use it.

However, I've also worked with some bona-fide legends who really just use vim and dust everyone around them. Granted I wonder if they could go _even faster_ with automation but I can't fault it.

For me these days I'm leveraging new technologies and languages so often I really need the IDE features to get going. Doing rust without rustanalyzer or ts without vscode if you're noob (but not a noob coder) is a recipe for wasting a LOT of time imo -- I always learn suprising things from the (good) suggestions [and start dutifully disabling the bad ones].
Sure, but who's most likely to have shot down this plane over Russian territory?
There are only 9 Teslas on the Hertz Car Sales website as of today.

Compared to over 7,000 Toyotas.

And the Teslas aren't particularly aggressively priced. Which makes me question the validity of this entire article.
Except.. they are not jets, terribly slow, and fly at much lower altitude.
Bad Ideas in TypeScript
> Maybe now diplomacy can happen and thousands of lives can be saved.

Diplomacy, like the time Macron came to Russia to stop the war and Putin told him the war would never happen. This kind of diplomacy?
Ah yeah, sorry about that. I'll have to update the blog post.

They are sold by a variety of vendors, but generally you're gonna look for the 3-pixel 30mm pucks. They come in either cold-white or warm-white varieties, and a slew of different voltages.

You can buy a whole "kit" from the same vendor I bought my stuff from here[1], or the individual lights[2] and the tracks[3]

You can also buy similar products from some US local stores, like WasatchLights[4], YourPixelStore[5], or from Gouley[6], who appear to be the original manufacturers of these. But I've had good luck with PaulZhang's store on AliExpress, so its the one I can attest to.

[1]: https://www.aliexpress.us/item/3256806033455595.html

[2]: https://www.aliexpress.us/item/3256807344866216.html

[3]: https://www.aliexpress.us/item/3256804734568668.html

[4]: https://wasatchlights.com/products/permanent-track-lights

[5]: https://yourpixelstore.com/product/pucks-set-of-5-30mm/

[6]: https://goulyled.com/
L’etat c’est vous.
typical hn comments,ignoring elephant in the room.
*65536 ports

Port 0 is a port some operating systems can and do host services on accessible over the Internet.

Also - if there's any MariaDB devs reading this - your default setting making the database listen on port 0 to disable Internet access does not, in fact, disable Internet access of the DB for quite a few thousand systems.
Communications broke down, but their bladders didn't.

Danny Boyle - 28 Lightyears Later.
Thank you and thanks for the suggestions, will add these soon. Keep updated with the RSS feed.
There are problems with the fee-for-service financial model but this isn't one of them. The doctor will be paid the same for the office visit regardless of whether they prescribe or not. The money for any antibiotic goes to the pharmacy, pharmacy benefit manager, and pharmaceutical company.
In particular some of the damage has a "linear" quality that could plausibly come from a continuous rod warhead, which would be typical for a system like Pantsir. If as the Russians claim, it was a bird-strike, you wouldn't expect debris from the failure of the engine to make a pattern like that on the tail, unless the entire engine body broke apart.

Likewise, it didn't look like it was on a glide path, but rather that as discussed the hydraulics failed and they has to use thrust vectoring to fly. Obviously for very fine correction on final approach that becomes difficult, and the result was what we saw. All of that is consistent with a missile.
Both engines were running at the time of impact as apparently the plane was being maneuvered via differential thrust.
Efficient at what exactly? Doing a simple task? Complex task? Living as a self-sufficient community?

There have to be different numbers for different problems.
Fire sprinklers are common in buildings that hold hundreds of people. Sprinklers are basically nonexistent in single-family houses. Sprinklers are extremely effective at putting out fires and preventing their spread.

Fun fact: Ontario, Canada started mandating fire sprinklers in 4+ storey residential buildings started in the year 2010. Taking into account the lag in planning, design, and construction, it effectively means that any high-rise apartment building constructed after 2015 has sprinklers, and earlier ones don't.
Database engineering, and container engines/runtimes. I've become absolutely bored out of my mind writing backends, web services, etc.

For the past month I've been contributing to a sqlite rust rewrite, and I want to continue until such a point that I would feel comfortable working full time on that (not just on the relatively low hanging fruit). Also want to explore more OCI runtime internals is something I've been fascinated with for a while that I want to get into.
> Stop re-inventing.

> You don't GraphQL.

Isn't that... ironic? You can Postgres -> GraphQL pretty much without code (pg_graphql). And then link your interfaces with the GraphQL endpoints with little code. Why re-invent with REST APIs?
It’s pretty wild, although if I were Mr. Kato I might be somewhat more grumpy about being jailed for 3 weeks in South Sudan, apparently on the authorities’ opinion that their immigration laws required ministry approval for his run [0].

I have to say I don’t find myself too surprised that anybody non-local doing extreme-long-distance running through insular Croatian towns might arouse the interest of the local constabularies—and I imagine the runner being a Ugandan guy would be an especially surprising sight to people in Croatia (91% Croat, 3.2% Serb, officially recognize 22 other ethnic minorities, none of them from Africa) [1]. Which I suppose is the point he was trying to raise.

What an astonishing extreme of human endeavor.

[0] https://archive.is/4T13g
[1] https://en.m.wikipedia.org/wiki/Demographics_of_Croatia#:~:t...
A regional jet on approach and a prop aircraft in cruise don't necessarily look that different in ground speeds, altitudes, or even radar cross section to most radars.
> I’d really love to have a discussion on how these heuristics of software development change with the likes of Cursor/LLM cyborg coding in the mix

I would also be interested in reading people’s thoughts about how those heuristics might change in the months and years ahead, as reasoning LLMs get more powerful and as context windows continue to increase. Even if it never becomes possible to offload software development completely to AI, it does seem at least possible that human cognitive load will not be an issue in the same way it is now.
For those cases you have to bring the runtimes with you.

With JVM and CLR you can use JNI and COM to generate SOs/DLLs, and both of them can use any SOs/DLLs via FFI. There is also IKVM and Jni4Net that allowed Java code to run in .NET (or at least used to be, I last used it 15 years ago). Results may vary.

For other languages it can be a bit more involved: if there's no such thing as exposing as a library, you must embed the interpreter, which typically involves using C++.

It's not fun. This is why people end up using network requests.

If you can have a text-only interface, or even involve files, you can also just invoke the other app as a process.
thanks! I love ruby but I'd be afraid to do anything but web backends and shell scripting with it. it's people like you who move language adoption!
Nice. I did that for 2024. It was a secondary goal/effect of aiming to limit phone time when “idle”. When I carry the cube around, screen time goes down. I’m not at 30 secs yet but < 1 min often.
Most software work in pharma and manufacturing is still CRUD, they just have cultures of rigorous documentation that permeates the industry even when it's low value. Documenting every little change made sense when I was programming the robotics for a genetic diagnostics pipeline, not so much when I had to write a one pager justifying a one line fix to the parser for the configuration format or updating some LIMS dependency to fix a vulnerability in an internal tool that's not even open to the internet.
I encourage you to think critically about things you find on the internet - I think you are being misled in your summary here. https://www.reuters.com/fact-check/headline-summarizing-youg...

There is the concept of the lizardman’s constant for polling wacky ideas but it is more like 4%.

https://slatestarcodex.com/2013/04/12/noisy-poll-results-and...
This is true and valuable, but it's worth mentioning that some aspect of cognitive load is subjective. The code I write is always lower cognitive load to me than anyone else's code, even if my code has more cyclomatic complexity and code smells, because I've built up years of neural representations dedicated to understanding my favored way of doing things via practice and repetition. And I lack the neural representations needed to quickly understand other people's code if they approach things differently, even if their approach is just better.

This is not to say we should keep practicing our bad habits, but that we should practice good habits (e.g. composition over inheritance) as quickly as possible so the bad habits don't become ingrained in how we mentally process code.
hey that's really clever. was this for open source or commercial? was it received well? what language? Very interesting technique
> I have to say I don’t find myself too surprised that anybody doing extreme-long-distance running through insular Croatian towns might arouse the interest of the local constabularies

I don't live in Europe, but just help me out, why call the cops on a guy running down the road, in running gear, even if he's an ethnicity you rarely ever see?
> Think of all the mentally unstable people, with access to firearms, who believe the most ridiculous propaganda that's being shoveled to them

That is a misnomer. Most people with guns are not unstable, but has been influenced by a barrage of propaganda like "it is OK to take the law into your own hands", "Only real men own guns" and even trump as president got into the act in 2020 when he lost the election. 99.999% mentally unstable people harm themselves instead of others. Just look at US entertainment, most of it is about a single person, usually with a gun, getting his way using violence instead of methods that are legal.

Maybe with this sad occurrence, CEOs will force their bought and paid for congress critters to do something about gun violence in the US. You know, like real gun control.
They literally spent months trying to work out the bugs. It’s an absolute admonishment of AMD’s software stack.

Just look at their market value and it says everything you need to know about how much “better” AMD is than NVIDIA.
Yeah that'd be the telemetry stream, probably specifically the new telemetry status & timestamp subscription that got added in 0.2, it gets updated maaaaaany times per second. Unfortunately it's a push and not a pull model stream so I'm not quite sure if there's any "clean" way for the app to throttle the incoming data except eg. periodically just unsubscribe from the very chatty status subscription.
The russians.
How on earth did C++ brainrot lead them to think that reusing that keyword was anything but a nightmare? The very first line of the article

> Probably the two most useful features added to C++20 are requires and requires

said without a trace of irony ... the whole thing reads like parody!

I keep hearing that C++20 or whatever is getting so great but if so why would they specify such a dumpster fire of syntax???
Yes, if you are receiving malicious data from the exchange, getting p0wnd is the least of your concern.
It'll be here this weekend. I'm definitely going to binge-read it.
This looks like a cheap shack house inside an old mall and it's also incredibly small. Value for money is ridiculous. The tenant also doesn't seem very happy with it and only accepting the situation because alternatives are more expensive. You don't need apartments inside a mall. You can a building on top of the mall a 20 story building and have the mall on the first floors. This way the tenants can enjoy full and real apartments while the convenience of the mall is one elevator ride away.

This is not some sci-fi shit, many places in Asia are doing it. The situation in the US is going from sad to pathetic.
yes, but you have to pine for it
In Oracle, this happens because uncommitted transactions are found to be committed by a later reader, which cleans them out.

https://www.databasejournal.com/oracle/delayed-block-cleanou...
"Recorded" a Podcast with ExVP from OpenAI based on NotebookLM
This is the version without any post editing...Super
> as a low level (i.e. C developer), I currently lack the skills to make my own little toy web apps more aesthetically pleasing for not just me, but to share with others

How did you get interested in opposite ends of the tech stack?
People who criticize 'security through obscurity' don't know how hard it is to reverse engineer shit.

Either that or they're researchers or adversaries playing a game. Because trying to figure out WTF is going on is hard, so any clues you can extract from your targets makes things easier.
Well yes, it's in the name "loss leader". It's not meant to be sustainable. It's meant to get their name out there as a good alternative to Radeon cards for the lower-end GPU market.

Profit can come after positive brand recognition for the product.
> People, myself included, like to say that POSIX time, also known as Unix time, is the number of seconds since the Unix epoch, which was 1970-01-01 at 00:00:00.

> This is not true. Or rather, it isn’t true in the sense most people think.

I find that assertion odd, because it works exactly as I did assume. Though, to be fair, I'm not thinking in the scientific notion that the author may.

If we think of a second as a tick of some amount of time, it makes sense to just count up once each tick. That scientists inject a second here or there wouldn't interfere with such logic.

All of that said, the leap second is going away anyways, so hopefully whatever replaces it is less troublesome.