skysight-inc/HackerNews huggingface dataset:
> You still have to pass your logging code to every function that does logging right?

Yes, but no. Again, there are functional patterns you can apply.

First, functional programs tend to be more horizontally composed than vertically. Side effects usually happen at the same "level" of the application, rather than occuring at multiple depths. So the need to thread logging apparati is already reduced, simply because logging only happens higher up in the application.

Second, because side-effects only really occur at this thin layer, you can capture logging as a monadic action, avoiding the need to explicitly thread the logger state around. (This is the same situation as the "thread the world" problem we discussed earlier.)

Third, because so much more of your program is pure, it is much easier to perform unit tests and check assertions in other ways. At that level, logging is a bandaid over poor testing and assurance, not a goal in itself.

Finally, if you do find yourself deep down-stack with a need to perform some kind of side-effect, you can apply logical methods (a la LVars, CRDTs) to give a stateful interaction between separated parts of your program. The Haxl paper [0] is a good example of this: most of the design is pure functional, but for the part that involve an interaction not easily captured by the fundamental call-return / request-response pattern, they utilize monotonic state to maintain a registry of fulfilled and unfulfilled requests.

[0] https://simonmar.github.io/bib/papers/haxl-icfp14.pdf

> It's rigorously correct, but I feel like it's a step too far for most programs.

I feel you're being too dismissive. There is an entire community of developers -- many of whom operate in industry -- who can and do effectively solve the problems you are raising.

"Rigorously correct" is one of those things non-FP folks think FP is about. You can write buggy code in any paradigm. What people like about FP is that it's easier to reason about, and it's generally easier to find precise abstractions that support that kind of reasoning. "Rigorously correct" is missing the point.
Show HN: Kubernetes Secret and Configmap Sync
It’s not ‘no internet’, it has 4G connectivity, and you can use it as an external modem. It’s just that they haven’t built it into the OS by default.

Personally my thoughts were more along the lines of: That’s a cool phone, but thank god the OS is open source so someone can add the connected apps we need.
So, what does this say about Apple security? There's a lot of speculation and insinuation that all the security lapses started with the purchase of a refurbished MacBook, but there's zero evidence other than some coincidental timing. The author clearly wasn't using many security precautions prior to being compromised. They had many interconnected accounts; reused passwords; limited use of 2FA; phone/SMS-based 2FA in the few places they had it; no separate password for Chrome browser sync's DB; no secure password management app; and kept the keys to their crypto accounts in the cloud. The list of compounded failures is long. There's no reason to think this has anything to do with Apple at all.

They haven't learned any lesson, either. Their advice after this? Turn your laptop off when you're not using it (useless) and use Google Voice for 2FA. This is worse than useless; this is actively bad advice and you should not follow it.

The average user should install 1Password and use a TOTP application. Anyone can learn to do that, and it's really all you need. More advanced users, those with particularly extreme security needs, and pedantic nerds can use YubiKeys, hardware wallets, self-hosted password vaults, PGP-encrypted backup codes, and other measures that are worth considering, but aren't as approachable for everyone.
Both of you can be correct.

FB shouldn't require an FB account for Oculus, and Oculus is not a major source of ad data for them. I replied up thread, but given the ubiquity of web and app tracking for FB, Oculus is almost certainly not incremental to their understanding of almost any user.
Unfortunately my time prior to kids was spent becoming a mediocre developer and not becoming Bellard.
Well, note that I kept saying arguably. It's possible that a corporation may be a kind of emergent intelligence, ditto in the natural world. Difficult to prove or disprove, but the option needs leaving open.

I'm a brit so I thought that game me a handy get-out from answering you :) but in fact we have similar over here. I have a small company comprising basically a piece of paper and a number entered in a database of UK companies. That company has some kind of personhood such that me tsaking money from it illegally apparently is in law somewhat or fully (not sure) equivalent to stealing from another person.

