skysight-inc/HackerNews huggingface dataset:
No, not at all.

C++ is much closer to something like OCaml than to C or Java.

The "complexity" is not accidental, and it only seems complex because people are not used to languages with static typing systems. C++ is not complex if you mastered something like the Haskell type system.

(C and Java aren't really statically typed; they rely on run-time typing for polymorphism.)
As it relates, the only reason I could find that quote to reply to you was because I have the book in digital format. I remembered the word leather, and "leather" only appears in Leviathan Wakes 8 times, making it easy to find.

I love paper books as well, but I think the authors have prophetically captured the inevitable. Cutting down forests to only add tangibility to our bytes just isn't worth it.
Show HN: Experiments on Machine Translation in Pure Go
I'm grateful to anyone who feels like commenting, critiquing, or even better getting involved to improve this Machine Translation implementation which is currently very slow (almost unusable except for very short sentences).
Rather than sifting through massively multivariate data from epidemiological studies, better to see what vitamin D actually does at the molecular level. Huge literature on this. For instance, it doesn't 'seem' to modulate the immune system. It does. Start from there and then see how these reactions are attenuated.

Can best advice can be extrapolated from this: The people who took Vitamin D supplements consistently for a year before being hospitalized did better because people who can do anything consistently for a year will do better - this selects for high-conscientiousness people who care a lot about their health and have good relationships with their doctors - though one might say 'Anything?'.
How's that energy consumption drives demand for batteries? Does gas consumption drives demand for spare gas canisters?

IMHO rising energy price is totally not good for Tesla's and other electric car manufacturers. It increases TCO of electric vehicles and companies' cost of support for premium models with free charging access.
The chap that makes datasette (the video tour on the home page is an excellent way to spend 20 minutes) also makes a few handy tools for common sqlite manipulation tasks: https://datasette.io/tools

You can just “pipx install <tool>” to avoid polluting your system python install with dependencies (pipx handles creating virtual environments and putting the tools on your path).

Shout out for the apple healthkit one, i had fun using datasette to explore that db.

The hackernews to sqlite tool works fine (user name is case sensitive).

The page doesn’t document the most universal tool there - sqlite-utils but there’s a sphinx doc for it https://sqlite-utils.datasette.io/en/stable/cli.html#transfo... some of the transform features are nice time savers.
That's a risk, but I don't think it's as big as you think it is; it implies that an employer already has more staff than they need to have.

Social safety nets is another thing that needs to be improved though. I don't believe in UBI myself, I think (and I'm not an economist) that the cost of living will just go up by an equal amount, negating the whole thing. It seems to work on a small scale, but cost of living is not changed significantly if only a small section of a country receives UBI.

Anyway, back to unemployment, in theory automation causes unemployment too, but in practice, while people lose jobs over automation, the overall unemployment rate is not significantly affected. Or in other words, there's always more work to be done.
FWIW, most (arguably any/all) non-dependently-typed languages would let that slide, as [] is of type "array of (at best) X (which could be inferred as number by working backwards from the declaration)" and one of the operations you can do on an array is to index it, by a (maybe unsigned) integer, with 0 (either way) thereby being a valid index. For this to fail, in addition to the type of the array being parameterized by its size (which is at least not too uncommon if not exactly common) the type of that index operator has to be (more notably) at least parameterized by the concrete value 0 if not the abstract expression 0 (which would let you use a proof assistant to verify it for non-constant cases).
I, and I imagine many more people, block all external resources by default, which has gotten me removed from a mailing list I was interested in.

Although I will give you that the vast majority of auto-removals have been beneficial for me.
EvolutionIQ | 2-year old profitable startup seeking Senior Software Engineers, Product Managers, and Machine Learning Engineers.

Based in NYC|Remote|Full-Time | Python (a must) |React|postgress

OUR DIFFERENCE
We’re leading a major change in the way insurance claims are handled, moving from disparate, human-based reasoning to data-driven optimal handling.

