skysight-inc/HackerNews huggingface dataset:
>All those symbols you see map to a set of steps (a program.)

Simply not true. Most mathematical statements, e.g. proofs of existence have no relation to a "program".

>math is geared and targeted for people who like doing symbolic logic by hand.

No, it is not. There is absolutely nothing interesting about symbol manipulation, it is always the least interesting part of a proof. It usually is the part the author handwaves away, while focusing on the actual interesting parts, the idea behind the proof and the possible intuitions for them. Textbook might include them, but as training and because you need to be more explicit when teaching.
Ask HN: What brick and mortar business would you start?
Interested to hear ideas on what types of non-software businesses seem interesting to start in 2023?

I’m open to all ideas but, for context, I have about 3 acres of undeveloped commercial land at a well trafficked intersection. It’s in a Dallas suburb and I have some capital to develop it but would like to do something other than be a strip center landlord which is the usual thing to do in this locale.
These defend Moscow, other large cities, ICBM silos, and some military and industrial areas.
The endgame for any living being is maximize return for as minimal effort.

This is not true for just "unregulated markets".

Regulated markets operate the same way, see: Banks. Credit Cards. Healthcare insurance by state.

But that's why we have laws specifically to break up anticompetitive behavior. The problem is they are not properly written and leave a lot up to discretion.
Have you considered an RSS reader that "reads" non-RSS publications?

That's what I've tried to do with Lenns.io. You can subscribe to any blog/website, regardless of their RSS support. Then, if they don't expose an RSS feed - the website's titles are followed. That works with about 90% success.

I'd be happy if you give it a go https://lenns.io. Bonus - you can set priorities to feeds and the number of items per source to be listed on your dashboard (so not a single subscription can overrun it)
I seem to be the only person who doesn’t like NetNewsWire. The fact that you still can’t configure global settings that cover all feeds makes it useless for me.
The protocol and spec mostly, but also the establishment dance and too many knobs. Which client and server libs are you using? Chances are if you dig in their deps it’s messy.

It’s also designed for real-time video and audio (udp), so reliable high-bandwidth streaming p2p apps takes a back seat.

That doesn’t mean it’s not the right choice to build stuff with today, especially browser based real-time apps! I’m all for webrtc getting easier.
Same here. It’s great, one of the best apps of any kind.
Interesting, I've never seen INCLUDE before - probably because we use a version of postgres that does not support it - but I see now that it can be useful instead of doing CREATE INDEX idx ON table (colA, colB) because of the lack of ordering in the b-tree leaves. Good stuff. Just another piece of ammunition for upgrading our db to a newer version that has all sorts of new goodies I've been reading about lately.
> mathematics is orders of magnitude more intensive and difficult than most programming

