skysight-inc/HackerNews huggingface dataset:
I'm all in static typing, but writing Elixir has ways less anxiety than any dynamic typed languages I've written.

These are features that help eliminating uncertainties:

1. Function head pattern matching

This also includes anonymous functions used in Enumerable functions like map, reduce. Which is my most favorite way of using pattern matching

2. Guard clause

It's part of function definition so it's visible in very nice ways; not mess with the body.

3. Process supervision strategies

Let it crash! The elegant way of dealing with exceptions and unexpected errors.

It's a fair trade with static typing.
Trying to build the next version of Learn Anything. A platform for learning anything via curated study guides as well as a knowledge tree of topics and a platform for ideas. All open source.

https://github.com/learn-anything/learn-anything
I thought KOHCTPYKTOP would be featured :( It got me into pondering how actual logic circuits work (as opposed to theoretical circuits with instant output).
Up until a year ago I worked on a personal project that involved putting online photos of old cars from my country as found on GoogleStreetView + some photos of the same old cars personally taken by me [1], the reason being that most of those cars will be totally gone in the next 10 to 15 years (many of them are already gone since Google took most of the photos back in 2012 and 2014) and so I wanted to sort of preserve and make these images easily searchable/browsable for existing and future car nerds.

I've also started a small project [2] where I'm posting photos of local flour mills built before WW2. I find them very interesting from an industrial-architectural point of view and by image-documenting as many of them as I can I hope that somehow these buildings will stir the interest of people with some more influence than me when it comes to architectural preservation so that maybe not that many of them will be teared down. I suspect this will be an "on-going project" for quite some time, as until now I've only taken photos of about 30 of these mills, while I counted 500+ still existing in the whole country (mostly using Google Maps/StreetView + Google Image searches + some old topographic maps).

[1] http://cars.maglina.ro/

[2] https://mori-din-romania.blogspot.com/
The GDPR prompt wouldn't even be required if nothing shady is going on :P
I didn’t know that either! For anyone else wants to try it out: https://www.reddit.com/r/firefox/comments/a5evhr/configure_d...
Stalled a bit recently but I've been working on/with a programming language called Joy[1].

It's stack-based, "concatinative" and Categorical. It's a little like Forth+LISP.

I had just implemented some type inference[2] when Warren's "Logic Programming and Compiler Writing" went by here on HN[4] and I got into a very rewarding Prolog rabbithole.

So now I'm writing a compiler in Prolog for Joy.

[1] http://joypy.osdn.io/

[2] http://joypy.osdn.io/notebooks/Types.html

[3] https://www.researchgate.net/publication/220280364_Logic_Pro...

[4] https://news.ycombinator.com/item?id=17674859
You need to learn more about what the current Mac ports actually are, clearly. Hint: Google "Thunderbolt 3". Then Google "Thunderbolt 3 dock".
Dns blacklisting of ad domains is a common technique.
We have an interesting display of the phenomenon I've been speaking of right here. Now that the Left is in power it has dropped all pretense of the devotion to freedom of speech and the marketplace of ideas that once supposedly was the core of its beliefs. It is lashing out in the same humorless ways the old WASP establishment did against barbs of the punks/hippies of yesteryear.
We're building a GraphQL internal/external API. Our main app uses the same API that clients can hit directly. Our backend dev team spends a large fraction of our time building custom REST API endpoints. With GraphQL a lot of that work is being shifted to front-end devs and to previously non-dev account executives, and their clients directly. A project to create a report that used to involve many organization layers and take weeks, can now often be done on the phone by an account exec without a dev ever hearing about it. Clients have deeper and easier access to their data than our competitors yet offer.

Of course we're very concerned about the performance drawbacks and are trying to plan for them. We don't expect it to be web scale and aren't replacing our REST APIs that serve the public. Even so we expect to need to be smart about calculating query complexity.

So while most of the criticisms of GraphQL on this page do apply, for us the net value is looking quite positive.
It's a theorem of analytic number theory. It's just a special value of the ζ-function. People misunderstand how analytic continuation works and therefore (wrongly) interpret ζ(-1) as the divergent series 1+2+3+... (The correct interpretation is as the unique analytic continuation of the holomorphic function $\sum_{n\geq 1}\frac{1}{n^s}$ defined on the half-plane $\Re(s)>1$ to $\mathbb{C}\setminus\{1\}$.)

It's actually a pretty simple consequence of the functional equation for ζ and a few special values of Γ. That in turn comes from a theta-function identity which can be proven using Poisson's summation formula.

What I'm trying to say is that it's legit maths, that has been distorted due to the shock value of writing the equation "1+2+3+... = -1/12".

If you're looking for a reference, go to Davenport's "Multiplicative Number Theory". It's short, self-contained, and extremely well-written. Serre's "A Course in Arithmetic" should also work.
If anyone has questions about the Apollo Guidance Computer or our restoration of it, I'm here to answer.
Internet of Shit devices, Smart TVs and etc. would be unaffected by DNS-level adblocking. But to be fair, one shouldn't support such awful business practices by buying such devices anyways.
I'd argue that Java or C# would have worked out just fine for Twitch. There was a recent post on Twitch's early architecture, and it seems they started out with Ruby. Unsurprisingly, they had to switch from it once they needed performance (similar story happened with Twitter).
That hardly makes ads "unblockable".
For introducing DNS-over-HTTPS to circumvent censorship.

This will be great in dictatorships, where anything the dictator doesn't want you to see is censored.
And how does DoH prevent that?

I would presume that, like with DNS over DNS¹, a resolver could check /etc/hosts first prior to attempting to resolve over the network; do proposed DoH resolvers not do that?

Worse comes to worse, you could always run your own local resolver.

¹or whatever we're calling the original protocol now
A decentralized Medium alternative

https://decentium.org
What? MONITOR is a command like all other commands - you can run it from a client, or really, anything that can establish a TCP a connection to the Redis server. (Eg telnet.).
I'm aware of their rationales, what I'm saying is that they don't make sense and are dismissive, and have no studies at all to back them up.

It's there in the first link you posted for example, "we believe exceptions lead to convoluted code". Belief here is not sufficient, it must be conclusively shown that it's otherwise, especially given that subjectively speaking it is possible in golang for errors to slip and not be handled at all (I saw it in real code bases), much much worse than any "convoluted" code that exceptions may result in (again it's very subjective - the way golang handles errors results in much longer code that's harder to follow).
I'm building a database + API with Trading Hours and Market Holidays for the world's financial markets.

https://www.stockmarketclock.com
After reading their reason, I would like to say to Mozilla: keep up the good work.
Same here. Just toggled it on. Mozilla can wear this nomination as a badge of honor.
Mozilla should use this in ads. Like Snowbird's 1-star ad campaign [0]

[0] https://www.snowbird.com/one-star/
We are still constructing it. Total area in building is 300 m2. Active growing area in Deep Water Culture (DWC) system is about 100 m2. 25 m2 packing room, 25 m2 people facilities etc. Estimated production, 600 lettuce plants per week (6000 growing positions). About 9 m3 for fish, rainbow trout, max 200 kg in the system. Total amount of water in the system is about 30 m3. The insect facility isn’t even on the drawing board yet. But we have an empty horse stable next to the barn we use to put it in.
And how important is ISPA.org.uk? If you’re up to date with our government’s ideas about internet censorship (aspirational to China, in a nutshell) then this org and post has no credibility.

The UK government has a serious axe to grind against any aspect of the internet they don’t like. They are trying to censor in their favour, using children as an excuse.

DNS over HTTPS is a thorn in their side. But of course, never mind Google and GDPR, they don’t give the slightest shit about any of that.

Never mind that DNS over HTTPS enhances the security of their own digital gov. movement.
Jet spent heavily on acquiring urban millennial spenders. If that doesn't fit your profile, your comment makes sense. They also had a cart algorithm that changed your shipping price as you added things to it that was pretty cutting edge at the time.
I always say nothing is going on during wave function collapse. You can't tell the difference between a particle whose wave function has collapsed and one that hasn't. Since there is no change it seems nothing actually happened ;-)
Umm I think you commented under the wrong parent
Maybe this helps: if most Americans plant 3 trees, that's about a billion trees.

