skysight-inc/HackerNews huggingface dataset:
> I guess many countries on a budget look at this as a "cheap" nuke nowadays, something a few extra steps of physics could make easy reachable

Countries on a budget do not have the resources to create a CERN-like accelerator. In a relative sense, building a nuke with enriched uranium is the "cheap" option compared to amassing enough antimatter for even a kiloton yield.

> Thanks russia, thanks china, thanks usa - one world locked in a eternal Mexican standoff it is

We've been in this spot since the 60s. Nukes got the ball rolling and ICBMs hammered in the idea that you cannot escape nukes if your enemy doesn't want you to.

> Future generations are going to look at the collapse of Assads regime as the last "downfalls" without nail-biting.

Perhaps if they all live under rocks. The past 10 years of the Syrian revolution were absolutely a nailbiter, with Assad torturing, systematically executing and mass-burying his own citizens and political opposition. There were stockpiles of chemical weapons, underground concentration camps and Putin could launch an missile attack or airstrike with a phone call and enough money offered.

Syria's citizens only knew they were safe when Assad ran out of money. They suffered under Russia's oppression for 10 long years and thousands of people died horrific and unjust deaths. If anything, the fact that Assad was allowed to keep Syria this long is a condemnation of western diplomacy as a whole.
One of the problems is that you mostly need money to make money.

There's an SF book called Replay that imagines a guy reliving his life from his fifties or so to his teens or so. One of the clever plot points (not really a spoiler) is that he just happens to remember a highly improbable sports result around the time of his replay which, with the help of some friends and family loans, makes him very wealthy. The book would have been a lot less interesting if the main characterer was just starting out as a poor college student over and over again.

Sure, I could have made money in dot-com/bomb (and maybe bitcoin) but I still would have needed a fair bit of capital to have made life-altering gains.

To the point of the article, predicting how most specific company or economic outcomes will affect stock prices is pretty much a sucker bet. Perhaps excluding some specific events like 9/11--but even that effect wasn't that great.
Trellis (YC W24) Is Hiring Eng to Automate PDFs Task at Scale
> there is generally no formal geometric way to verify their correctness.

There are formal models of synthetic (i.e. axiom-and-proof based) Euclidean geometry where proofs can in fact be verified. This is accomplished by rigorously defining the set of allowed "moves" in the proof and their semantics, much like one would define allowed steps in an algebraic computation.
Oooh, that's interesting to me, as someone who sees a common pattern in the way ills that tend to vex black Americans in one generation come back to haunt the rest of the country a few down the road (and often, silently, visited Native Americans first)[1]. There's been a decent amount of scholarship on the gulf between white and black Americans on their experience of the moon landing (shining beacon of progress versus a waste of taxpayer money while food and housing was insecure). Now, everyone's feeling the, "Can you please fund basic things that actually matter," blues. (For the NA analogue, perhaps the way the "progress" of industrialization made their subjugation and denial of land all the easier.)

[1]E.g., the crack epidemic, the opioid epidemic, and alcoholism on reservations, respectively.
Engineer does not come from engine, rather both words are derived from the Latin word ingeniator, which means to devise.
what... $700 for a... grinder? What in gods green earth would someone need a $700 coffee grinder for...
I closed out a successful investment career to go to college (never went) and ended up a professor of engineering. Then job is mostly testing new ideas and technologies and writing about it. Its a lot of freedom to play, the ability to mentor hand selected students through undergraduate (1-2yr) masters (2 yr) and PhD (4-6 year) sets of projects. Thank to my background I don’t work too hard to find funding, and because this is my 2nd yolo career, I’m not stressed in the way many academics can be. I started my academic career at MIT, but while my work thrived the place was a pressure cooker. Note I’m at a growing regional research university. I use the time this gets back to start a lot of side projects in areas totally unrelated to my PhD. I travel a lot.