But what level of programming and mathematics are you comparing here though? because college-level algebra and calculus is really not that hard imho (once it "clicks" for you, but it's the same for programming), and if we are comparing math as in what you see in a BSc/Msc of Mathematics (or research-level) then I agree it's hard but you have to compare for an equivalent level of programming.

> simple fact that shows this is the amount of programmers who have no formal training in engineering or computer science but we’re able to self-teach the concepts. The same cannot be said of mathematics

I would blame it more on the fact that programming is a very useful tool for people outside Computer-Science, it has very direct applications and you can monetize it very easily, so it's very likely that they might want to learn it, however, rarely you see someone deciding to take Calculus just for the sake of it if they never bothered with it in College.

Overall I agree with you, but personally I find math more difficult, most people probably do but I don't think it's inherently more difficult, it's just that people are less used to study it.
News for Ruby 3.2.0
Is it common to set such a high bail but then only take such a small asset ($4m home) and a “promise” as collateral?

It seems like the high bail being “paid” makes everyone scream “he has all the stolen money!”. Is this what the DOJ wanted?*

* I don’t think he’s innocent but I do wonder if there was a motive behind the high bail amount.
Most definitely. For me, I have never used any specific mathematical concept in programming aside from some side projects for using programming to explore mathematical ideas. But my so-called training in mathematics taught me both highly abstract thinking and deep, concrete, in the weeds thinking, and that's what really comes in handy in programming.
Here are the top executives of ByteDance:

* Zhang Yiming, founder / CEO of ByteDance until 2021: not a member of the Communist Party.

* Kevin A. Mayer, COO and CEO of TikTok during 2020: not a member of the Communist Party.

* Rubo Liang, CEO since 2021: not a member of the Communist Party.

* Lidong Zhang, Chairman of ByteDance China: I can't find any reference to him being a member of the Communist Party.

* Alex Zhu, founder of Musical.ly, the predecessor of TikTok, and former CEO of TikTok: not a member of the Communist Party.

I'm sure there are some executives that are members of the Communist Party, but looking at the top people, that just doesn't pop out.

> The ongoing controversy with TikTok has always been about the concern of the government of China using TikTok data and manipulation of its content in clandestine ways.

That's the way literally every issue even tangentially related to China is spun in the US nowadays. This is actually a story about a tech company trying to find leakers by looking at the user data of the journalists they met with. It gets turned into a story about how the Communist Party is going to infiltrate and undermine the United States, using an app that teenagers use to show off their dance moves. The paranoia about China has gone just a bit too far for my liking.
I'm guessing, but:

Marketing, payroll, royalties, and operations. In that order.

Network transfer fees would come out of operations, and are probably less than 10% of same.
Depending on the type of job listing on LinkedIn, the applicant count can be wildly inaccurate: if the listing is external, they will often record clicks on the button rather than actual applications! Additionally, even when a company is using LinkedIn's ATS (Applicant Tracking System) you'll find that a great deal of the "applications" are just generic submissions from people who have not even reviewed the job listing. Even in the current job market, the number of high quality applicants who are worth interviewing is low and so a good application will stand out. Forget about the numbers, don't be discouraged, focus on the quality of your application.
> The fact that you keep focusing on whether compilers are proprietary instead of whether Rust and Go are proprietary is starting to seem deliberately evasive.

"You keep using that word. It don't think you know what it means." -- Inigo Montoya

This is just bizarre. If MIT/Apache-licensed Rust is proprietary, then anything could be? AFAIK there is no POSIX definition for epoll/io_uring. I suppose epoll is proprietary too?

proprietary: "2: something that is used, produced, or marketed under exclusive legal right of the inventor or maker"

Can Rust be forked, modified, used/sold and distributed with your changes? If yes that hardly seems like an exclusive legal right. Your problem seems to be that people trust the Rust project, and don't trust you or a central committee (yet). But that doesn't make a project proprietary. It makes it implementation defined, which has its own problems, but those are not the same problems of as those of proprietary software.
An incurable disease sure, but why stop there? Depression, poverty, or maybe you’re just too expensive as a ward of the state. Lots of savings to be had!
See this https://apnews.com/article/covid-science-health-toronto-7c63...

> But human rights advocates say the country’s regulations lack necessary safeguards, devalue the lives of disabled people and are prompting doctors and health workers to suggest the procedure to those who might not otherwise consider it.

In order to cut healthcare costs, assisted suicide is thrust upon people as an option. What's worse: having people with a debilitating illness suffer through it, or having everyone with a debilitating illness at a certain age get pressured by medical personnel into putting themselves on death row "for the common good"?
Were the local salaries 3x higher in Manhattan?
I heard this claim multiple times, but where's the source?
No, probably just special treatment: https://twitter.com/whalechart/status/1606293657518080001
I am not sure we're saying the same thing. Extreme cases are how we test to see if our worldview holds up. But anyways, Happy Holidays!
Unregulated market doesn't mean a market with no referees or judges to settle disputes.
This is a difficult epistemological argument that it took me some time to accept, but: how can you confirm the explanation is correct, if not by testing it as a hypothesis, i.e. using it to predict unknown (future) outcomes?

Put differently, if you say "X causes Y, but only in this one instance we're discussing now and not in the future" then does X really cause Y, or was it a coincidence that they happened at the same time this once? The razor leads us to conclude that what's indistinguishable from coincidence is coincidence.

----

Edit: Oh, I see what you're saying! Something like "X causes Y but knowledge about X is only available after Y is already known"?

That is possible, and it's even testable by blinding the person to Y while revealing X. Is it useful knowledge? Maybe!
Don't you think that Elon Musk's stupidity and political tendencies to side with Trump and Russia is affecting Tesla as well?

I've close friends/relatives that are never buying a Tesla because of him and I know of people trying to sell their Teslas too. I'm sure that drives the price down too.
The fault is to the users that are not able to say "no" to these bad practices.

The author of the post seems to use Windows which is the worst in term of crap software and abusive practices. Just use Linux, you will have less but at least you will not be abused.
Sort of. The end game is more what I would call a mafia state. Localized monopolies in constant conflict but also loose cooperation with each other. Your ability to survive and thrive depends on being in the favor of the most relevant oligarch.
> If you want to make some money in the next year or so, open a short position on Tesla. Not financial advise, just 2 cents from a guy that worked in the motor industry for 15 years

Short pressure is enormous. It's not cheap to open this position.
Considering that a lot of kids join the communist party like it’s literally a school club, I don’t see how being a member or not is really very interesting. It’s like registering as a Democrat or Republican in states that require that, except there is a bit of gating in the youth organizations looking for good students, or legacy members, etc…
Every country has bridges people can jump off.
These are the same kind of listings you can find on LinkedIn or many other job sites, not really answering the question of finding especially available jobs.
I think a good approach is to have someone able to review code. So they can experiment and make all the common mistakes, then have feedback on it.
Technically, that's the converse, not the opposite ;-)

Someone may be led into thinking you're countering the OP.
I always took it that Butler underwent an epiphany after years of
believing something else. Maybe it was a case of eyes wide open.
Nonetheless your distinction stands and yes it's very significant. I
wonder how many developers are being hoodwinked and how many are just
not being very honest with themselves.
The response to your comment seems to be negative, but I personally think it’s accurate and on-topic, including the note about ESR and his ideology.
I included these in the blog post with some more info.
New England is mostly sanely governed, it shouldn’t be used as a stand in for the rest of the country.

The US was a neat idea we had but it went a little off-kilter around the second half of Pennsylvania.
Really exciting work! This reminds me a lot of Physarum (slime mold) simulations popularized by media artists like Sage Jensen[1]. The combination of explicitly defined particles along with fields that those particles can interact with is proving to be a fascinating technique!

[1]: https://cargocollective.com/sagejenson/physarum
There seems to have been a brief surge of interest in Unix-style systems when the 286 (and maybe 386) first came to market, since there was enough hardware to do a full-fat protected-mode OS now. The first exposure I had to Unix concepts was some old (already at the time, this was probably like 1993 or so) library book discussing "things to do with your shiny new IBM AT."

I suspect Unix on Early PCs fell to business concerns. If you bought an AT (or 286/386 in general) it was going to come with DOS, because anything Unix flavoured was an expensive aftermarket add-on.

Would it have been different if the AT&T/BSD legal hassles had finished earlier? Imagine if there was a "286BSD" available at basically the same time as the AT; IBM would have an affordable OS that made a good demo for the kit they were selling, and being able to offer it for essentially the cost of the floppies might have made it the obvious "grown up" alternative to DOS. There would have been less need for the grand OS/2 effort, and probably far less effort devoted to DOS extensions.
> Whatever keyboard light program you’re using costs real money for the company to make and maintain, and they’d like to keep costs down.

Then just release the hardware specs and let motivated users maintain it past it useful (to the manufacturer) life.

Like, I have this Govee thermometer I bought to learn about Bluetooth that needs an app to read out the data stored in it. Last I looked nobody reverse engineered the protocol and they don’t have technical specifications because they want to keep you inside their ecosystem. Someday they will just give up the ghost and all these gadgets will be mostly useless (said thermometer transmits current readings so can always be read with a little work).

Yet another of my “when I get motivated enough” projects…

—edit—

Counterpoint:

I have a couple Bluetooth button things which did provide specs and it took me a couple hours of fiddling to get it to fully work with an example program, I push the button and the computer knows it, computer tells it to beep and it beeps, its built in “alert on dropping signal” (so you don’t lose your keys) just works, easy peasy.
There are gifted programs on the east side. Also, what about Running Start?
Thanks.

I sort of recommend Khraniteli, the Soviet Lord of the Rings Soviet TV movie from 1991. Delightfully bizarre in small doses but a little hard to sit through the whole thing.

https://www.youtube.com/watch?v=xluxT4fj2U8
When I used "hard work", I also meant "smart, hard work". Doh.

You also used "hustle", which is usually unrelated to "smart", and actually has negative connotations as well (as in a "hustler") — I did not take it as such because that wouldn't make sense. Again: doh!

It helps nobody to be overly pedantic instead of looking for the most reasonable interpretation of what you read.
And you can definitely understand amd64 on an ISA level, which is the publicly documented "high" level interface.
I understand the arguments against legally assisted dying but I strongly believe that any person who asks for assistance in dying should be given it — no qualifications for terminal disease, sound mind/body, etc. Perhaps some qualification like a waiting period in some cases, but I’m not firm in that belief.

Those who choose to die should be allowed to make that choice in a way that’s safe, painless, and that minimizes the effects on others as much as is possible.
https://archive.ph/f7lFH

Not a physician here,but...

I used Interferon to get rid of a chronic Leukemia some 30+ years ago. What I learned was this: viral infections are naturally dealt with though interferons secreted by infected immune cells. INF serves two purposes: a) to send a signal to the brain "we're sick" which provokes what is known as "viral syndrome" - I probably don't have to describe that, and b) that same signal lands on other immune cells with the message: "don't divide".

