skysight-inc/HackerNews huggingface dataset:
Just start talking to yourself out loud - they'll quickly assume you're perfectly normal.
Fuzzing sounds like a very good idea to employ right from the beginning when writing parsers for complicated file formats.
“Obvious” was probably the wrong word there. I think “achievable” is probably more apt.

Poor choice of words aside, the point stands.

And as for humans being far more intelligent in the future, I don’t buy it. Maybe in millions of years with evolution, but I’d bet on humanity either killing itself or replacing itself before that happens.
Unless you're in a condo/apartment building where it's often 208V, not 240V. Kinda annoying when your "208V/240V" dryer puts out 25% less heat.
> As a result, inexperienced recruiters or HR staff would blanket disregard these applicants even though a lot of them are much more qualified than non-flagged applicants.

Aren't you told as an applicant that you can improve on "x number of points, buy premium to see how you can become a better fit"?

E.g., it's an intentional upsell, to get not only the demand side of LinkedIn to pay for pro features, but also the supply side.
You say freedom but it sounds like you already have some viewpoints you don't think should be allowed, so freedom for you but not for others?
It exists also because legal system is setup that way. For Example I Europe there is tendency to expect more detailed regulation to decide where lines are. In USA you get more general law and then people are supposed to fight it in court. Courts then decide details by cases.

It is rather bug difference.

Also, insurance companies when they settle claims, they force you to formally sue the other person or they sue each other. Most of these are routine formalities. Again, system setup in a way to generate suits.
Canadian here. I don't own a plane, yacht or luxury vehicle and am not planning to buy one. I live with my partner in a tiny, modest apartment (<1000 sqft).

I feel 10% is going overboard. I assume it's on top of the existing 5-15% sales tax (depending which province). The government seizing 25% of the value of a purchase feels like outright robbery.
For those viewing this from the lens of the US, keep in mind the highest income tax brackets here are north of 50%. (Yeah... Canada has a lot of tax).
High levels of social trust. Makes for a good environment for scams - everybody wants to think the best of people.
v8 is not great at large heap sizes...
Wow, it’s interesting that a paper from 2016 is already classic. This field moves fast!
Awesome. What did the Kill Search menu option do? Did searches actually last long to let the user actively wanting to stop searching?
> an imbecile could support himself doing menial labor. Now not so much.