https://evolutioniq.com/about/

Contact: Andrewnguyen@evolutioniq.com feel free to send resume.
> they get no error, just a totally broken program.

Actually now - the import protects from that.
Wait so they're claiming that, today (or roughly today), we could basically do everything through synthetic fuel (Not requiring much, if any, retooling of existing infrastructure) and basically have major CO2 reductions?

This seems like a major no brainer? Especially if you start getting into "places with a bunch of sunlight but no natural petroleum can now turn into energy magnates"?

This seems like an extremely powerful idea
Maybe those other companies are just rolling the price into the cost of the goods? I looked here at a competitor and they were both charging AUD$69 for the delivery of a sofa.
it also seems very easy to lose. but maybe that's thev real money making idea!?
Eh, beg to differ. There is certainly domain knowledge to be had, but the underlying principles behind any particular layer of the stack tend to be more similar than different across languages and frameworks. Everyone needs a database, authN & authZ, network requests, state management, pretty forms, error handling, optimized images, etc etc.

Knowing how these layers work as concepts is a lot more important than deep expertise with a particular implementation.

From the perspective of a new hire, you'll spend easily as much time learning their idioms, mutations of the platforms, unique glue code and business logic as you will learning the platform.
C++ is the language that is changing the fastest of the three. In 5-10 years it will be the most modern choice; D is already legacy.
Yes, it's exactly what I was getting at. It's memetic evolution, it is extreme openendedness at work. Planning is only good when you get close to the solution and you can see the path ahead.
Evil comment
Sadly, Windows 10 seems to get bugger by the month. The more I use it, the more weird behaviour I seem to trigger. The recent bugs causing file system corruption when running a disk check also didn't help its reputation in my mind.

After some necessary patching, the original Windows 10 is quite good to work on. Sadly, Microsoft has seemingly changed Windows to an "OS as a service" model, which includes sending huge amounts of tracking data, instead of building just a good OS. For the average consumer, this Ubuntu-like model or continuously pushing out the latest and greatest works fine, but for professional use there is very little benefit. No desktop publisher or programmer ever asked for deeper integration of AR into their system but these features have become mandatory if you still want to receive maintenance updates for your OS.

When OS updates force a subscription-based video calling system onto your device, things have just been taken too far. A real shame.
The language relies heavily on comments from way way back.
Return OSS support to mpv: FreeBSD
Tesla May Have Already Made More in Profits from Bitcoin Than Electric Vehicles
It's not "the system" that is broken in that case, just your personal life. There is no system that provides for you, you have to do that yourself.

Edit: I think "get a better job" is a better argument than "I am such a victim, there is nothing I can do, everybody else is at fault". What else than getting a better job can you do? Seriously? And you don't need better education or stuff like that. If you work three jobs, maybe you can replace them with a normal job in a factory line or whatever. Just because you don't immediately get bestowed with your ideal job, doesn't mean that everything is hopeless and society is exploiting you. Most people don't start out with their ideal job.

Jobs don't fall from the sky. And nobody owes you a job. If there are no jobs in your area, you should move to someplace where there are jobs (maybe because a new Amazon warehouse opens or whatever). Yes, there can be circumstances where you can't move, like perhaps having to take care of sick relatives. But those are also temporary.
I went and bought one of these allen keys to disassemble a well worn piece of Ikea furniture, only to unzip the back of the chair during disassembly, to find the allen wrench.

Spent a good half hour looking for the manual online, only to remember Ikea manuals are all pictures. I found the manual and was reminded of this. About to give up, I took a risk, and thankfully bought the right sized key. Allen wrenches are made in both Imperial and Metric scales; Ikea, being Swedish, meant correctly picking metric.

I later looked through the manual, and on the 2nd to last page, it documented the correct key size.
Simple Python Version Management
The problem with people who think like this is you forget that economics is not a science. Economics exists inside of politics.