It’s fun. I’m never bored. I’d never have imagined this would be my life.
Rust assembly generation: Mapping a bool vector to string slice vector
I find this fascinating. I used to do high content screening of cells with machines like the Perkin Elmer Operetta and lots of dyes. I would have never thought machine learning would make us go full circle back to brightfield.

The meat of this article:

> The trend of ML in general over the past 15~ years has been to strip away more and more of the biases you’ve encoded about your dataset as you feed it into a model. Computer vision went from hand-crafted interpretable features (e.g. number of circles, number of black pixels when thresholded, etc), to hand-crafted uninterpretable features (e.g. scale invariant feature transform), to automatically extracted uninterpretable features (e.g. hidden dimensions of a convolutional neural network). In other words, the bitter lesson; pre-imposing structure on your data is useful for a human, but detrimental to a machine.

The gist of it I understood is that ML could already tell and label the organelles and cell structure in brightfield imaging without the dyes and that adding those on top just muddled and hindered it.
True, though right now, the markets are set up such that anyone with positive net worth and consistent income can easily do vastly better than anyone with negative net worth. The more positive your net worth, the more leverage and risk you can safely afford, and you get rewarded for that.

The rich can afford the risks associated with leveraged crypto and AI stocks, the poor can only afford VOO or (worse) Treasury bonds because their life would be on the line if they lost money.

If you actually have money to throw away, you'd be an idiot to not have a pile of BTC right now. If you don't have money to throw away, BTC is dangerous as fuck.

The markets are designed to continually widen the gap between rich and poor.
No, “formally wrong” means that it fails formal verification.
> There's a Vim mode in every single mainstream code editor out there.

Is it really a vim-mode, or a vi-mode? I mean, most of those are already very limited, but does any of them actually support vim-specific evolutions/changes?

And isn't the real question here: where does generic modal editing end, and when does vi(m) starts to display its specific personality?
Show HN: Turn web search results into an LLM friendly downloadable Markdown file
The purpose of this tool is to make it easy collect seed information for use with LLM.

Just enter a query or a URL, it will search and scrape the web, to produce one markdown file with all the results.

Searching for a URL prefix to get result from a particular site only.

Example:

- https://llminer.deno.dev/?q=https%3A%2F%2Fdocs.deno.com%2F

- https://llminer.deno.dev/?q=cocktail%20recipes

Once the markdown file has been downloaded, you can insert it into LLM of your choice.

WIP, looking for feedback, thank you.
Flight operations halted at Edinburgh Airport due to IT issue
Agree on both fronts!
STAC is pretty complex. My attempt here was to make raw data access easy and fast, not to solve STAC, which I believe stac-geoparquet basically makes an attempt to fix (makes it columnar and hence faster to query at scale).

And yes, having a parquet will add overhead of needing some form of catalog. But I believe we are very close to having Iceberg with native geo types being that catalog. at the same time, it opens another can of worms (databricks and other catalogs etc).

silver lining is that parquet (geoparquet) makes geo data closer to regular data.
I haven’t tried it (yet), but self hosting Ente seems to be easy enough?
Tesla is buffing Foundationbadges off Cybertrucks to sell them as regular trucks
I remember coming across a JS repo that had lots of minimum viable implementations.

It has simple processors, simple compilers etc.

I wish I could find it.
Show HN: SmartHome – An Adventure Game
SmartHome is a free, browser-based game written in vanilla JavaScript and no libraries. I don't want to spoil anything about the gameplay, but if you like text adventures, point-and-click adventure games, puzzle games, escape room games, art games, incremental games, cozy games, and/or RPGs, then this might be your speed.

If you find it too hard and don't mind some mild spoilers, then check out the hints page: https://smarthome.steviep.xyz/help