In answer, I guess as a legal fiction it's useful. As a reflection of reality - pieces of paper and a row in a database aren't people - it's pretty dumb. I'm ok with it as a device.
That's not ending death; the heat death of the universe will come eventually if the Second Law holds.
If you make a Facebook account just for just the purpose of playing Quest 2, you will eventually be asked to provide ID verification of your account, or it will simply be locked. I am unsure if you find this an acceptable compromise, or something you thought about when you recently bought Quest 2, but I am very sure I do not find this acceptable in any sort of way. There's just no excuse for the need of ID verification just to be eligible to play a game on a device.

Regarding your point of unifying it under a single account, sure, but does that account need so much data just to function? And on the other hand, why not just be able to create a partial account? A facebook account is so much more than just some random account, why would I need such an intricate account to play a game? So in short, yes in a technical way it's logical, but in every other way it's like shooting a mosquito with a bazooka.
Apart from more ads, what benefit do these have over getting the same books from project Gutenberg?
I do agree that it’s easy for a single programmer to not think about future readability for other all that much but in terms of refactoring code and straitening file dependencies, an IDE or code editor like VSCode can probably do it for you.
been meaning to read this...
Wave Mechanics and Radioactive Disintegration (1928)
The clocks change tonight – but it won’t happen for much longer
Not given their target market. The price is less of an objection than the lack of functionality.
Haha! This is absurd:

> Microsoft (owner of Github) is listed on the RIAA's members page. Neither Google LLC, its Youtube subsidiary, nor parent Alphabet Inc. are. The RIAA are threatening a member for a §1201 violation against a nonmember. That's ... weird. https://www.riaa.com/about-riaa/riaa-members/
Isn't this a 35 year old trick? I could have sworn I've known about it for at least 25
Anyone interested in this should also check out https://standardebooks.org/ - they seem to have similar aims, and Standard Ebooks has a larger catalogue.
That'd be a great addition! Give it a try and implement it: https://github.com/ooni/probe-cli/new/master

Don't forget to think about all the different OSes and the way the handle scheduling!
And you are a nazi pedophile. See anybody can do this.

Modi is the first politician since independent Indian republic's inception who represents the Hindu lower class - the poor and oppressed for centuries. The ruling class (Hindu upper castes, Muslims and Christians) has not hidden their disgust at losing power for the first time in about a thousand years. The manufactured propaganda without any specifics but full of adjectives are a derivative of that. Go suck on a lemon nazi pedo.
Like, you must know this isn't true, right?

I have worked in this industry on and off for almost a decade now, and in general, advertising is only used for users who will never pay. I mean, it makes sense right?

You can get $5 for one IAP, and if you are incredibly lucky $5 CPM which is 1000 impressions. In-app advertising is a tiny, tiny percentage of revenue for most mobile gaming companies.

That being said, everyone spends on it because the best way to find people who'll play mobile games is to target people who play mobile games.
That looks like a failure to use NVL and similar operators to me.
Agreed - It's at best a proxy, right? Yet to be shown how well those proxies will deliver an outcome that might be considered beneficial - Either to the subject itself or wider society (which IMO is the true will being manifested).
City of London is amazing because of its mix of old and new, I used to work near the Jamaica Wine House and we would often go there for drinks after work. It's too bad the beer selection there is not great tho.
The free software “industry” and its enthusiasts should realise and accept that IT is a tool and not a lifestyle for many people. This includes me despite being a developer and somewhat of a tech enthusiast - a decade ago I had plenty of time to tinker around with a custom Linux installation, nowadays I just run macOS and call it a day.