What happens time and time again if the working class has it too rough in a country with a sizable 'aristocratic' class just below the ruling class?
I’ve seen something like this on Apple Mail.
You assume that your friends aren't being paid off by advertisers? They aren't required to tell you
Great at discouraging hoarding I'm sure!

But how can this encourage adoption?

Who would want to hold an asset that is designed to lose purchasing power?

If nobody wants to hold it, then nobody wants to get it as payment.
The interesting thing on Reddit is that every sub Reddit has their own set of moderators. If you go to /r/China or /r/history you will get destroyed for even posting the most sane comment, in other reddits there is literally zero moderation which can be very relieving (if the community is not too big). so reddit can be good for everyone whereas Stack Overflow is converging to be good for no one.
How architects make decisions – or why you might spend a fortune on a red car
>If space exploration is so importanr to the future of humankind, why do Americans have to bear all the expense?

Countries other than the United States are actively exploring the solar system, and until recently the United States had no independent capability for manned space flight and depended on Russia's Soyuz program.

To claim that Americans bear all the cost is disingenuous at best.
> Sounds like you’re saying Bitcoin only has value because the PRC allows it to?

Please learn how the Nakamoto Consensus works and how nodes protect the Bitcoin network while miners are slaves to the network. There's a rich history of this being tested by adversaries.

https://news.ycombinator.com/item?id=26089898
I have tested this and the cache expires pretty quickly. From memory 10min -30. I thought that was fine because its around about one hit per session.

You get enough good information. The IP address would be even better however.
As someone with a daily email "newsletter" of my own [1], I am aware of (many of) the vagaries of spam filters. I use plain text only, though, so I couldn't use tracking pixels even if I wanted to. I do unsubscribe users if messages start bouncing but I have no way of knowing if they get silently dropped or spamfoldered.

As someone who subscribes to lots of newsletters, the "interact or we will auto-unsubscribe you" thing still annoys me.

[1]: https://www.aphorismsgalore.com/daily
Apparently Ortiz had also gone after Walsh. Now Walsh is nominated for labor secretary. This is the “final comeuppance” for the prosecutor who drove Aaron Swartz to suicide. Link also mentions that Heymann (Ortiz’s chief of cybercrime) knew Swartz was suicidal and didn’t give a shit.

Also of note: apparently MIT had an unlimited access license to JSTOR. Which suggests the question: what, exactly, did Swartz even do that was illegal?
I've unsubscribed before only to find myself subscribed to a bunch of similar things instead. Clicking a link confirms your address reaches a person and is therefore worth spamming. Plus the risk of phishing. Plus the dark patterns in the unsubscribe UI.
Whenever I do leetcode, I use python. This is because most of the constraints that are useful to check in an algorithm can't be encoded as types. Instead I sprinkle a lot of asserts (possibly using slower bruteforce version of the code) to check invariants and properties that I expect to be true.

I think dependent types is supposed to solve this problem (for example, rather than just a list of ints, it can encode that it's currently a sorted list of ints) but they don't seem practical to use at the moment.
I run https://www.emailprivacytester.com - People will visit my site, enter their email address, receive an email from me, click the "confirm" link in that email, then once confirmed that they control the email address, go to another section of the website and send themselves a test email.

Then they will go into their email client and click the spam button on both of the emails that I sent them. The confirmation email, and also the test email.

Even though they requested these emails. Even though both emails have an unsubscribe header and link which takes them to a place where they can opt-out in perpetuity from receiving any further email from me.

I know this, because I get feedback loop emails when people do it.

This happens regularly.
This is great, it will be great if tech companies can also start working with the government systems which recognize the legal heirs as well. In the case of GitHub it may not be so pertinent, but with email ids etc. where bank account details and OTPs are sent to, it may be important for email providers to recognize real world legal entities and work with the usual estate management legislations.
Ha! Thanks, interesting read, and amazing memory :).