That second message is what makes this work. When an infected cell divides, it releases more viral load. So, don't divide: keep the viral load down while the rest of the immune system figures out how to kill infected cells.

The rub is this: some of those cells which must divide are the b-cells which are there to learn which cells are bad and then mark them for t-cells to do their work. If the b-cells are not learning, that includes not learning about bacterial material entering the system.

Thus, viral infections of any kind have the property natural suppression of bacterial defenses.

A take home from that is this: avoid viral infection at all costs.

Side note: return to "viral syndrome" for a moment. One of the symptoms is a fever. We all know how television advertisements rail at you to take some form of pills whenever you have a fever. But, they do not tell you that the fever is required for those b-cells to be more efficient at learning. So...and this can be problematic: taking pills to get rid of fever is not always but can be counter productive.
... and posted a Google docs. Some irony in that.
How do you deal with false negatives when using Hilbert curves for nearest neighbor searches? Based on my limited understanding, points close on space can be far from each other on the curve. Do you use multiple curves or something?
For most mathematicians, calculus as is often taught in typical undergrads is not "true" mathematics. It's just a tool for computation. For them, calculus is analysis (theorems/proofs that are used to build up calculus).

So my question is: Did you study analysis and would you credit programming in helping you get good at it?
You really don't think there's a moral distinction to be made between supervised and regulated use of drugs to end terminal suffering and just grabbing a gun and blowing out the back of your skull? No one anywhere thinks that end of life care should be a spur of the moment decision by the sufferer. Basically, yeah, gun suicides are bad, and they'll remain bad even given the existence of an "assisted dying" program.
I'd argue both are horrible trade-offs and can be somewhat lessened with better regulations.