When I was young and part of a crew, each us planted -several hundred- trees over 3 eight-hour days. So at least a thousand per person in 10 days. A nation-wide volunteer org -with access to enough seedlings- ... that's the tricky part ... could quickly multiply that to 300 per American - 10% of that trillion.
I use Ctrl+[ instead of escape a lot of the times. Granted this is with mapping caps lock to control.

I’m afraid of mapping the caps lock to escape as a holdover from flash games where escape quit your game and so I fear destructive actions if I accidentally press escape instead of the “a” key, whereas if I accidentally press control nothing happens.
Fair enough, it certainly seems to offer benefits re. flexibility and rapid development.

I'm just too used to being the person who then has to make the server deal with this particular use case (meaning a million possible variations on the same query) run a thousand times faster :P

So if it's understood at all stakeholder levels that there are tradeoffs, it could be a good tool. If. >_>
The problem being that this data points in the exact opposite direction: animals developing fatal diseases after being fed more “natural” diets.

I used to be a proponent of raw diets for dogs, but I can’t pick a natural fallacy over clinical reality. Poop quality being whatever it is.
C++ is so complex no-one can really grasp how complex the language actually is.

C++ is not slowing down. C++ is on the verge of deprecating STL-style iterators in favour of Ranges, and modules and concepts are imminent. Template metaprogramming is being superceded by constexpr. Of course STL iterators, header files, and template metaprogramming are still going to be around, people will just need to learn all of it if they want to work on a variety of C++ projects.
they monetize dns query data so hate it and pretend it's about the children
It's more like an appeal to a consensus if you will, since those languages converged on a set of good established practices (that came out of research obviously) that have actually shown to make a positive difference (e.g. Rust, Scala, Kotlin, and soon Java and C#, have sum types, and pattern matching), and the way they deal with errors (Result type in Rust - where the compiler actually forces you to deal with errors unlike golang, and exceptions in the rest, which again, don't let errors slip through accidentally unlike golang).

