HNHacker News
TopNewBestAskShowJobs

high_density

48 karma · joined June 20, 2020

submissionscomments
high_density··on Python's Type Checking Renaissance
the point of using python? ML libraries! that's the 99% case of python-only case.

Other than that, I actually don't know... a lot of other languages now have interpreted-dev envs...

(btw, I'd rather use Kotlin than java --- it's like Java++)

high_density··on Python's Type Checking Renaissance
no it's not -- every other languages other than JS/TS has multiline lambdas... Java 8+, Kotlin, Rust, Scala, C#, ...

seems you're confused between "limitation" and "feature"...

it's a limitation due to python's "no-braces/indentations-only" policy -- can't think of a way to mark where a lambda starts and ends clearly and cleanly with indentation-only...

high_density··on Python's Type Checking Renaissance
well there are some warts...

1. no multiline lambda function? - breaks flow of writing fp code

2. default-arguments are 'shared' by default? - have to 'break' this sharing by assigning 'None'... - very unintuitive / I don't know any language that does this...

Anyway, not everything in python is 'pragmatic', and adding types is one of the first steps in going in the right direction.

high_density··on Python's Type Checking Renaissance
read mypy docs, but use google's pytype...

pylance is much stricter, but it seems to have a lot of false-(+)s

from what I've used, the implementation varies wildly...

high_density··on Toolz: A functional standard library for Python
the thing with python is that it's "indentation-based" -- it's difficult to see "where does this anonymous function return or end?"

maybe it's time to allow optional brackets for marking where a function starts and ends? eg. a { ... } (or anything else -- even {| ... |} will do)

high_density··on Cargill open-sources Splinter, its ‘blockchain-like’ supply chain software
github link: https://github.com/Cargill/splinter

written in rust :D

high_density··on Programming Language Creator or Serial Killer?
maybe creating a file system makes people... ¯\_(ツ)_/¯
high_density··on Russian opposition leader Alexey Navalny detained as he returns to Moscow
I think the gp is asking: why not sneak-in, instead of openly coming through the airport?

but then again, maybe Alexey or his supporters didn't expect him to be arrested this fast

high_density··on Rust is a hard way to make a web API
well it doesn't make sense... why move away even from server-side java? I mean, you guys can use kotlin which is a combination of all the goodies (functional + ergonomic + type-safer than java/go) that has good java interop... and kotlin's even the official language for android projects...
high_density··on Rust is a hard way to make a web API
> due to the Oracle litigation they were trying to get away from Java where possible.

not a lawyer here, but isn't the litigation related to Android Java-clone, not 'server-side' java-usage?

high_density··on New MacBook Pro models to feature magsafe, no touch bar and more ports: analyst
well I really like the idea of "connecting everything - keyboard, monitor, and even power" of usb-C... but it's a security nightmare. One rogue device can pretend to be a keyboard + monitor, and can run some commands without user knowing.

though I expect apple to put usb-c port for ordinary people / people who don't like to buy magsafe (I ran over them with my chair several times, resulting in 5 replacements...)