A person must have the right to chose the terms of their own existence.

A person shouldn't be pressured into that choice due to costs.
A quick google puts it at $130, well beyond the price of "just buy a Raspberry Pi or similar device, which also comes with all the SoC smarts too."
Securing and exposing local services with Tailscale and Nginx
Somebody else also takes the loss when things go sideways. No free meal.
I must say he is quite polite.
> 1. It would be nice to have some built in image handling functions, i.e. to be able to allocate and draw images on the screen.

I think this would actually be fairly tricky to handle inside Dear ImGui, because the image object must be in a format that's understood by the rendering backend. The way ImGui handles image rendering via an opaque ImTextureID handle which is passed through to the renderer backend is actually quite elegant IMHO.
Also IIRC Valinor is called "Faerie" at one point in The Hobbit.
The equivalent manuals are available from Intel and AMD.
I use math with computers all the time; have since pretty much the beginning of my programming experience 35 years ago. But I don't use it well. I depended a lot on other people to convert a mathematical equation into a program (for example, think of a summation-- that's really just a for loop incrementing an accumulator. And an integration isn't much more than that, just divide by a constant at the end). I learned gravitational simulations that way (amusingly, I was able to do mandelbrot on my own knowing just z = z ** 2 + c and brute forcing myself through the details).

For me math is more of a received wisdom. I'll have a problem I need to solve, and as part of that, I need to compute some function. But the naive version of the function that I was taught (say, factorial function) is slow, and might fail because of integer data types outside their range. In comes my professor, who mentions https://en.wikipedia.org/wiki/Stirling%27s_approximation which allows me to complete my project and graduate in time. Said professor also derived analytic derivatives of our objective function, since at the time (1993-4) we didn't have autodifferentiation.