Yea, Today an imbecile could run the country..I would leave the specifics to your imagination..
Depends on what you want to do. For blinking some LEDs be prepared to write some asm level code. For gigabit transceiver system prepare to deep dive into complex IDE from the manufacturer. I am here minority claiming, that vendor tools are okay. Everybody else wants open source toolchains. Last week I dealt with complex clock distribution problem in my design. It was easy to debug it with vendor tools. I don’t know how far are these open source toolchains in such complicated matters.
It’s an MVP.
Agreed about the binomial formula, but don't you need induction to prove the binomial theorem? That is, if you have some sort of set that's like the naturals except that Peano's axiom of induction doesn't apply (such as the naturals plus Alberto and Cristina, who are one another's successors) is the binomial theorem necessarily true in it?

Agreed about Maclaurin series.

I didn't know there existed smooth functions with divergent Taylor series. I don't understand how that happens; if we're looking at term $n$ of the Taylor series around some point $a$, it's $f^{(n)}(a) \frac{(x - a)^n}{n!}$, where $f^{(n)}$ is the nth derivative, right? I guess you could have a function whose derivatives eventually start increasing so fast that even if (x - a) is 10^{-100}, the exploding derivative eventually wins?

PARI/GP helpfully informs me that deriv(atan(x)) is 1 - x^2 + x^4 - x^6 + x^8 - x^10 + x^12 - x^14 + O(x^16), which sure sounds like the sort of thing that would diverge when |x| > 1. But presumably that's based on the Maclaurin series for arctan, and you'd get a different result if you were taking a Taylor series around 0.9 or something? In response to taylor(atan(x-9/10), x) PARI/GP says things I will not repeat here, so I guess blindly pounding on the keyboard isn't going to get me very far. Some guidance could be helpful.

I think differentiable programming is a new paradigm in the sense of logic programming and functional programming, and I do think it goes beyond just autodiff (though the linked article only explains autodiff). To the extent that a programming system is differentiable, you can use gradient descent to search for programs that minimize a loss function, not just inputs that do. But even just searching for inputs that minimize a loss function is a pretty different way to program than the conventional approach, even though Ivan Sutherland proposed it as a general approach in SKETCHPAD.

An example of a differentiable programming system is in https://arxiv.org/abs/1605.06640 "Programming with a Differentiable Forth Interpreter", 02016.
Sorry to bicker, but MLMs and Ponzi schemes are really different things.
> Women can raise the next generation of boys and girls however they wish. If they keep propagating existing culture... It's done by women to next generation of women.

If your claim is that only women are responsible for propagating cultures where women are considered property, require dowry payments, lack women’s rights such as schooling, property rights, voting, driving, etc., then we will have to disagree.

I am pretty sure men have something to do with shackling women in certain societies.
Probably not the way they hoped to reach HN front page...

Having followed the project from the beginning, the blog, the podcast: I hope they (the people) are ok.
Breaking windows sounds more like physical damage
How comfortable are you with functional programming? I've found digital logic to have more in common with describing data transformations than C/ASM, though understanding bitmasks/bitflipping helps.
> I am all for finding ways to move it west where people say they need it and are willing to pay a premium.

Note that the premium amount they would be willing to pay is approximately $0.0017 per litre, delivered treated to their doorstep.

[1] https://www.phoenix.gov/rates# says ~$5/unit, with each unit being ~750 gallons, or ~2850 litres
CBC Radio has a weekly program called Podcast Playlist: https://www.cbc.ca/radio/podcastplaylist
I agree with some of your criticism of the article, but I disagree that nuclear waste is a problem.

Yes, we have to store it somewhere. But all US plants combined make ~5k cubic meters of nuclear waste a year. To put that in perspective, the strategic oil reserve is 100 million cubic meters. A single aircraft carrier is 2 million cubic meters.

Political will aside, finding a place to store this stuff doesn’t seem like a massive problem.
Not US based but have done work in Nevada, Arizona + Utah and might be able to answer your question.
It definitely includes email.

It seems like maybe you can go back even if you affirmatively upgraded? Haven't tried obviously but the Google page about it seems to indicate as much.

https://support.google.com/a/answer/2855120?hl=en
It seems, in my subjective opinion based on reading the Wikipedia article, the engineering standards employed by the Soviets in the Aral project is subpar. Furthermore, the 'destruction' of the Aral sea, based on my reading of the article, is considered as an acceptable to the Soviets (they know that the Aral will shrunk). T

The letter proposed in this thread seems to understand the danger of the taking too much water and thus propose a reasonable limits of 2.5-5%. The limits could change based on a more detailed feasibility studies (which is the main point of the author, let's think about it.)
She found success in her time, but in retrospect and in a wider context her work is viewed negatively for obvious reasons. That doesn't seem shocking or incredible.
You’re describing Japan. Does Japan have pyramid schemes and MLM?

I just watched the anime “Welcome to NHK” and there was an MLM subplot.
Well... they wouldn't have been arrested if the mandates had been lifted. Or are you talking about people protesting them now? Because, If they weren't still protesting them, the mandates would still be in place or be re-imposed!
It's not hard to get into at all, if you're already comfortable thinking in terms of bits and digital logic.
That's condescending. There is, obviously, a use case for in-core text search. E.g., mine is that it's better to waste a few CPU cycles in the browser than on the server. And Javascript runs pretty fast, and has been doing so for years now. And while a Javascript implementation won't beat a well-programmed C/Rust/Go version, the fact that it's in core helps it speed undoubtedly. So, if you ever need a web user to search some moderately sized set of texts, this might be really helpful.

As a matter of fact, I have a similar module in my applications, e.g. for typo resistant searching through help docs and hierarchical menus.
It would probably be far more practical and useful to run one with lots of RAM and no dedicated storage.
slither.io?
Early character sets were indeed very limited and inconsistent in many ways, which contributes to the keyword-heavy style of many early languages. (The other factor behind it was the sheer amount of features that were provided by the language itself, as opposed to library code; minimalism was not generally favored. This in turn encouraged "fancy", hard to parse syntax for those custom features.)
Looking up words is not stupid. Misusing words because you assume you know what they mean, that is stupid.
> The people who are breaking the law - all of them, not just the politically convenient ones to go after - need to be fined and/or arrested.

Context and proportionality are important too.
I really can't understand how so many smart people fall for wind/solar promises. If you just think about it you have to realize it is not reliable solution for 21 century, it is not scalable for ever increasing (exponential) energy demand, population growth, land needed for expansion. It is simply stupid to rely on energy produced from sources that are by nature unpredictable (like wind, or sun).

Solar/Wind can and should be present as energy sources, but only as supportive sources, with no more than 5-10% of total production. Everything more than that is risky and countries will have hard wake up call one day.
I knew without opening the link that it's about Rochester MN. I have a love/hate relationship with AS/400 and I think they're interesting in their own unique way. Systems like SUN/SPARC, Power, 68k etc all have become parts of history, but AS/400 (iSeries) and s360 (Mainframes) keep chugging on.

I recently visited Poco in Berlin and was pleasantly surprised to see them using AS/400 terminals. I also know it is used in several finance companies like Societe General.
We needed AS400 Opel Sourced. IBM are you listening?
> because of some development in the future will make recycling of spend fuel rods feasible.

Context: They are responding to a complaint that isn't explicit here. That complaint usually comes in the form of: "we have nowhere to put the waste" or "Yucca Mountain was canceled and we'll never have such a facility because of NIMBY." So the response is more "We can store on site and don't need deep geological depositories, here's others who have done it. But if you really want a geological depository, here's Onkalo." We can already do on sight, and this is already being done, so it makes sense to argue about this. If we want to do some smaller scale DGDs then we can do things substantially smaller than Yucca Mountain and have decades to build it.

I think without this context, it comes off as extremely hand-wavy. I'll admit that there is some hand-wavyness, but without something in place all you can argue is "this problem isn't as hard as people think. We can do it, here's real world examples elsewhere." I'm not sure what other argument they are supposed to make.
Thanks for writing this up, Dan.

Whenever this discussion is rolled out again, it's useful to address a few key points. First, open source is defined by the open source definition. This is not contingent on the OSI receiving a trademark for the term. The common usage of the term is defined by the OSD, and much in the same way that selling "cakes" and fulfilling orders with used car tires is dishonest, so too is pushing non-free software under the brand of open source.

And note that open source is defined by the OSD -- not by the OSI. Should the OSI attempt to re-define "open source" without careful consultation with the community or in service of a conflict of interest, the community will withdraw its support for the new definition.

Painting the term as having always been loosely defined is historical revisionism. What we have always seen, and what we are seeing now, is a minority view that seeks to forward an unorthodox definition of open source in the service of their private financial interests. I am not prepared to accept a novel interpretation of open source because you feel that it would be more profitable for your business if I did.

The open source brand has been wildly successful and it's a lucrative target for bad actors to exploit with non-conformant software licenses. Don't be a sucker. These interpretations are not in your best interest.
I have stopped listening to audiobooks while I'm out for a walk.

At first, audiobooks seemed like such an efficient use of time. But after finishing a couple of audiobooks on my walks, I felt that my brain and my ears always yearned for not listening to audiobooks and instead just wanted to enjoy the walk itself. Now I just walk. If I'm not feeling that well, I do put on some music for a while, but never an audiobook or a podcast.

On that note, I have decided to just read physical books. For all the inconveniences that reading a physical book has, I have felt that it makes reading more intentional. I can't just read anywhere or anytime I want. I have to now deliberately decide to read, even if it is way more inefficient. It lets my thoughts breath and settle. The purpose for me now is not to read as many books as possible, but to enjoy the books that I do read, and absorb them down to their core.
I dunno, usa does not sounds like shining beacon. Between qualified immunity, asset forfeiture, and general acceptance of cops right to shoot you cause you have hands wrong ... plus justice in us is so expensive, that you likely can't afford it in the first place.
My kids are 13/11/9/7/3/1 and we homeschool. I took over math in September after the new baby came. I taught the four oldest from the Life of Fred series. The youngest was tearing through the books too fast, so at Christmas I gave her a cribbage board and we played that all spring. Her addition quickly surpassed the 9-year-old, and when we played 3-player together she would tell her sister how to work out things like 16+7.

For multiplication, King Domino is great.

I like that neither game requires reading. Century Spice Road is another one like that we enjoy.

Agricola is bigger and has arithmetic more in the background, but it has a lot of affinity with math. My oldest is decent at it. My youngest aren't competitive at all but they love just collecting big flocks of sheep. You can play without cards (the only reading), but personally I like to deal them a hand and let them ignore them if they like.

Another beautiful no-reading game with less arithmetic but plenty of affinity is Carcassonne.

My kids also get super excited about Robo Rally. It's kind of a programming/planning game. It's way more fun than that turtles game. It starts to bog down past four players though.

So I think one answer to "casual math" is playing games. You're giving them a chance to exercise their brain while having fun (and spending time with you!). No need to mention that it's for the sake of math.

Besides board games there are also puzzles. Just Saturday I brought home some books of brain teasers from Costco. These:

https://www.amazon.com/Mindworks-Brain-Training-Right-Brain-...

https://www.amazon.com/Mindworks-Training-puzzles-Bind-up-Pa...

They are much higher-quality than a lot of the math puzzle books out there. So far they seem to be really enjoying them.

For older kids, maybe read a Smullyan book together.

You can also just talk about math a lot, and if you love it you will infect them. One bedtime I explained the Bridges of Königsberg to a then-5-year-old, drawing pictures and letting her try to find a path. Even she could understand a casual proof that only the start & end locations could have an odd number of bridges.

If you tell them about negative/complex numbers a bit too early they feel like you've let them in on a big secret. The fact that high schoolers spend a year studying nothing but triangles blows their mind. I'm sort of notorious for fetching a pencil & paper in the middle of dinner to draw pictures about a thing from geometry/trig/calc/whatever. . . .
I witnessed the split of gogs and gitea and while the maintainer of gogs was indeed rarely active and merged PRs very slowly, they at least examined the code and made a proper review with suggestions.

The gitea guys wanted to move a lot faster and in the process neglected quite a bit of code review and product planning. Apparently this continues to this day as evidenced by the PR you linked.
And for an upper limit: 18000V / 137 = 131.4V
The micro-decisions you're referring to are trivial and no more of a cognitive load than deciding where to put your feet while walking.

If you're an anxious or unskilled driver, sure, it's probably stressful. But most people reach a point where they are as comfortable driving a car as walking down the street.

30 minutes of driving in my private, climate-controlled car, with a comfortable and highly-adjustable seat, listening to music or podcasts of my choice? And the ability to carry whatever I want? I'd choose that over 30 minutes of sitting on bus or train - which is likely to have uncomfortable seating, too hot or too cold, loud, obnoxious, smelly, or mentally disturbed other people - with no ability to transport anything more than you are willing to carry. Even at par, I would rather have my car - let alone if public transport takes 3x longer.

Last time I took BART into SF a guy sat down in the seat in front of me, opened up a plastic bag, and pulled out a needle and started injecting himself with something. I don't believe it was insulin. Uh...rather stick with my car, thanks.
I'm not deep in on this stuff, but isn't Itanium essentially the only implementation is IA-64? Presumably Intel was pushing the envelope on their implementation of the ISA.
Close enough that you might be able to submit a copyright claim to Google?

https://iloveseo.com/seo/google/how-to-report-copied-content...

As a fan of your site I’d prefer to find the original high quality content rather than the ripped off material when I Google for an article.
A Brief History of Peanut Butter (2021)
Clean UI. Nice work. Do you hand curate each poem?
Usually it's fairly simple to get your feet wet and a blinking LED. The problem with FPGAs tho is that you basically have to do everything yourself and apparently it's not easy for a lot of people to "get it".

Even tho Verilog and VHDL look like normal programming languages, you aren't actually programming. You are describing hardware/logical circuits. Most things run, by default, in parallel, which you always have to keep in mind. But then there are things like processes which are evaluated sequentially, but they still behave different than a C-program.

You could also use external IP-Blocks to not be forced doing everything from scratch, but they are not always easy to work with.

So my (personal) conclusion is: It's not hard to get it running. You could easily do that. Personally I would prefer to go with Xilinx or Intel chips, just because you have more resources and a kind-of working IDE. Or you could go with some Lattice ECP-5 based chips and use the open source toolchain yosys etc. It can be a super exciting experience, but a lot of people just seem to find it boring. I am personally very grateful that I had an exceptionally good professor in uni that thought us most things.
I was specific about "being fit", not "being a runner".
This isn't a toy example, though. It's the start of a library. Once you've developed the dual numbers and differentiate function and defined the dual number versions of all elementary functions, then you have a full (forward-mode) automatic differentiation library that can just be used. You wouldn't have to do anything manually. You'd just define your functions using this library instead of the built-in functions, since you can use the dual number functions both to differentiate or simply to evaluate (setting the dual part to 0).

> This "discretizes then differentiates"

Not sure what you mean. It defines dual numbers, then defines elementary functions on dual numbers (I only did two as an example). From there, you get differentiation for free (i.e., automatically). The only thing that was done manually was defining the testFunction. Everything else would be part of a library that you'd consume.

I'm not sure what you mean by "equational reasoning is broken".

Thank you for the link to the paper. Seems interesting, and I'll read through it more. Although, it is discussing differentiating integrals, which is where their language "discretize-then-differentiate" comes from. From this paper, I sort of get a sense of why differentiable programming might make sense as a concept, but I've only ever seen the term introduced with automatic differentiation, which is what I was balking at (given the content of the original post here). I'll keep reading this paper, but I think what you've mentioned before hasn't convinced me. Thanks for the discussion.
> Also, for the amounts of complexity K8s adds it's not worth the overhead in 95% of cases

probably true for the cloud too
Effort will be significant for any global changes for non-trivial software. Significant effort is fine. Can you compare moving something from AWS to GCP for Kubernetes and for something like Lambda+Fargate?
Not just any old protest. Chaining oneself to train tracks, stopping coal-laden trains from reaching the Port of Newcastle (the world's biggest coal export facility). Don't underestimate what the fossil fools in power here in Australia will do, to literally ensure that their gravy train keeps rolling along.
Why not? Kubernetes brings lot of useful features.