high_density··on Rust is a hard way to make a web API
hm I agree on the points made you made on the GoLang -- its design seem to be a regression. (to add another: look at Go's "default-value instead of Null" instead of adding actual null-safety in the type-system like kotlin/swift/scala/typescript/etc.)

Anyway, this blog-post seems to rally for a better eco-system work on Rust part. Being a new language without a rich parent (like Go's "google" or C#/Typescript's "MSFT"), the situation is somewhat understandable.

high_density··on How I hijacked the top-level domain of a sovereign state
I think lovasoa is pointing out what could happen in real-life, not 'what should happen morally/ethically/etc'.
high_density··on Parler social network sues Amazon for pulling support
once again, same here: to maintain democracy, no political entity should be able to snuff the other side.

By your logic, it's OK for Bill Gates to buy all the press influence to completely silence the politically-other-side.

And my mention of net neutrality is to show how flawed your whole logic process is.

> What some people are arguing for is a sort of "opinion neutrality" for social media companies that forces them to treat all opinions equally without moderation.

hm I actually find this scary. Maybe you're from China, where deviant opinions/minorities must be snuffed down for "harmonious society"?

high_density··on Moderna is announcing three new vaccine programs
damn I have a habit of only reading HN comments and guessing what the article is about
high_density··on Moderna is announcing three new vaccine programs
+1.

btw, maybe moderna can go after AIDS sometime later? I wonder how mRNA vaccines will work for AIDS patients...

high_density··on Parler social network sues Amazon for pulling support
it's not "freedom of speech vs publication". If it was about distribution-rights on small vs big, it would be "freedom to whisper", not "speech" which implies speaking publicly.

Another concern: by your logic, net neutrality should be moot. Let ISPs choose and throttle online service by their whim.

Anyway,"freedom of speech" is actually intended to prevent any dictatorial entity from hiding the other side from the public.

imho, If the 'democrats' are actually 'democratic', they should have solved this with a much more elegant solution - eg. inviting people to a common, shared platform and refuting them there. Current FB/twitter/aws solutions are rather 'easy but dictatorial and may backfire', which is somewhat 'republican' in taste...

(* by backfire: pro-trumps can think: "The other side is trying to snuff us. What are they hiding? Are they more evil than imaginable? We should do something to guard USA from them"

imho, the root of the whole fiasco is actually the press preventing the broadcast of Trump after the election. (the 'snuffing') Better solution would be having open discussions to refute the pro-trump people.

Another thing is that by-standers will note about how 'undemocratic' the whole solution is, and whether they'll also be treated if they end up being the 'other' side of other issues

high_density··on Lulu – Mac open-source firewall that aims to block unknown outgoing connections
you know LuLu and Little Snitch are made by the same company (obj-see ... obj-c ???)
high_density··on YouTube bans Steve Bannon's podcast channel
this. Current outright banning and gagging will surely backfire.

The pro-trumps will raise the question: "what are the other-side so afraid of, that they are trying to shut us off?" So instead of calming them down, it'll actually have the opposite effect - the feeling that the other side is much more evil than imaginable.

And the questions for bystanders will be "If the powers-that-be can snuff that side, what guarantees that I/we won't be snuffed?"

If you see the foundations of democracy, 'Freedom-of-speech' is actually a device to ensure no political party can have dictatorial powers over what the public can know. Moreover, democratic societies are actually more resilient due to these 'room-to-wiggle' - the other option will be much more violent 'revolution' experienced by dictator-states at their end.

Anyway, the other side is producing gibberish, then so be it. Just refute them properly inside a shared platform.

high_density··on US passes anti-corruption law that effectively bans anonymous shell companies
> Just to confirm - am I reading this correctly in that, this massive corporate secrecy legislation does not apply to the vast majority of publicly traded corporations in the US? If they had just not included those exemptions, this would have been extremely beneficial for everyone right?

why would anyone go against 'all publicly traded corporations'? do you believe they are inherently evil, and should be taxed?

this law limits the depth of shell-company layers. it's more costly to add shells with this law.

high_density··on What happens when the CCP decides that you need to die
well things go bad when they actually realize and/or admit CCP isn't a beneficial entity for the Chinese...

they have family/relatives in mainland... have to be careful even in abroad

high_density··on What happens when the CCP decides that you need to die
it's to separate 'the Chinese people' from 'the CCP'... the Chinese people are the victims, CCP the perpetuators. A lot of people confuse this distinction, and do racial behaviors thinking they're doing good for the world.

And yes, the same should go for Iran and Venezuela. But it's easy for CCP because they officially made the acronyms by themselves...

high_density··on The Wonderful Uses of Asbestos (1942) [video]
> Oh god, that was not my intention in the slightest

yes I can see that. but GP didn't actually say "5G is deadly", but "there might be something we don't know that can turn out to be harmful"

> we have access to an immense amount of knowledge we can use to help ourselves make decisions

the older-generations in the examples by GP could have been thinking the same thing. we all know better than older-gens, and future-gens will probably know better than us

Anyway, just don't try to attacking too soon -- might hinder discussion / research-attempts / etc

high_density··on The Wonderful Uses of Asbestos (1942) [video]
I think GP is saying our scientific knowledge might not be 100% perfect, and we might not know one or two things until later. You're a bit over-reacting -- you just made GP an anti-vaccer... maybe pointing out that we have better research tools and methodologies will do...
high_density··on [dead]
it really depends on project size... a small or just starting project? then maybe yes...

a big company-wide project? then static-checking with types is a must.

Guido beginning to work on types for python shows how types are necessary for big projects

though the current trend for languages seems to be converging, or everyone copying everyone else's?

pattern-matching? null-safety? exhaustive-enums/classes? lambdas?

if you squint a bit... the language-features are becoming more and more similar...

high_density··on Windows 0day privilege escalation still not fixed
isn't PiHole some kind of external firewall? that works 90% of the average-joe known botnets against a desktop PC, but it's not helpful for laptops / unknown-control endpoints. (or endpoints that are really good at hiding)
high_density··on Windows 0day privilege escalation still not fixed
hm... do you mean linux-based? can't... Korean banks have activeX + other crap requirements. (they even detect VMs in linux)

also, linux can't run apps like photoshop / adobe cc apps / etc

as for mac... I'm waiting for a M2 macbook pro 16 inch with RTX 3090 graphics for about $1500...

high_density··on Windows 0day privilege escalation still not fixed
just wondering... is there any defense normies like me can do? eg. turn some windows feature off?
high_density··on Let the ultra-rich and influential skip the line for Covid-19 vaccines?
ditto this. if some rich people are willing to pay 20,000x, then that roughly means (20,000 - 1) more vaccine for others (per rich person willing to pay, that is.)

The other option is paying with tax-money...

btw, another view: why fix it to 20,000x? why not auction?

high_density··on Epic vs. Apple: Order Granting in Part and Denying in Part Motion for TRO [pdf]
I don't think Epic use the same account on purpose -- I mean, why pay x2 the fees?
← PreviousPage 2 of 3Next →