Enjoy!
Most of the "cost" (at least in the West) can be attributed to people dragging their feet on adapting to remote set-ups and the efficiencies they bring. Businessmen didn't want to do business remotely, teachers didn't want to teach remotely, event planners didn't want to do virtual events; so, they sabotaged the shift. Too bad for the collateral damage of anyone who was underserved during this period, and the environment, and everyone who benefited from their newfound accessibility.
I’m not sure I understand the question. The short cuts are dynamic, I don’t know what any of them are.
Robert Kennedy Jr. despises glyphosate. How should Iowa farmers respond?
I've been curious about this. Are there leaked LPR databases that can be integrated with NVR's like Zoneminder, Shinobi, Blue Iris, Frigate and such? I know that some of them can read license plates but that's not entirely useful without an actual database of plates behind it. i.e. DMV, associated NCIC data, etc... As many times DMV's in many states have leaked data I would assume this must be a thing.
'Revenge Quitting,' Employers' Worst Fear, Expected to Peak in 2025
Sounds a good policy but inherently not enforceable. Will end up similar to privacy as there's simply no way to effectively control the offshoots. You ban social networks, they will masquerade it into self-development products. You ban addictive games, they present an argument of socialising, etc...
I think it would have been important to note that Nick Land was initially on board with D&G's vision, but later departed from it based on his changed understanding of capitalism. As Robin Mackay and Ray Brassier write in their introduction to Fanged Noumena:

"From Land's initial characterisation of the revolutionary task as one of pushing capitalism to the point of its auto-dissolution via the complete dis-inhibition of productive synthesis — a dis-inhibition announcing the convergence of social production and cosmic schizophrenia proclaimed in Anti-Oedipus — we arrive at the blunt admission that there is no foreseeable 'beyond' to the 'infinite' expansion of capitalism (since capitalism is 'beyondness' as such)." [0]

For a more nuanced picture of the concept of Accelerationism and its evolution in Land's thought, see my research project. [1]

[0] Robin Mackay & Ray Brassier (2011). Editor's Introduction in Fanged Noumena: Collected Writings 1987-2007, p. 47.

[1] https://retrochronic.com/
I don't feel like it's more redundant that Pythagorean theorem though, as we can say that the later directly follows from the definition of dot product…
That's basically what politicians care about. It's up to the voters to remind them of their needs.
Yes, but once you work with those formal models, you’re really doing algebra and not intuitive geometrics anymore.
The ad provider has been changed to something less sketchy
There are lots of problems where someone has to run experiments to generate data. If the most optimized possible process to perform the experiment is expensive and takes time to generate 1 data point, then all you can do is wait till more data is produced before a solution is found. Think drug discovery.
The fastest way to see news for a binary event is the just watch the stock price of the underlying.

For something like GDP numbers, the price moves within milliseconds of the print, before your browser can even refresh and minutes before the numbers even show up on twitter.
This additional justification is so trivial it's just left out for brevity. In general a lot of statements are accepted even if not each and every detail is spelled out.
Ann Arbor is exceptionally good at performative politics. Spend a fuck ton on studies and half measures, but never invest in the infrastructure that might threaten existing power structures or ruffle some boomer feathers. Without spending my Sunday afternoon digging into this, it appears to be more of the same.

There is some popular support for a real utility to replace DTE. I don't know how realistic it is, but this ain't it.

It's hard to overstate just how awful DTE is. Bottom 5 reliability in the country for a for very friendly climate. Our local schools have more power outage days than snow days.
> Immutable is kind of irrelevant in a discussion of multi-threading because immutable data has no problems in this regard.

To push back on this, no data is completely immutable, it is mutable on initialization, treating it as immutable between threads is ok after this stage, but if you disregard issues with timing and mutation you will run into problems between threads on initialization.
Thanks for the summary. I have been testing QwQ on my M1 (via ollama). I tried a couple double-slit quantum thought experiments, and also found the reasoning mode absolutely fascinating. Occasionally a few logographs appear, but they so far they were not in the way.

The funniest was asking for an ascii graphics depiction of a minecraft watch recipe, and I was actually feeling quite sorry for it, 'wait that can't be right' 'let me try' 'still not right' round and round it went, at least a few pages at which point it decided to try the second recipe I'd asked about to see if that helped with the first.

