HNHacker News
TopNewBestAskShowJobs

PureParadigm

670 karma · joined April 29, 2019

submissionscomments
PureParadigm··on WireGuard 1.0 for Linux 5.6
Before connecting each client needs to be set up with (1) its own private key and (2) the server's public key. The server also needs to have each client's public key. Once you have securely shared this information out-of-band, there cannot be a man-in-the-middle attack because both sides know the expected public key of the other side, and can prove ownership of their own public key.
PureParadigm··on The internet should be a public utility
I used to think municipal fiber was the answer to improve internet service, but while it may work, I've seen that it is certainly not the only way.

I moved to Berkeley for university and there are several competing options for gigabit internet (including Sonic, LMI, etc.). When the gigabit service arrived to disrupt the AT&T/Comcast duopoly, suddenly the customer was important, and we were able to get great speeds, prices, and customer service.

What I'm saying is that you don't necessarily need to make internet a public utility to improve service, just to get some real competition. If that competition needs to come in the form of municipal fiber, then that might also work, but it could also be a private company.

PureParadigm··on The field of “useful reals” between rational and real numbers (2019)
Even if ideas come from an uncountable set (not convinced yet), there are still only countably many ideas people will ever have. Each time anyone comes up with an idea, I can assign it a new integer.
PureParadigm··on The field of “useful reals” between rational and real numbers (2019)
Why is the alphabet not countable? If each time you think of a new idea and make a symbol for it, I can also assign it to an integer (because there is always a next integer like there is always a new symbol you can come up with).

When you come up with a new concept, it should also be possible to write out a definition of it. If you can write down your definition (in English, math notation, etc.), then it comes from a countable set, since there are countably many things that you can write down.

PureParadigm··on GitHub blocked me and all my libraries
Git repo hosting really doesn't cost much unless it's super popular and needs a lot of bandwidth (at which point you can probably get some hosting company to sponsor).

At minimum, a Raspberry Pi and an internet connection will do. If you want something a bit more reliable, you can get a virtual server for $5/month and host many repos on it.

PureParadigm··on Europe Wants a ‘Right to Repair’ Smartphones and Gadgets
I'd say it's fine to modify it to be able to do that, as long as you don't actually turn it on and make it disrupt other people. For example, a car is very capable of crashing into people, but even though it can do that we expect people not to use cars in that way. Even though cars can be dangerous if used irresponsibility, there are legitimate reasons to have cars. Similarly, there are legitimate reasons to modify radios, and we should just expect people to use them responsibly the same way we expect car owners to use their cars responsibly.
PureParadigm··on MIT moves all classes online for the rest of the semester
I think large decisive moves like this may seem to some to be an overreaction, but it will prove to be the correct decision in hindsight (like the early travel bans). Exponential growth is real, and anything we can do to slow the rate of infection will save lives.

As a current undergrad at UC Berkeley, they've moved all classes here online [1], and exams are either being postponed or converted to take-home assignments. I'm currently accessing lectures through Zoom.

[1] https://news.berkeley.edu/2020/03/09/as-coronavirus-spreads-...

PureParadigm··on Covid-19 update and guidance to limit spread
If everyone thought like you and tried to get it early, then the hospitals would be overrun and you'd be no better off. Also, it's possible for you to get it again after recovery [1], so it may not even help you at all.

[1] https://www.businessinsider.com/wuhan-coronavirus-risk-of-re...

PureParadigm··on Covid-19 update and guidance to limit spread
Wikipedia tends to have decent graphs in the article for the outbreaks. Here's the one for the United States: https://en.wikipedia.org/wiki/2020_coronavirus_outbreak_in_t...
PureParadigm··on Why I often implement things from scratch (2006)
Compared to the library version:

  import numpy as np
  np.linalg.inv([[1,2],[3,4]])