At the time, I didn't really think too much about it. I had a problem and somebody handed me a practical solution. But I got curious... what was this gamma function and why is it defined over floats (reals!) over integers? And so that led down a rabbit hole of mathematical exploration (most of which was executed using a highly worn copy of Mathematical Recipes in C).

Another example is the mandelbrot set. You can take the raw definition and attempt to compute set members but your calculation will never complete. Instead, clever math people figured out ways to compute an approximately right answer faster- and in some cases, optimized for the limited hardware of the time (see FRACTINT for an integer-based fractal program for x86 machines pre-floating point hardware). This and many other tricks made fractal exploration on consumer hardware practical (although probably not very useful?)

Over time I've come to be better at math- at understanding concepts- and the relationship between practical high performance computing and both the underlying math and physics that are required to do it effectively. I've learned so many different ways to approach problems compared to when I started, much of it because I continued to learn more math, and practice at it. I see a close relationship between computing theory and the math/physics that enabled it (IE, transistors and vacuum tubes before them, and mechanical gears and switched before that).

I've also realized that I can learn some math easily- for example, more or less anything on a cartesian grid- while other things, like complex symbolics or tree structured algorithms- take a lot more thinking.

To me it's an endless world of unknown delights that I stumble across and periodically take 20+ years to understand. I am just now solving problems that my smarter grad school friends managed to do in a day, 20 years ago, because they're better at math (and logic, and memory, and more...)
This is an incredibly grotesque take.

Yes, I'm sure we'll see growth in self-inflicted, fatal gunshot wounds, administered while surrounded by their loved ones.

There is no such thing as a good gun death.
I pay for Inoreader as it most closely matches the Google Reader social experience for me. You can follow other users, share articles to your feed for other users to discover and comment back and forth. I always said I would have paid Google to keep Reader going, so I put my money where my mouth was with Inoreader. I do find it’s search capabilities somewhat lacking tho. Mobile app is decent, desktop website is great.
I think the math you've been exposed to is mostly on the computational side (compute an integral, solve an equation, etc).

Much (most?) of math is quite different from it. Proving that there is a well ordering of the reals, and simultaneously proving that it is impossible to show you such an ordering: Very different from skills needed in programming.