skysight-inc/HackerNews huggingface dataset:
I guess I'll ask here... How do I learn this? I'm comfortable with IPv4, including DHCP, DNS, VPNs, NAT, whatever. I'd like to be able to set up a v6 network[0] in whatever is the Correct and sane way. Is there a good end-to-end tutorial to set it all up by hand and explain what all these things (RA/DHCPv6/fe80::/ULA/etc.) are and how to use them or why not to use them?

[0] Ideally pure v6 if possible; I think there's some way to encapsulate/NAT v4 traffic out from a pure v6 network so I don't actually need dual stack.
Home ownership rate in China is around 90%. Maybe their billionaires are really fucking billionaires, but your assertion of inequality being much more stark in China is hard to reconcile with this data when most young folks I know are renters or went back to live with their parents and the vast quantities of homeless people I see.

Really, China is not a paradise, but we should be aware of the fact that we are fed copious amount of anti-china propaganda everyday.
Is any computing "AI" now?
To the extent there’s a real issue with ‘MODULE.bazel’ (aka bzlmod), it’s that Bazel has such a rich ecosystem even on the old, janky ‘WORKSPACE’-style that the slick new thing that always works is impossible to migrate in one go.

The Bazel team flags things off by default for years, and then things on for years, because they’re engineers and try hard not to break people’s shit.

Are feature flags and migration paths and interim solutions more work? Yeah, no doubt.

But for all their recent fumbles in AI and steadily downward trajectory on search and all the things that happens when a big company is run by people who were never all that technical?

Google still has a hard core of the baddest hackers you don’t want to mess with.
> Kinda scary how we can lose knowledge like this...

Also kind of amazing how we’ve come to expect maintaining knowledge like this…
They gave me extremely specific jobs after so I’m not gonna sue them.

I was working on a specific thing in university so without illegally probing my devices they probably wouldn’t have found a good job match.

The related item was on my Linux laptop though. So extremely illegal regardless.
The EFF: https://www.eff.org/

Privacy International: https://privacyinternational.org/

IAPP (International Association of Privacy Professionals): https://iapp.org/

noyb: https://noyb.eu/en

Purism: https://puri.sm/

Proton: https://proton.me

Murena: https://murena.com/

etc. etc.
> "In 2021, Gill's social media activity on Reddit helped drive GameStop stock to historic highs. At that time, Gill encouraged others to invest in the stock—not based on the fundamentals of GameStop business but on his pure love for GameStop. The craze that he helped spark rapidly triggered temporary restrictions on GameStop trading, as well as a congressional hearing, but ultimately there were few consequences for Gill, who disappeared after making at least $30 million, the WSJ reported."

That seems like a willful mischaracterization of what really happened. The thing that made GameStop share value go way up wasn't that some guy started an internet fad, it that the stock was heavily shorted and an Internet community was able to successfully take advantage of that fact.

As the price went up, the shorts had to buy shares to cover their positions, and that caused the price to go up even more. It was a short squeeze. People blame Keith Gill and /r/wallstreetbets for causing the stock price to diverge from its rational value, but as I see it, it was the shorts that did that. The squeeze was just a means by which an inherently unstable and irrational market condition corrects itself.