and this does handle the case where the determinant is 0 (by throwing an error about it being a singular matrix).
PureParadigm··on Ask HN: How do I learn C properly?
Yeah, there may be some situations where C is necessary as a wrapper for assembly if you're _extremely_ memory constrained or something like that. But I wouldn't have any confidence in it working as intended unless it's dead simple.
PureParadigm··on Ask HN: How do I learn C properly?
C is great for learning about how computers work at a low level. In my college, we started by writing a simple compiler. This should force you to understand pointers and memory which, as others have mentioned, are fundamental. You'll have to both know how the assembly works and to write correct C code. So writing a simple compiler will force you to understand it two different ways at once. My opinion is you'll learn more by diving in and doing things, especially with your existing programming background.

But, for your own sanity and everyone else's, do not start new projects in C! (Aside from purely academic ones for you to learn.) The point of a programming language is to help humans write safe and correct code. In this sense, C has completely failed. The syntax itself is just begging you to make a subtle mistake. And due to lack of memory safety, even the most well tested and scrutinized projects in C/C++ (such as Chromium) suffer from buffer overflows or memory leaks, potential security vulnerabilities that are automatically prevented by design in other languages. If you need to do something low level with any sort of confidence, use a memory-safe language like Rust, which can even do interop with existing C libraries and code.

(Edit: typo)

PureParadigm··on Considering Rust [video]
Couldn't agree more. I often have to install programs from sounce, and dynamic linking, header files/include paths, etc. make the C build system extremely unreliable. It's often more of a trial and error process ("which library is it going to be missing next") than a methodical one. I've spent countless hours hunting down why libfoo.so isn't loading correctly, or why some random function is undefined at the compile stage.
PureParadigm··on AMD is determined to gets its rightful datacenter share
I've been running Arch Linux on my 3900X with no major issues. It took a couple of updates before the temperature sensing worked, but right now everything works perfectly.
PureParadigm··on Scientists monitored brains replaying memories in real time
I think it's more like a graph with edges between associated bits of information. It's easy to remember things in order, but random access is hard unless you've established links for it. For example, if you memorized how to play a song, each part links to the next but harder to ask someone what is the n-th note in a song, even if they can play the song. It would explain why making associations is a useful memory technique. Traversing this graph when you aren't near what you're looking for can be hard ("it's on the tip of my tongue").
PureParadigm··on Safari will no longer trust certs valid for more than 13 months
Use a web browser that respects your choices. Your software should work for you, not the other way around.
PureParadigm··on Indian police open case against hundreds in Kashmir for using VPN
Perhaps there is also the need for untraceable/hidden tools for censorship circumvention. This may involve masquerading as normal traffic. I've heard of specialized hidden censorship circumvention tools that do this by tunneling information though protocols like ping or DNS which won't look as suspicious as a VPN. Of course, for wide deployment this will become a game of cat and mouse, but I don't see any reason it would be impossible to make a good solution that is very hard to detect.
PureParadigm··on MacBook Pro 16 Has a Fan Problem
Why would that have to be the case? Also, wouldn't performance and thermals go together? You won't get good performance if you're constantly overheating.
PureParadigm··on The joys of maintaining your own server
The number of unauthorized SSH attempts will also very much depend on your IP address.

I've hosted my own SSH server at home and from a university dorm room. At university, I'd get way more attacks (usually from foreign IPs) than at home. Also, on IPv6-only, I got zero attacks. I run everything behind a Wireguard VPN now, so I don't know how things have changed in the past few years.

It would be interesting to see an analysis of attempts based on IP address type (residential, business, various universities, various clouds). How does the number of attacks compare within and between these categories? Perhaps there could be a cool graphic with arrows (or some other indicator) showing where attacks are coming from and targeting.

PureParadigm··on I Was Google’s Head of International Relations. Here’s Why I Left
There is an important distinction between Chinese culture and the policies of its unelected government. Since they are unelected, the policies of the CCP don't always represent the will of the people or Chinese culture.

When a government is unelected, it needs to show its legitimacy through strength. This means censoring anything that would make it look weak. Censorship is simply a political tool by the CCP, not a cultural practice that deserves respect.

In fact, you could argue that political censorship is the actual enemy of Chinese culture. Historically, China has had a rich history of political theory and thought, but now any views that go against the party line are repressed.

