uxp8u61q

23 ms·

301.
by uxp8u61q 3y ago
Don't be coy. Your use of words like "market", "features" or "customers" made it pretty clear what you meant by "product". > I'm also not the target audience for the LHC or James Webb but
302.
by uxp8u61q 3y ago
Because the audience isn't "programmers".
303.
by uxp8u61q 3y ago
I have trouble parsing your sentence, so hopefully what follows will help. - Lean has always been open source. - Lean 4 has been in development for a while, with the first milestone (alpha version) published in January 2021.
304.
by uxp8u61q 3y ago
The goal of Lean is to be a programming language used to prove math theorems. Looking at a FizzBuzz implementation and balking at the complexity is utterly missing the point.
305.
by uxp8u61q 3y ago
If you have to listen to such an elevator pitch, you're not the target audience. This is bleeding-edge math/CS research. Talking about a "product" just shows that you have a fundamental misconception regarding what this
306.
by uxp8u61q 3y ago
Which uses Arduino under the hood.
307.
by uxp8u61q 3y ago
How does your "definition" (I will take that to mean "an abstract wrapper for some properties that you can apply sequential transforms on" from your first comment) apply to e.g. the monad whose algebras are monoids?
308.
by uxp8u61q 3y ago
The word "transformation" in that name has absolutely nothing to do with your use of the word "transform" ("transform the wrapped properties into some IO call"). MacLane could have decide to call natural transf
309.
by uxp8u61q 3y ago
I would have expected HN users to have learned their lesson after this superconductor fiasco. Expertise in a field grants you no expertise in another.
310.
by uxp8u61q 3y ago
200 years is, what, a thousandth of the duration humans have been on this Earth? 44 billionths of the age of the Earth? It's a blip.
311.
by uxp8u61q 3y ago
Is this an ad?
312.
by uxp8u61q 3y ago
The terms of PyPI give anyone the right to mirror. Do they give anyone the right to mirror on github , is the question.
313.
by uxp8u61q 3y ago
It's easy to say that until it affects your paycheck.
314.
by uxp8u61q 3y ago
Sorry, I guess I disregarded it because I figured we were talking about serious programming, not literally "Hello world". And if you're writing a single "Hello world", HTML is overkill. Make a free website on a rand
315.
by uxp8u61q 3y ago
> Because they are called "libraries" for a reason, it can do much more than "Hello, World", and they are routinely used for much more than that. There you go.
316.
by uxp8u61q 3y ago
Look at your computer. Are all its parts and pieces strictly necessary to display the text "Hello world" on your screen? No. Why don't you throw it away and buy something simpler, then?
317.
by uxp8u61q 3y ago
People determined enough to commit fraud, test their security suite, DDoS the website, or try a credit card, will know how to use a VPN. > What are they protecting? Nothing. They've simply listened to a "security consultant&quo
318.
by uxp8u61q 3y ago
I don't think the following situation is uncommon: * I'm a tourist, I need an item; * I see there are two stores nearby, one is CVS, the other something else; * I want to check online if they have the item, because I'd have t
319.
Tell HN: If you're asked to implement geofencing, push back
13 points by uxp8u61q 3y ago|10 comments
320.
by uxp8u61q 3y ago
What will happen is much simpler. They won't give you the room key if you don't pay, and will eventually ask you to leave the premises if you're not a customer.
321.
by uxp8u61q 3y ago
Are you happy with your creation of e-waste? Seriously, a phone a year...
322.
by uxp8u61q 3y ago
Yes, it looks like it's "just" a tutorial. As someone who recently started dabbling into MCU programming, I can tell you that a tutorial that shows you all the steps, and has an end result that works and can still be tweaked,
323.
by uxp8u61q 3y ago
Switzerland is not in the EEA. The EEA is EU + Iceland, Liechtenstein, and Norway.
324.
by uxp8u61q 3y ago
Maybe I didn't express myself well enough. Do you really find it plausible that the government would know the person's Skype username but not their name? If they can compell the isp, why not Microsoft? They will obviously comply t
325.
by uxp8u61q 3y ago
Uh, what? What scenario are you trying to conjure here? The regime knows the person's Skype handle, but not his/her IP; and the knowledge of the IP someone enables the regime to kill the person?! How does that work, exactly? Can y
326.
by uxp8u61q 3y ago
You're distracted by the parentheses? Really?
327.
by uxp8u61q 3y ago
And that's readable?
328.
by uxp8u61q 3y ago
Use a decent IDE that allows you to review PRs from within the IDE.
329.
by uxp8u61q 3y ago
Can I use Go to program my STM32 MCU?
330.
by uxp8u61q 3y ago
It's not like the "hackers" are going to be able to do much with the IP address.

More ›