I didnt know about the other models, 'coder' is downloading now, and fingers crossed it fits in 32GB and knows a bit about Zig.

It sounds like you got the vision one running locally on your M2, nice. I'm running Asahi Linux and not tried anything AI/SD/graphical orientated yet. But nice that you got some SVG out of coder, I never thought of using a coding model in that way.
Don't know which post you are referring to. We must be reading different threads.
For services running on my home network I use Cloudflare (Argo) tunnels. They are free, easy, and powerful. No VPN is needed since it’s a hosted reverse proxy, just running a small service inside your network. I prefer k#s but it’s also easy to run with systemd. Once the traffic is flowing you can secure with full L7 routing behind your own oauth2 provider. I used my Google workspace domain. It can also be scoped to devices and other factors.

This is definitely not a Home Assistant specific deficiency, but they would do well to explain how to implement remote access to their users as it is an incredibly common use case.
The challenging projects I've worked on are challenging not because slamming out code to meet requirements is hard (or takes long).

It's challenging because working to get a stable set of requirements requires a lot of communication with end users, stakeholders, etc. Then, predicting what they actually mean when implementing said requirements. Then, demoing the software and translating their non-technical understanding and comments back into new requirements (rinse and repeat).

If a tool can help program some of those requirements faster, as long as it meets security and functional standards, and is maintainable, it's not a big deal whether a junior dev is working with Stack Exchange or Claude, IMO. But I do want that dev to understand the code being committed, because otherwise security bugs and future maintenance headaches creep in.
They aren't _people_, they are just Daily Active Users. (/s)
This is an AI mock interview preparation platform, which will give you really good feedback after it
> what people say and what they do are usually 2 different things.

True. Progress in that area can be a factor. I know some people who understood right away the risk from submitting DNA and some people who took time to absorb it.

Alternatively, it can be 2 different people. I know people who dismissed the risk as inconsequential. The folks I'm thinking of also maintained eagerness to aid LEO.
Facing the Git commit-ID collision catastrophe
Idle: A Minimal Container Image for Kubernetes Testing
"The people who disagree with me are unable to have any sort of meaningful dialog" is a self report.
The concept of negative area still feels like it'd get messy in a hurry. For a square pillar, the side lengths should be the same, suddenly giving you imaginary lengths just for the eventual area subtraction to work out. For a negative volume though, you need cubic roots of unity for the side lengths, throwing off your area calculations. Has anyone actually put together a system where the sort of concept you're describing is cohesive?
I think your wait list signup is not working, I put my email in but clicking submit just makes the box shake with no success message.
It’s worth rehearsing that instinct. The insight that areas are products is a really useful one for deepening your intuition of what integration is doing, as well as for enhancing your ability to interpret graphs and charts.

Like, if you have a graph showing power consumption over time, it’s great to be able to mentally recognize that, say, if the time units are hours and the power units are Watts, that the area under the graph will be counted in Watt hours; that a rectangle one hour wide by one Watt tall is one Watt hour, and so on.
It does not. It's a sort of ideological rag at this point for the right wing of Wall Street (see the NYT for the left wing rag). Give them Bloomberg or the AP a day ahead and they will make much better bets.

I think they will still trade with too much leverage and poor asset allocation, though.
I don't know but I can give a rough estimate, based on my experience. The estimate equals 0.42%.
Interesting. Thinking more now about why I picked 2005, I'm trying to decide if someone with a kid born in 2000 fared any better. I suppose that those kids were already teenagers when smartphones reached 50% market penetration, and giving smartphones to kids became normalized, and the "pivot to video" happened (really turning "social networks" into "social media" in my mind). I'm not sure if that was better or worse for them.
I share the same feelings, hence I along with OP, made this attempt of creating a library based on whatever seemed most performant and closest to regular data engineering world.

1. Geoparquet for metadata (iceberg catalog could be added later if scale is extremely large)
2. Cloud Optimized Geotiff (COG) for image data (which is what NASA and ESA have been pumping for last 5 years and still do)
3. and an efficient lightweight library that can quickly grab pieces of data from 100s or 1000s of raster files parallely.