Reminds me of being a kid when we got a de-scrambler by my uncle, who worked as an engineer at Ericsson. It consisted of two large metallic cylinders (coffee containers really) in series, with what I assume is a turnpot or turncap in between them. Tuning was done by adjusting that turnpot, until the horizontal noise and rolling was removed. And that's the story of how we got TV1000.
> How do you propose making low wage jobs generate enough revenue to become high wage jobs?

They don't have to; it should be a factor of the overall company's revenue. If you take an infamous company like Amazon, they have 1.3 million employees worldwide generating 386 billion in revenue; that's nearly $300K per employee of revenue generated. Surely there's room there to pay people more.
If people without a job end up homeless something is seriously wrong with the social safety net.
Have you tried using different versions of SQL Server from Python on Linux and Windows? There are a few libraries but none of them support everything (instance names, unicode, ...). Compared to using sqlite it's a massive hassle.
I’ve used TikTok, and the way its algorithm made me feel is unparalleled. It’s truly something else. I’m not sure how it does it, but it’s one of the only apps where one truly feels they have a live being behind the screen watching and tweaking the recommendations. It’s fluid, responds almost immediately, and feels like it knows everything about how I consume the content. Tiktok must employ some smart statisticians.
The research people have been doing into conveying the dangers of nuclear dumps to potentially primitive future peoples is quite fascinating.
I don't think rendering is the end goal here - the bigger potential is real-time manipulation of SDFs similar to Dreams geometry editor.

As for rendering, the SDF can be rasterized in shader, or it can be cube-marched to mesh and rendered in standard pipeline. It would be great to hear your opinions on both methods in context of real-time graphics.

Edit: Here's a video of Dreams shape manipulation https://youtu.be/D4Kk36oqGMY?t=589
For people who prefer a GUI

https://sqlitebrowser.org
That's support you pay for tho.
We also were surprised when i worked at a 9 person company to get someone from google on the line too when we were considering using google maps api for a project. Support which wasn't payed for but which I assumes comes from the expectation that we might become a paying customer.
Hey [1] blocks tracking pixels but is smart enough to still show images.

https://hey.com
A typechecker that is "complete" will always accept correctly-typed programs, but it may accept some incorrectly-typed programs.

A typechecker that is "sound" will always reject incorrectly-typed programs, but it may reject some correctly-typed programs.
He is indeed. Every time I read something by Eco I'm both surprised by how pleasant he is as a writer, and by how handwavy and poorly supported are his arguments and conclusions.
> A $2.7bn RC car.

One that could find life and immediately invalidate every religion's current perception of the world. (Or at least require rethinking from religious leaders on how to adapt to this new information.) A lot of people - even atheists - will have to change their model of the universe. It would probably be the most critical and important moment in human history.

From there we have to start thinking about how to protect our own species. Because if we're not the only life, and it's as common as the next planet away, imagine what else lurks out there...

It would kick off the next, even bigger, space race.

Even if we don't find life, this thing comes so loaded with experiments and new engineering that it propels us forward for the next generation of planetary exploration tech.
>If bitcoins price continues to rise, miners will be greatly
incentivized to further decrease power costs.

That's not how bitcoin works. The price of bitcoin is the budget you can spend on mining a single coin. If the price is higher, you can afford to run more miners. If the cost of electricity goes down, you can afford to run more miners. If the efficiency goes up, you can afford to run more miners. Running more miners increases the mining difficulty and you are back where you started.

If Bitcoin is worth $50k people will destroy $50k of energy to acquire Bitcoin.
Sounds very charmed.
I am the same, and also weight lift and ride bikes so it's not from lack of exercise either.

My sleep cycle drifts naturally forward, and it has lead to many weird issues. I don't fit in a 9-5, at least not without feeling like shit for 80% of the day, being basically useless during the 9-5 portion.