(Though I suppose it's also worth adding that at least some of the enthusiasm for buying GME was the prospect of causing hedge fund managers to soil their trousers.)

https://en.wikipedia.org/wiki/GameStop_short_squeeze
Never would I ever have come up with using logarithms. But I am also a math idiot. My solution used recursion.
Rust Is for the Engine, Not the Game
> The government should tell property owners that they are required to keep their property occupied otherwise the government should seize their property?

No, but they have to keep it in good condition, which includes keeping it secure.
Well, this theory would be disputed by lots of french aristocrats who had the displeasure of having their heads mechanically separated from their bodies by sharp fast moving heavy blades some centuries ago.
All the laptops I sell with Windows XP have Windows XP or newer OEM license keys included with them, so yes, it is legal, or at least legal enough that I don't think Microsoft or anyone cares. XP Delta Edition has the same featureset as XP Pro for licensing purposes, though the licensing of some of the software with it is muddier.

That said, as there's currently no way to legally buy Windows XP from Microsoft (or any official source), it's not really harming anyone to just install it wherever, in my view.

I also sell Windows 10 machines, and they all come with genuine licenses (often also OEM, or I buy them). I often get questions about whether my Windows 10 systems are genuine Windows, but nobody has ever asked about XP.
The correct solution here is to give credit for the problem to acknowledge genuine clever problem solving, and then offer extra credit for doing it the pedagogical way.
>But is it really that impressive from solving a cube that it got done in a blink of an eye?

If you look closely when the robot performs the fast rotational movements on the cube, it has near zero overshoot. It nails the position right every single time while also being insanely fast.

That's definitely impressive for marketing their servo controls especially considering that the cube is not a "speed cube" with chamfered edges on the blocks that can tolerate rotations with imprecisely aligned pieces, but a regular one that's less tolerant to that.
> Doing this with serverless might be a lot easier than building the global network & edge infra on your own.

You don't need a global network and edge for a basic b2c chat. Yes it makes a difference in UX when everyone has to exchange messages through your servers in us-east instead of something closer, but the difference is so small it hardly matters unless you're being compared against a messenger that's highly focused on message latency, most are not.
Makes me wonder if organisms on Mars (if they ever existed) used such a mechanism
Can't wait for al the upcoming internal tech emails, hehe
I'm all for innovative ideas in supporting families and children, but the examples from the article hardly count as "successfully reversing fertility declines".

- Nagi, Japan. TFR: 2.95 (replacement rate is ~2.1). Astonishing. This is the only true success in the article.

- Nagareyama, Japan. TFR: 1.5. At this rate, the population will drop by ~25% every generation.

- South Tyrol, Italy. TFR: 1.64. Marginally better than Nagareyama. Noticeably better than the rest of Italy (TFR: 1.2), but still a population in strong decline.

- Czechia. TFR: 1.6 (https://data.worldbank.org/indicator/SP.DYN.TFRT.IN?location...). Better than the European median, but not exceptional. Roughly on a par with Lithuania (1.63), Belgium (1.59), and the UK (1.57). Noticeably behind France (1.79). None of these countries at such TFRs are even capable of maintaining their population at a stable level, and should all be regarded as undergoing some level of population collapse.
> Write a function digitLength(n) that takes a natural number as input (i.e., 0, 1, 2, … – a nonnegative integer)

On another note, you have a very interesting website, I will be in touch at some point when I decide to tackle Rust
So it’s basically a marketing project? Are you aware of some articles I can read about these types of projects and their economics as well as ROI?
Location: India Remote: Yes

Willing to relocate: No.

Technologies: Java, Javascript, Nodejs, Golang, Python, C/C++, Assembler, HTML, CSS, Git, bash, Docker, SQL(Oracle, PostgreSQL, MYSQL, DuckDB), Redis

Résumé/CV: https://drive.google.com/file/d/1HummmW442v1dfvPphOF-EYJXSG6...

Email: anjan.jobs.2024@gmail.com

Linkedln: https://www.linkedin.com/in/anjanbacchu/

Github: https://github.com/anjanb

20+ years experience developing Products as SaaS. Backend focused Generalist Fullstack Software Engineer/Lead/Architect.

Have 10 years experience in USA and Switzerland working for Startups and Fortune 100/500 companies developing products and supporting them.
The Chinese save more than Americans do, and they don't trust their stock markets and banks to keep their savings safe, so they tend to put their money into real estate.

And the main reason they save more is that they are trying to make it more likely they will survive the next time their society descends into chaos like it has dozens of times in Chinese history.
ChatGPT agrees, "The likelihood that this was written by a chatbot is relatively high"
Just on that last paragraph, because the frame annoys me - that is bullying. It isn't fair to insinuate that a company did something wrong by attempting to obey the law.

MS knows all about antitrust. They've hired a bunch of lawyers and told them to do what needs to be done to be compliant with the regulations. That shouldn't then be implied as evidence that they are guilty of antitrust activities! What are the lawyers supposed to do, structure the company to maximise the likelihood of an antitrust lawsuit being bought? Nobody should want that, regulator, company or customer.
> hellishly dense

The most "hellishly dense" places in the US aren't even as dense as the city of Paris, half of which is parkland, and the other half mostly ordinary six-story apartment buildings.
Only individual and ones that are annoying to their owners.
If the battlefield comes to be dominated by robots, face recognition will be useless? No human will be around to have her face recognised.

Detecting heat via infrared will still be useful, any kind of engine gives off heat. Whether biological or mechanical.

You can construct engine that have disguise their heat signature a bit, or that have a smaller heat signature. But that severely limits their capabilities, which might be a good enough outcome for the sides that use the heat detection.
For my SaaS I use https://kwatch.io which is equivalent to F5bot. The free plan is less generous than F5Bot, but on the paid plans you can monitor Twitter, Reddit, Quora... These days getting organic traffic from Google seems to be harder and harder, so such platforms are good customer acquisition alternative solutions in my opinion.
The docker image is nothing more than “FROM scratch” and then copying in the statically linked binary. If there are 0 other dependencies, I think it would be equally easy to distribute the binary through GitHub releases. There is no need for brew.

If people want to run it isolated, the docker image is of course still a nice to have and docker hub is a convenient distribution mechanism. At the same time, an equivalent image can equally easily be created by the consumer.

Personally, due to trust, I would anyway still build it from source and run in a container, to be on the safe side.
I think this will be a great move towards mass adoption of smart home devices, which still seems a bit niche.

Amazon IoT for example worries me because the lack of network boundaries, so like that I wonder if the same challenge arises with Thread.
I'm actually currently doing some research on operator precedence and syntax, so it's fun to see such a relevant post! One of my favorite syntaxes for custom operators comes from Agda and allows for easy definition of mixfix operators. Agda uses underscores to stand-in for operands in the name of arbirtrary functions (i.e. `_+_` as the sum). But when fully qualified with all underscores, this will act like a normal function (`_+_ 3 4 == 7`). But, uniquely among languages I've seen, it allows for partial application of arguments with operands in place, making it much easier to create new curried functions.

Here's an `if_then_else` example, modified from [0]:

-- declare an operator function with underscores:
if_then_else_ : {A : Set} -> Bool -> A -> A -> A
-- define the function:
if true then x else y = x
if false then x else y = y
-- call it:
if_then_else_ cond first second
-- or use it infix:
if cond then first else second
-- or partially apply "sections" of the operator:
-- this is really cool
(if_then first else second) cond
(if cond then_else second) first
if cond then first else_ second
if cond then_else_ first second
if_then first else_ cond second
(if_then_else second) cond first

Of course, the paper by Agda authors Danielsson and Norell, Parsing Mixfix Operators [1], is a classic discussion at the theory of mixfix operators in expression grammars (they take a stance of precedence as a DAG). But I do not often see cited the earlier and similarly titled dissertation by Jacob Wieland, Parsing Mixfix Expressions [2], which goes further into defining classes of ambiguity in both operator expressions and overloaded operators, expresses these in an Earley style parser, and in my view is far more practical for real language designers.

[0] Agda Mixfix docs: https://agda.readthedocs.io/en/v2.6.4.3/language/mixfix-oper...

[1] Danielsson/Norell: https://scholar.google.com/scholar?q=parsing+mixfix+operator...

[2] Wieland: https://scholar.google.com/scholar?q=parsing+mixfix+expressi...
I’m kind of surprised no one has mentioned IPFS [0]. IPFS x I2P [1] or IPFS x Tor [2] gets you like at least 60%-75% there (depending on individual skills).

[0]: https://ipfs.tech

[1]: https://geti2p.net

[2]: https://www.torproject.org
I think I did the thing where you think the sarcasm will be obvious except it isn't
I haven't looked at this specific plugin in a while, so I might be wrong, but from a quick glance (and from vague memories), it doesn't seem like the same thing.

Look, I've been using Python professional for 16 years, and ever since starting to use Jupyter 7 years ago, have been a huge fan and proponent of Jupyter. But the Jupter model is different from the Clojure "true REPL" model.

The main difference is that in Jupyter, you're doing something that is outside the normal files you use to write code. Both by writing in cells, but also you're physically in notebook files which are not part of a "regular codebase". Sure, if you're doing standalone analysis work or something, that makes a lot of sense. But if you're, say, writing the BE of a webapp, then you'd have your normal Django or whatever .py files, and separate Jupyter files for one-off analysis, or for writing testing code, etc.

In Clojure, those can be unified in a way, both in the development process and in the future. Meaning, you'd start off with the equivalent of your Django .py file, you'd make a special "smart comment" which doesn't get executed normally, but which you can manually execute via an IDE command, you'd write some code there, and once it's working, you'd move it outside the comment to the "regular" part of the file. You've now essentially iteratively developed a new function that is just part of your normal codebase.

And the "comment" that you wrote all the testing code in? That comment is still part of your file. You can use it to document the way your code runs, but in an interactive manner - anybody chancing on this file can just execute commands out of that comment and immediately see what they do.

It's... hard to explain, but it's a really powerful model, that completely obliterates the line between "exploratory" code like writing in Jupyter, and the "production" code that ends up in your actual codebase.

If you've never seen it, I highly recommend you look for a good video example of Clojure REPL-driven development.
Part of life, yes. Just not the part we care about.
I don't quote The Bible often but I think we can have some space for a quote here:

"Look at the birds of the air; they do not sow or reap or store away in barns, and yet your heavenly Father feeds them. Are you not much more valuable than they?" Matthew 6:26
I suppose this shows the purpose of the robot: to demonstrate the electronics. There is nothing interesting about solving a cube (although this robot is incapable of rotating the center), and a 3x3 cube can be solved quite quickly by humans already (3.13s!). I'd love to see them try to do this with any other cube. There's something quite special about the 3x3 that makes it easier to solve. No parity problems like an even cube, and no center pieces to move like a >3 cube.
I have small problems with older games like Civilization V and Fallout 4. Things like crashes and window minimization on saved game deletions.
New Glenn was announced in 2016. An 8 year long development process is hardly slow in aerospace. The development costs are also somewhere between three and four billion dollars. The real problem with Blue Origin is that Jeff didn't really give a damn about Blue Origin and let himself get scammed out of his money.
For him to be involved in fraudulent pump-and-dump he'd have to be an insider or being paid by insiders to pump up the price. There's zero evidence of that.
This is another big issue, but the EU does know and care about it. My current employer falls under the critical infrastructure category (we’re finance/energy) and that means we’re required to have contingency plans for how to exit Microsoft in a month. Not just theoretical plans, but actual hands on plans that are to some degree tested once in a while.

The issue is how impossible it is to exit Microsoft, and this is where I’m completely onboard with your scary part. We can exit Azure painlessly from the digitalisation perspective, well not financially painless but still. IT-operations will have fun replacing AD/EntraId though, but all our internal software can be moved to a Kubernetes cluster and be ready to accept external authorisation from Keycloak or whatever they have planned to move to.

But where is the alternative to Office365? Anyone on HN could probably mention a bunch, but where is the alternative for people who don’t really “use” computers as such? The employee who basically think a pc “is” Office365. As in we could probably switch their Windows to Linux and they might not notice if they still had Office365.

This is where the EU currently doesn’t really have an answer. We have a strategy to exit Office365, but I’m honestly not sure our business would survive it.
> If CUDA wouldn't have been tied to NVIDIA hardware...

Initially I thought that AMD didn't offer a CUDA reimplementation out of NIH-syndrome (as it would be a marketing coup for NVIDIA), but then I saw that NVIDIA seem to be actively trying to shut-down independent attempts at running CUDA on non-NVIDIA hardware: https://www.techpowerup.com/319984/nvidia-cracks-down-on-cud...
> The other good, light, quick, and easy-to-use alternative is Pixelmator Pro

Unless you want, e.g., a destructive crop[0] which they have been not adding for at least 4 years and counting. Since my graphic work generally involves cropping, that kinda rules out Pixelmator Pro for me and forces me back into the Adobe Tax Hole.

[0] There are undoubtedly many other deficiencies but this one really irks me.
> Griddy was the company that hit the headlines [...]

Yes, most sane well regulated places don't allow things like this to exist in the first place.
I'm not sure about the property-based testing thing. In this example, yes, you can easily write a test case that compares against the string-based algorithm. But in general, this is one of the biggest weaknesses of PBT, which is that you need to find a good property to test.

In a lot of cases, the most useful property is "for all inputs, the result is the right answer", but we don't know the right answer until we've written the algorithm, and there's not usually much point writing two algorithms unless, like here, one of those algorithms is trivial correct but inappropriate for some reason.

More generally, I feel like the more trivial a property is to check, the simpler the code to implement it is, and the less useful the test is in general. In the extreme case, a getter/setter pair is very easy to test with PBT, but you rarely need to be testing your getters and setters.
But what if I don't need all that. What if the AVR is better for some of the uses cases? Or if you already have code for AVR/Arduino.
Agree "...in pure rust" always reminds me of that scene in psych (Sean guster buddy detective show) where Sean is trying to guess a trivia question at local bistro for free coffee and muffins when he's beat by a better trivia guy ... the scene ends with the bester winning but he declines taking prize and says nah, I was stopping in to recycle and proceeds to plop a plastic bottle in the recycle bin. He walks out smarter, so good he needs no free stuff, and he's a recycler too! It's a kind of uppiness nobody likes.
Not gonna lie am also getting 200% triggered whenever he states gVisor Syscall costs lol
There would have to be more to it. If cuda is just the software that Nvidia customers use, or nvidia hardware is chosen because cuda is better software, it's not going to pass a market welfare test nor would monopolistic practices be found. Expensive switching costs per se aren't considered damage to welfare.
Trying to understand consumer privacy behaviors outside the prevalent social contract that the vast majority of people operate under is bound to missinterpret what is happening and why.

We live in a regulated "supermarket" economy. What surfaces on a screen is entirely analogous to what surfaces on a shelf: People check the price and make their choices based on taste, budget etc. They are not idiots, they operate under a simplifying assumption that makes life in a complex world possible.

The implicit assumption central to this way of organising the economy is that anything legally on sale is "safe". That it has been checked and approved by experts that know what they are doing and have the consumer interest as top priority.

People will not rush back home to their chemistry labs to check what is in their purchased food, whether it corresponds to the label (assuming that such a label even exists) and what might be the short or long term health effects. They dont have the knowledge, resources and time to do that for all the stuff they get exposed to.

What has drifted in the digital economy is not consumer standards, it is regulatory standards. Surfacing digital products with questionable short and long term implications for individuals and society has become a lucrative business, has captured its regulatory environment and will keep exploiting opportunities and blind spots until there is pushback.

Ultimately regulators only derive legitimacy from serving their constituencies, but that feedback loop can be very slow and it gets tangled with myriad other unrelated political issues.
When I read that, I thought it was referring to SpaceX in general not Starlink specific. Reading comprehension let me down yet again
There's no such thing as a "pre-industrial" economy.

Sweden and Russia had a military-industrial complex, in the modern sense of the word, back in the Northern War.

The Bronze Age required global supply chains and massive mining of rare earth minerals to function. (And before that, going back to the Neolithic we have the same for flint or jade.)

Europe's medieval economy was a specific reaction to Rome's supply chain collapse, not a default state of humanity.
It seemed like a no-brainer to me to open the hardware up to more general purpose compute.. but I'm a software guy who started on machines where where completely open and can "do magic" thanks to that.
The cynical in me thinks this is very suspicious to have appeared organically.

Especially when you consider it is very convenient for the plebe to direct their attentions to this subject while ignoring the other far more nefarious stuff the same elites have been doing to allocate a bigger piece of the pie for them.

It is almost like someone is distracting the Tiers-État with a sacrificial goat.