I did not want to attempt creating another format, coz I felt that we as geocommunity are at a stage where such tools and files put together forms a pretty good first level foundation to build on. No need for heavy legacy tools, closer to regular data (with parquet) and closer to duckdb world.

I feel adoption may be good, if this is the thesis / guiding principles.

Baby steps surely, but good steps I believe, and this is all thanks to the open source community.
This is what you call “iron will”
What do you mean “end up believing” are you insinuating that the shown example isn’t true? It very much is true. The reason it’s true might initially be confusion to you as a viewer because you have a difficult time telling the difference between 3/8 and 2/5 and assume the triangles have identical slopes, but the visual proof very much and truthfully shows that this is not he case.
No true Botsman would replace a junior eng!
You can just buy them a dumb phone? No reason they need a smartphone just for messages and calls
"jargonauts" is amazing. I've not heard that before, but what a well-fitting shoe. :D
I’ve never heard of that happening in the U.S. with major ISPs. It’s completely opaque vpn traffic to them. What would the ban be for? With remote work and corporate vpns it’s extremely common to have the same traffic patterns.
A lot of things in our daily lives are "unsafe by design"; just go to a kitchen and grab a knife; our common solution is to keep those things out of the hands of children until they have learned to safely use it.

Concerning an IDE: you vision apparently doesn't reach far enough; imagine AI tools which are able to understand both, the requirements and the code, and are able to recognize logic deviations and other unmitigated risks. Btw. Rust is far from "actually-safe"; it helps avoid some memory issues (not all), but there is still a wide range of possibilities to create safety issues, even in Rust.
This looks interesting.
Most embedded project I know use ICU/libicu for their unicode needs. As a potential customer I would like to know how does it compare against ICU for performance and code size. Why should I switch?
I use nabucasa's RemoteUI (which provides a secure remote connection):
https://www.nabucasa.com/config/remote/

(and I pay for an account, so that I can help support this project)

Am I missing something obvious here?
That might be a sensible objective. It does remain to be seen if this is actually possible at all. Same problem: The concept of net zero carbon is admirable, yet the reality of achieving something like that is closer to a fantasy than reality.

In other words, we might be able to slow the rate of CO2 contribution. It is likely impossible to get it down to zero. Maybe in a few hundred years? That's as easy to predict as someone in 1824 predicting that we would have computers on every desk and our pockets, MRI machines, etc.

Note that achieving net zero does not slow down or reduce atmospheric CO2 accumulation. It will continue to rise.

And, of course, to reverse course, not only do we have to achieve net zero (which is impossible), we would have to go net negative in a very substantial way.

And that's where the "WTF are you talking about?" part comes in when listening to the fantasies being sold. Going net zero would require planetary scale resources and energy we cannot even imagine. Going negative is orders of magnitude worse.

When you move and use resources of any kind at a planetary scale, you will use unimaginable amounts of energy. Physics tells us that no process can ever be 100% efficient. In fact, most complex processes are quite inefficient when evaluated from start to finish. Assuming, say, 50% efficiency, that means that we would have to generate twice the planetary scale energy required to achieve this (if it were possible). The same is true of resources such as minerals, manufacturing, processing, transportation, digging, whatever. Which, in turn, means that we would then introduce a seriously massive amount of pollution and cause collateral effects/damage to the environment, again, at a planetary scale.

That's where the conversations go loopy very quickly. Its easy to say "cover the Equator with solar panels". It isn't easy to explain how we would do that without destroying entire ecosystems around the planet and introducing so much additional pollution that things would get worse rather than better.

The planet will address this problem naturally. We can clean-up our act to help. Yet, we should not go to insane lengths in doing so. The risk is to cause more damage and to do so at a very serious scale. In other words, in an effort to save life on earth we could, instead, succeed at killing everything on this planet.