The golang authors threw away all that (and are still dismissive of things like sum types) because of, well nothing really to back it up. The same reason they have null pointers whereas all new languages moved away from them, and some like C# are being retrofitted to address them. I think the rationale they gave to having null pointers is that "they're part of the underlying machine" or some ridiculous reason like that, which further proves my point that they're out of touch with established programming research and practices.
I was just like you. This free self guided video series changed my life. Please, please, PLEASE take a look and give it a chance.

https://www.coursera.org/learn/happiness
Since nobody claimed it did, you're attacking a strawman.
This doesn’t make any sense. Your ISP still knows your browsing history even if they can’t see your DNS requests.
What's so awful about a device having ads in it?
Not Bombardier, the C-series program. Bombardier makes trains / rolling stock too, and I guarantee you Airbus didn't want a piece of that.
My side project is a fork[0] of an old Java Swing app. I have been updating the code to use newer Java features and rewriting portions of it in Scala.

[0] https://github.com/dbremner/JavaPH
Yes, I'd like to know what components it degrades into. Microplastics might look better, but they enter into the ecosystem very easily.
502 at this time.
DoH bypasses the normal resolver, and gives control over resolution to the browser. Not a big deal if your browser is from Mozilla. A little more concerning if your browser is from google.
No ‘Night of the Living Dead’?
Trying to grow my company Orchestra, which is effectively DevOps for ML. Hoping to complete a few proof of concepts and am building a founding team.
You've probably heard of Libra. I've been working on a permissionless version of Libra for the last two years. We are called Celo (https://celo.org), and we are committed to advancing financial inclusion using an open decentralized protocol.
Are you saying nothing has value unless it can be directly and reliably used to buy houses?

If you're saying "BTC is less useful than some other currencies", then I don't disagree, but then you should have said that in the first place, rather than motte-and-baileying.
how? wouldn’t they just see TCP packets?
Global pay ... in the US, if you earn minimum wage, you're in the top 1%.
If you operated services that should run at scale, or 24/7, or both, you must have noticed that the ability to fix an urgent issue (which may be totally not a fault of the deployed code) by changing just configs is valuable.
List of Fact-Checking Websites
Is Medicine Overrated?
Python vs. Node.js: Which Programming Language to Choose?
Yeah I didn't think about the monetization angle when I typed that comment, you're right. Some even redirect NXDOMAIN results to a "search" page full of ads (T-Online in Germany did this until recently).
As a side project, I am creating a general purpose model-based testing solution (https://www.leth.dev/ao).
http://publicdomainflix.com/night-of-the-living-dead-1968_bf...
This looks really cool, but I don't understand when this process is required in an artistic pipeline. Do people who work in Maya/ZBrush have to export a texture map in order to paint in tools like Substance? Surely it's easier to work directly on a 3D object that can be rotated in space than an unwrapped map of cutout segments. Otherwise, how could you ever line anything up?

Don't get me wrong: I understand that the ultimate output of a 3D mesh reshaping and painting process is an obj + jpg + mapping file, as I've worked extensively with systems that output files like this: https://sketchfab.com/3d-models/pete-swagger-walk-a55d807de1...

We did all of the image packing ourselves, but every tool I've used will output a map based on its own algorithm.

So, given that my process is admittedly very different than a character artist, where does the UV unwrapping stage come in for most artists? I feel like I'm missing something obvious.
Good questions. Need to check. On the other hand, I think Tesla is always collecting driving data
The mating thing is no longer true. Unless you define it as offspring, but those are hardly successful men in financial terms. If you define it as dating or sex it's true. But most men marry - a relatively recent thing in human society.
I'm working on a project that maps the steam controller as a synthesizer and midi controller, called couchsynth. I'm also working on a textfile-based music sequencer called textbeat (https://github.com/flipcoder/textbeat).
About the press and researchers' fascination with the Voynich manuscript
Which is ironic because they also nominated Article 13 for "threatening freedom of expression"
We don't make any money, but all the hardware is just making use of unspent resources. E.g. The storage is a GlusterFS cluster across all of my machines, encrypted and replicated three times in case anything goes wrong. The cpu usage and memory usage is negligible and bandwidth is free from my provider.

Until it gets to about 32TB of used storage it won't cost me anything, and at the current rate of growth that is going to take decades.
The crux of GP’s comment stands despite quibbling on a few details. The US is the most powerful country on the planet and no one else is close.
I'm working on ReferDigital, an affiliate partner network with no monthly or startup fees, subscription tracking (monthly commissions for the life of the customer), and some other features currently in beta.

https://ReferDigital.com

My side-project is Classient.com, a class booking system / marketplace. My wife has been using it for several months now to teach a weekly class to kids in the neighborhood. A class could be simply watching kids and keeping them entertained (group baby-sitting) so no formal teaching experience is required:

https://Classient.com
The Net interprets censorship as damage and routes around it.

Close this as "works as designed".
Journalism started dying with the abolishment of fcc fairness doctrine. The landscape of media today is abysmal, most reporting orgs are thinly masqueraded op-ed machines. They pander to their audience. The truth is what matters, not what people think about it.

If trust can be restored I will pay. I will not pay for bullshit.
For circumventing ISP data collection on user browsing habits.
This is very cool. As a sales person, the ability to set an upfront agenda and make things interactive for prospects (within a first meeting especially) is important. I have ways of doing this today but I'm always open to testing new strategies and technologies.

I'm in the process of creating a few meetings in QuickIntro and keep hitting the error of "[object Object]" when trying to save or "Create meeting."

Any guidance on a fix?
Did you not search?
On the real, large projects I have worked on for years (Firefox, rr, Pernosco) in C++ and Rust I have spent negligible time writing container data structures. Of course I create data structures, but almost always by combining hashtables, arrays and smart pointers and occasionally something more exotic from a library.

It's unfortunate that a lot of teaching programmer has people implement data structures from scratch. It gives the false impression that that's what programming is largely about.
On my phone this website throws up a giant banner over the bottom 30% of the screen telling me I have cookies disabled and that I really do need to turn them back on please.

Riiiight. Moving on then...
Is there any disadvantage about activating it?
Is the default (https://mozilla.cloudflare-dns.com/dns-query) adequate?
A smart phone? Probably not
I've enjoyed CuriousMarc's videos very much. Thanks for publishing them.

Here you guys are helping the AGC pass it's self-tests, which was an amazing step.

https://www.youtube.com/watch?v=HpIwQZaEvV0

I worked on a core memory device when I was in the Air Force, and got to troubleshoot a problem with it (which was rare - it was usually very reliable). One core had gone bad in a particularly poor location, which corrupted the "end of message" indicator. So we'd get one message and it would hang, waiting forever for the message to end!

https://nara.getarchive.net/media/ssgt-anthony-j-mathis-and-...

(neither of them are me)
Or phrased another way, 10% of employees deliver 50% of the value. If you use pay as a (very) rough proxy for value. When phrased that way it seems conservative. Of course 10% of the people deliver half the value, I would have pegged it more like 10% deliver 80% of the value. And maybe it is more that way, because pay doesn't scale with value in most careers. CEOs being one of the few exceptions - and the value often dubious.
Not if your traffic is HTTPS+TLS. They will only know--if they are the target DNS server--what IP you are connecting to. The secure channel protects against them knowing more than that.
I love F#, but using F# instead of (type|java)script would add a lot of complexity to my 'full stack'. Let's see I replaced my node.js backend with an F# one, the following issues would arise:

1. I now have two different languages for client and server, and can't share e.g. validation code.

2. Dealing with 2nd class linux support (no REPL)

3. No library that combines the maturity and simplicity of express.js. Yes I am aware of ASP.NET Web API and no I do not think that compares.

So as much as I love pipes and partial application and concise syntax, F# would create an explosion of complexity, not fight it.

EDIT: This also follows the common trend I see of starry eyed functional programmers who - to put it bluntly - don't seem to know what they are criticizing.

Of course some things from here we can do in C#. We can create CardNumber class which will throw ValidationException in there too.

A Result datatype with all the bells and whistles is what, a few hundred lines in C#? I agree that it sucks that there isn't one built in, but if you like them and you're stuck in C#, code one up and forget about the 'issue' ever again.

But that trick with CardAccountInfo can't be done in C# in easy way

That example looks trivially translatable to an abstract class with two concrete sub-classes to me.

EDIT 2:

The F# docs are awful. Struggling to find the API for the Result module. There's a guide on how to use it, but when you look at the core namespace it's missing.
I would love to exchange ideas in order to build the roadmap based on what you need because that's exactly the path I want to go with my product.

My idea is to create a tool that the manager uses, but also the team members use - and is actually more useful and actionable for the team members, helping them achieve their professional goals.

Currently, you can create "Long Term Goals" and "Short Term Commitments" for your team members. And they have their own account to check and edit their own Goals and Commitments.

What I am working on now is to create some sort of "Steps" to achieve a Goal and frequent "Status Updates" on how is it going. With it, email notifications - sent to the Team Members - so they report their status updates.

Future integration with Slack for those notifications is in the plan too.

EDIT: You (or anyone reading this) can contact me through the email on my profile

"Important dates" added to your calendar of choice would be neat.
Sintech sell adapters via amazon US/UK etc for about $15 that allow you to take a regular NVME drive (which are VERY cheap just now) and adapt it to the apple SSD hardware interface. You can have up to 2TB of faster-than-ever storage. You'll also need torx screwdrivers to open the case.

If you do some googling you will see there are two versions, and depending on the size/shape of SSD you are buying it may be better to buy one rather than the other.

If you do more googling, people have tried various drives and report on performance/compatibility etc but generally compatibility is good except with some samsung drives.