Software that doesn’t infringe on your freedoms is great, but functionality and user experience is important. A big reason why proprietary and increasingly user-hostile software won is because it works well enough (despite the hostility) for the majority of people.
Although I agree with the fact it was easier/faster for him, don’t fall into the fallacy of him being productive meaning he was efficiently productive
Not the same principle, but in case you hadn't heard of sixel (https://github.com/saitoha/libsixel), there's sixelplot (https://github.com/kktk-KO/sixelplot)
Pharma spend a lot of money on mental illness drugs, because rich people will pay for them, just like hair-loss and acne.

I completely agree with you that this causes a misallocation of resources, but mental health is probably not the best example you could have chosen.
Archlinux with Cinnamon
I would be perfectly happy with this mind of phone if it did support whatsapp and Line. Those are the only applications I use to message anyway. Even better if all the protocols are connected into a single application that just does ‘messaging’.
> why I ever thought the internet was about ideas

There was a time when the exchange of knowledge fostered education. I say this ironically, because that is what education is. Human civilisation exercises language to exchange ideas. It records this knowledge to extend education.

The Internet was/is a medium for exchange. In the historical view, the Internet is a sophisticated medium without precedent.

> When we say mainstream, I think we mean aligned to the dominant power

The word means prevailing discourse, or some perception of the prevailing discourse. It is healthy to question prevailing discourse -- or any discourse. But it is not healthy to abandon reason and the tests (and self-tests) of validity.

Wild assertions and unfounded accusations may divert weak minds, but they also seem to thrill fanatics.

> the desperate political struggle for approval that is mainstream social media.

People who favour their vanity over reason and truth are in deep trouble intellectually. Anti-intellectualism, if it becomes the prevailing discourse, will destroy a society.

> The reality is the mainstream is not "good," the public sphere is an open sewer

This is a sign of societal decline.

"Social media" is vulgar business. It is not about education, intelligent discourse, or even civilisation.
No wide ranging public political discussions.

These days getting into a political conversation with a stranger is very, very dangerous. You might find yourself doxxed on Twitter by a hate mob before you'd even finished your coffee.
I'm not convinced. Our brains are well know for their plasticity. Our musculoskeletal and circulatory systems: not so much. The brain is capable of rewiring itself after some quite traumatic injuries, of course the people who go through rehabilitation after a traumatic brain injury do so with the focus of someone whose life depends on it.

I would suggest that most people reading this are capable of Bellard level productivity, if their life depended on it.
Define ‘math’. I guess you want to work with the ‘normal’ integers and reals. If so, you’ll need

- fixed-size integers (signed and unsigned)

- big integers

- rationals with big integer numerators and denominators

You also want all of them to be fast, especially if you’re going to explore things.

If you’re going to do exact polynomials, you’ll want the ability to represent radicals (square root of 2, third root of (square root of 2 plus 1), etc). That gets you to a computer algebra system (https://en.wikipedia.org/wiki/Computer_algebra_system) that will also help in doing exact analysis.

If you want your system to be extensible, you’ll want operator overloading (if you implement addition mod n, you will want to write it using ‘+’). You’ll also need extensibility if you’re going to hunt for counterexamples, as you’ll need it for performance.

On the other hand, if you want to do proofs, you may want an automated theorem prover (https://en.wikipedia.org/wiki/Automated_theorem_proving) or a proof assistant (https://en.wikipedia.org/wiki/Proof_assistant)

I don’t think you can get all of the above in one system. That’s why you have to decide what kind of math you want to do before picking the system.
> other than perhaps the creator of Markdown.

The creator of Markdown hasn't touched it in over a decade and yet decided to throw a temper tantrum because CommonMark dared to initially call itself Standard Markdown.
> Think about the effort they go through in order to track all of your digital movements now,

Yeah, they care about tracking people so much that they supply JS code for non-technical users to put on their websites, and provide an ad platform which is vastly confusing to encourage this behaviour \s.
> Always impressive how the AI community, both inside large companies and not, seems to assume data just exists for them to use, copyright or personal rights be damned.

Are you objecting to the use of data for training, or to the compilation of training datasets?
Can they be independent? Yes, are they intertwined? Yes.
54M Americans are going hungry
Right, it rings too much like "You can't teach Chinese." It's more likely a combination of it being really difficult past childhood to begin with, and also that we haven't figured out how to teach it yet.

From personal experience, long ago I spent some time trying to acquire perfect pitch using a synesthetic method from somewhere, and eventually convinced myself that I was making some progress, but that the effort required to take it to the point of being at all useful wasn't going to be worth my practice time.
I know a friend of one of those 4 mentioned and he is doing absolutely fine (money-wise at least)
The Oculus privacy policy indeed indicates that they collect "information about your physical features and dimensions" as well as "information about your environment, physical movements, and dimensions when you use an XR device".

Their information collection is a legitimate concern precisely because they have both the incentives (profiling and advertisement) and legal basis to collect it.
The EU will 100% freak out in terms of anti-trust. This is textbook leveraging dominance in one market to get into another. The account is definitely not necessary to use the product, therefore it's not OK under GDPR.

Germany has already said that this is not OK, so I expect this to happen pretty quickly.
You should visit a CPS facility. Kids being locked up in open facility (the facilities are "open" in the sense the door is unlocked, they do send the cops after you the second you walk through) for minimally not attending school, for that matter without any actual proof of that beyond that a single teacher reported it (not even the attendance sheet, just a phone call) happens all the time.

Oh and if they do walk out, which they often do, getting sent to an actual cell for up to a year (mostly -thank god- 2 weeks) is the normal reaction. I'm not sure if those qualify as juvenile hall -they probably don't- but they certainly are cells.

CPS can do whatever they want to a kid. The kid "is not being convicted or punished" (just incarcerated and ripped from their environment, sometimes for decades), just "protected", so none of the normal protections apply. Often one has the clear impression that kids are imprisoned, not because of any problem with the kid or parents but because some CPS facility has a quota to meet (X children "helped" or no more subsidies). I even found an article that said judges felt pressured to lock children up because otherwise the closed facility claimed they would go bankrupt and the judge would lose the possibility of sending anyone there.

This is a problem because juvenile delinquency is and has been dropping like a stone for decades now, so those facilities have an ever smaller share of actual juvenile offenders, and a large majority of kids where some CPS worker (an individual) decided they needed help, and mostly the kids and parents refuse, of course, because these facilities are not seen as any kind of improvement for problems (and of course, they aren't).
This is a hard question to answer because mathematics is a broad subject. The fact that you think libraries will exist or be important but that you don’t mention eg bignum support suggests to me that you want to do stuff with floats and matrices and differential equations. Julia would be an excellent choice for this. Language stability is something they care about because they want the language to be suitable for reproducible calculations in scientific research.

If you’re more interested in pure mathematics—things like (non-analytic) number theory, algebra, combinatorics—I would recommend Haskell. I find the type system helps a lot for algebra and the freedom to express computations in more natural and functional ways helps with things like number theory.

Both languages are fast enough. The thing you should mostly care about is the speed of writing correct programs rather than execution on large datasets anyway. Julia is in many ways like python except you don’t need numpy because the built in arrays and for loops (and auto broadcasting) are fast enough.

If you want a proof assistant then I don’t know enough about the available options to make a good suggestion
Heh Heh Heh

Interesting rabbit hole. Maybe add copyleft licences in there too and see what it looks like? :)
>That's very easy to say. But it's hard for me not to notice that you're commenting on web forums, which means you probably haven't given up on the creature comforts of modernity. If you're not willing to do it, what gives you the right to tell half of India to?

Which is another way to say: "How dare you criticize capitalism from your smartphone?"

This argument is so old, overused and has been debunked so much already, but I'll do it once again for you, even though it would take the intellectual honesty and introspection capacity of an 8 years old to realize it's a really bad argument.

1) We don't choose to be born and live in this society. It just happens, and we don't get to learn the survival skills necessary to do without it. Therefore, one could say we're stuck in it. Especially considering nowadays everything is property of someone, you can't just go and take a piece of forest to have your primitive tribe there.

2) Technology and innovation ARE NOT EXCLUSIVE to Capitalism. Repeat it once again if you need. Soviets had a space program too you realize that? Saying that Capitalism is the only way to have innovation, because someone invented iPhone under Capitalism means having no idea of what false correlation is. I'd suggest studying the very basis of statistics before making such claims.

>Maybe the old way of living wasn't really that nice.

Maybe we can take the best from both worlds. Lose the hunger for profit, the abstract finance, the exploitation and keep the progress.
This has the trademark hackernews "why would anyone use dropbox just get an FTP account, mount it locally with curlftpfs, and then use SVN or CVS on the mounted filesystem" written all over it. Facebook has been involved in countless privacy scandals so that's the reason to believe this. Why you think it's easy for a random someone to dump a closed source, probably obfuscated piece of closed source embedded software and find a specific piece of code that does a specific thing is beyond me.
We used to do pub crawls where we were only allowed to go to not yet tagged places and tag them. We managed to do around 20 places an evening with a few people (we split up some times).

Nice and fun activity to help people. Before Corona at least...
I still can't believe they opted to center an OS around a browser instead of integrating a browser into an OS. And the most astonishing thing is - people buy it. And then, only if you jump through the hoops, they let you run normal apps but from a container. How magnanimous of them. Something is awfully messed up with the tech world.
MODERNITY !== CAPITALISM
so it's 50X smaller and 30X slower than Googles V8 Engine - cool, but not that impressive. I would still use V8 on any decision, because 30MB is really not such a big deal anymore. SPEED is what matters in 2020, not disk size!

Try to make a JS engine than is 50X faster than Googles V8, and you become a centimillionaire! :D <3 Would love to see that.
That doesn't make youtube-dl "absolutely illegal".

You should know that "absolutely" means anytime, everywhere, which is obviously wrong.

You should also know that in Italy for something to be claimed illegal the court has to emit a verdict.

If nobody challenge the status of youtube-dl obtaining a guilty verdict, it is perfectly legal.

Last but not least, that law was created during fascmism, so there's also that.

But in any case "fair use"(as you americans call it) is always permitted in Italy, you don't need a license, you are liable only if the entity detaining the copyright obtains a restricting order from a judge.

So in Italy I can download any video I want from YouTube and I am permitted to watch them, It's not against the law.

What's against the law is the re-distribution of the content.

Moreover, you probably misread the law or skipped that passage, in Italy internet publishing (such as file downloading) itś a different right and it's called "exclusive right of communication to the public of the work"

> it also includes the making available to the public of a work in such a way that members of the public may access it from a place and at a time individually chosen by them

Sorry.
The original comment was about separating components out for reuse in other projects. He wasn’t wondering why http wasn’t part of the js engine, that was just the example he chose
Shouldn’t funding be Increased if kids are truanting as it will cost more to deal with them?
It's hilarious how people on this site reacts at the mere mention of China on any topic. Everyone is apparently an expert.

Gitee has hosted a youtube-dl mirror for years.

https://gitee.com/mirrors/youtube-dlg
Focus on speed, not disk size. We're still in stonehenge, surrounded by extremely slow and un-optimized hardware and software.
By a “conservative alternate culture” clickbait site.
Visidata is pretty cool - https://www.visidata.org/

While it offers console based interactive exploration of your data you can also get it to just spit out the graph you want.
I'm old enough to remember when announcements of new OSs centered on how it implemented multitasking, how it managed memory and how the filesystem worked.

The announcement focuses on an app and barely touched what's under it.
One of the local high schools was designed by a prison architect, at least according to a quote from Steve Jobs…I’m not sure if that’s true or not, but the rooms would certainly fit in at one.
I use youtube-dl fairly infrequently... maybe once a month or so. Nearly every time I used it it would not download the video I wanted - so I'd do a "youtube-dl -u", then it would work.

Just spreading the repo around isn't going to help for very long.