I'm happiest when I just let it happen, and accept that for some portion of the time I am essentially a night-shift worker. But I'm not totally satisfied with that, either. I would love to be up at 9am and down at 1am every day, I think that's the sweet spot. But inevitably 1am becomes 2am, 3am, 4am, 5am, and at about 7am I will just stay up for 24 hours and start all over. This happens over the course of a month or so.
Thunderbird’s "Simple HTML" view is really nice for this. It’s basically Firefox Reader Mode.
What Google ATP does is called “brain rape”

https://youtu.be/JlwwVuSUUfc
Isn't it strictly better on a non cost basis for now though if you need range and want efficiency?
> Yeah that's the better part of 95% of them for me.

100% of them for me because i don't want any stupid newsletters. Yes, all of them go into the spam folder.

For some business that I otherwise am a customer off i also forward their shit spam to their support and tell them to unsubscribe me, even if they have a link. For the simple reason that if they feel like they can waste my time with their shit, i'm gonna waste theirs too.
They have put together separate service - nebula
IoT Security Services Are Expected to Reach US$16.8B by 2026
I have about 65k rep on SE. I asked a lot of questions, answered many.

And still, when I ask a question, someone sometimes either requires a working example or show effort done to solve the problem myself.

Even when I explained in the question why I cannot show an example, or that I simply do not know where to go.

And then it gets closed because opinion based or whatever.

This is when I wish the closer to always, for his all life, need to get up to get the remote after having comfortably installed themselves in the couch with all their food on the knees.

I like answers such as "look up jhhyhgffg" (the concept that explains my question), ideally with a short comment. It does not always need to be working code.
It does not. That's how it should work, but it does not work that way. It downloads them on demand if and when the user views an email. So it protectes the users IP address from the spammer/marketter, but not the fact that the message was viewed nor when it was viewed.
If you look at the electric energy used for driving the same range, the "e-fuel" powered combustion engine is like a factor of 10 off. The combustion engine alone is at least 4 times less efficient than the electric powertrain and that does not account for any inefficiencies in generating the e-fuels nor their processing and transportation. It would be a disaster to produce them while there is any coal or oil burned for electricity production. Only when they are used to replace the last usages of fossil fuels, they make sense. As you write, for planes for example.
Why Is Elixir Making Headlines?
> Everybody should be able to live comfortably, working at most 40 hours / week.

What if they aren’t productive enough to earn that amount of money? Where does the money come from?
Bitcoin Near Record High as MasterCard Forges Crypto Path – TheStreet
V-I in jazz*
>>> let the community vote out the jerks from among them.

this is the perfect idea: make each moderation step transparent and attributable. allow voting down every wrong 'duplicate' decision and every moderator that closed questions for no good reason.
There is a ton of misconceptions out there about paper. Not saying using less isn't a good thing, so.

Most paper uses a very decent amount of recycled paper, has ti actually. To the point the industry faced issues last Q1 when demand went down and there wasn't enough recycled paper on the market. Trees are grown explicitly for paper production, and are regrown in the same forests. Net forest losses are mainly due to farming, e.g. in the Amazon region. Energy wise, paper production offers great opportunities to balance the grid.

Most paper, at least in Europe, is actually recycled.

And electronics do have there issues as well. They consume raw earthes, are consumed as well, end up in land fills and also have quite extensive supply chains and CO2 foot prints. And they consume electricity, which has to produced. And we are nowhere near the necessary levels of renewables.

I do support getting rid of useless paper consumption, it just not as straight forward as it seems.
If you want to test if your email client is loading tracking pixels, or a variety of other techniques to track your message reading, check out out https://www.emailprivacytester.com
I guess then you'd need another mechanism for dealing with re-defining APIs in incompatible ways within the REPL. It's a pretty common use case for REPLs to play around with APIs and temporarily break them.

The best alternative is to keep a map of all of the definitions with broken type checks, and refuse to generate new machine code/bytecode as long as that map is non-empty, and keep using the older definitions until again get back to a sound state of the world.