PureParadigm··on LaTeX, Instantly: Extract LaTeX from PDFs or Handwritten Notes
I used to think converting from handwriting to LaTeX would be a really useful program and save a lot of time, but after typing LaTeX on a regular basis, the input speed is really not an issue. Sometimes I'll encounter a symbol I don't know, and then I draw it in here [1] and remember it for next time. When doing math, it's definitely not the bottleneck in getting my work done. I would definitely be slower with handwriting conversion, especially when you factor in fixing errors in its translation. I only see handwriting conversion being useful as training wheels for beginners, but would be interested if someone has a different experience.

Automatic recognition from PDFs is more promising for accessibility and reformatting, and also seems to be easier to do since typeset math is easier to recognize than handwriting.

[1] http://detexify.kirelabs.org/classify.html

PureParadigm··on Work Is a Queue of Queues
I rely heavily on the "snooze" feature for email. I try to keep my inbox completely clear, and if something comes in that I can't deal with immediately, I snooze it for when I have time or it becomes relevant. I basically see emails as tasks, and they are completed (archived) when I've both performed the required action (maybe just read it, or sometimes also do something else) and responded if necessary. They can also act as reminders, such as maybe I have a meeting in a month, so I'll snooze it until a week before the meeting. This way I never miss any emails and respond in a timely manner to urgent ones. Snooze acts pretty much as a (sorted) queue.
PureParadigm··on Nuclear fusion startup raises $100M to design and build a demo power plant
I believe two hydrogens are fused together to create a helium.
PureParadigm··on Verifiable Voting: A Primer
There couldn't be any limit on the number of votes/receipt for each person. If you could get a maximum of N receipts, then you could be paid to deliver all N receipts so they can be sure you haven't snuck in any additional votes.
PureParadigm··on Tech and Liberty
For Americans, First Amendment protects telling lies (as long as there is no other crime such as fraud), so penalties for lying on the internet likely wouldn't stand up in court.
PureParadigm··on Veterans want answers as new data shows rise in cancers over two decades of war
It happened whether you "prospered" from it or not. How does that alone make you any more culpable? You could argue a baby born today might have indirectly benefited from it. Is that baby culpable to any extent?
PureParadigm··on Restic – Backups Done Right
As far as I know, IPFS objects are immutable. Is your suggestion that I publish some sort of index containing all of the IPFS links to my backups, and then my friends can automate pinning those links? I think that could work, but it would be pretty bandwidth intensive since there would be no deduplication (I'd have to also encrypt since I wouldn't want everyone to have my files).
PureParadigm··on Restic – Backups Done Right
Thanks for the suggestion. I've tried Syncthing, but it seems to still require that users are explicitly added (i.e., no public access [1]). I'd prefer a solution where anyone could decide to start helping replicate backups, without me having to add them in some way.

[1] https://github.com/syncthing/syncthing/issues/1942

PureParadigm··on Restic – Backups Done Right
This seems very similar to Borg Backup [1], so I'm interested to hear from others who have used both on how it compares.

More generally, I've been looking for a solution that helps distribute backups in a peer-to-peer way. I have a few friends with their own home servers, and we want to replicate backups across each other's servers for geographical redundancy. Currently, I have a script that uses rsync to copy some tar archives over daily, but this doesn't scale well as more peers want to join our backup-sharing group, since it requires them granting me SSH access.

What I need is a decentralized network to share and retrieve backups from peers. I tried using dat [2] with a Borg Backup repository inside it, but ran into some nasty issues with dat which would cause it to regularly crash and one time even corrupt the data.

Does anyone have any suggestions for such a situation?

[1] https://www.borgbackup.org/ [2] https://github.com/datproject/dat

PureParadigm··on Leaving Prison at 72
Maybe you need to qualify this with the legal system should also only punish those convicted of crimes. Perhaps threatening to punish family members for crimes is an effective deterrent and ends up preventing more crimes (and thus fewer victims overall), but this isn't a fair system nor one I'd like to live in.
← PreviousPage 4 of 5Next →