skysight-inc/HackerNews huggingface dataset:
How about wanting to filter advertising, or filter content for myself - I block imgur via DNS for example, or block domains used by trackers and malware creators?
I'm happy that the static type guard rails exist. I mainly work on e-commerce codebases that have been operating for on average more than 5 years, have had a lot of different developers work on them, and are typically large enough (1 million lines of code or more), that I can't keep it all in my head. For this type of work, it's very nice to have static types, as some of the code has tests, some don't, and at least the static type is a sort of enforced guard rail. Ideally, everything would have tests, and most projects I work on we try to move in that direction with various amounts of success. For me, the most challenging changes can be Javascript changes where there are no tests and no types.
Where did you see "racism" in that comment?
I do wonder whether there is any reason to believe that generating code from types would ever be easier than writing the code directly. More specifically, I wonder if this:

> This is useful because the language of types is much more concise than the language of terms.

actually holds with sufficiently complex types. For example, would the fully-specified type for quicksort actually be shorter than quicksort?

I don't know that there is any reason to believe so. The best we may be able to hope for is that we'll have less work to do for formal verification, since instead of writing both the proofs and the code, we may be able to only write the proofs and have the code for free. However, given that writing the proofs is, at least currently, much, much harder than writing just the code, I'm not sure this type of development would make more than a dent in the software engineering world.
Duplicate: https://news.ycombinator.com/item?id=22412409
>>You may soon discover (depending on your jurisdiction) that topping up is no longer an option, because your actual bank starts treating these transactions as cash advances, 3%-4% fee (and trashing your credit rating too)

I may not. In fact, I have no idea what you mean by 'cash advance'. By HN standards I am pennyless, but wouldn't ever dream of spending or withdrawing money that I haven't got.
Hah, I remember this all too well
> I would expect it to work over secure channels, and not over links that can be discovered and indexed by Google.

How on earth? The web and links are pretty much the only thing we have to point people towards internet services.

And I just checked, in the app, directly under the link, there is the following sentence: "Every WhatsApp user can follow this link to enter the group. Share it only with people you trust" (my translation, English wording probably differs).

> Look, I don't have time to debate this.

So instead of finding out what's happening (it's still not clear!), you'd rather use your time to FUD your friends and acquaintances.

> I've mentioned it to several non-technical people I know who use WhatsApp and they are surprised.

Of course, if you coloured it with your opinion and speculation, like you did in this thread.
And as we all know, sad songs say so much.
Ambassador API Gateway and Ambassador Edge Stack 1.2
you're not from the UK or Europe are you?

There are a lot of eastern european criminals who come to the UK to do business. I'm not saying its good or bad I'm just saying its part of life in the UK.
I have the issue with both mice and keyboard:(
I don't know, that wasn't the point though. At least with the ISP I am a customer, not a product.
Manjaro Linux 19.0 “Kyria”
Can’t afford a ‘CEO whisperer’? Meet the Tinders of executive coaching
If you ever watch official demos, Apple users always use one hand to hold, one hand to gesture/interact.
I'm in Canada and TRR is indeed marked false for every domain.
Run wireshark on an ssl connection. The server certificate is sent in plaintext. It includes the DNS name of the server you connected to.

DoH would make sense in a world where that was fixed. (Though DNS over TLS is also a thing, and makes strictly more sense than DoH from what I can tell...)
That's excellent, thank you!
tcpdump -i any -s 1500 '(tcp[((tcp[12:1] & 0xf0) >> 2)+5:1] = 0x01) and (tcp[((tcp[12:1] & 0xf0) >> 2):1] = 0x16)' -nnXSs0 -ttt

Is it though? This one liner works just fine for me on my gateway and is capturing quite a huge number of raw SNI names.

0x0110: c008 0016 0013 0010 000d c00d c003 000a ................
0x0120: 00ff 0100 0113 0000 001d 001b 0000 186c ...............l
0x0130: 6f67 7369 6e6b 2e64 6576 6963 6573 2e6e ogsink.devices.n
0x0140: 6573 742e 636f 6d00 0b00 0403 0001 0200 est.com.........
Finally! Amazing tool!
Thank you! I can't believe how far down I had to scroll to find this. Having worked in an LP codebase, it's by far the worst workflow I've used. The academic paper angle makes a lot of sense.

I wish we could just put literate programming to bed as a practical solution. However, on the bright side, we may have gotten Wolfram notebooks and Jupyter notebooks because of that. Again, you wouldn't/couldn't write a decent program with them. But they're excellent for (data) analysis, prototyping, and you can end up with a decent-ish document.
> Stopped reading my iPhone in bed at night, now I just read my backlit Kindle

I think you mean your front-lit Kindle. The iPhone has a back-lit screen.
Unfortunately, Erlang does not directly implement Actor behavior change.

Consequently, Erlang cannot directly implement Actor behavior change. A factorial server is implemented below:

FactorialServer[ ] *implements* ProcedureServer<[NaturalNumber], NaturalNumber>
[i] |-> // received message [i]
Factorial.[i] // return result of sending [i] to Factorial

In order to implement Actor behavior change, Erlang must resort to using helper processes that trampoline back so that helper processes can return the desired change.

See the following for direct implementation of Actor behavior change:

https://papers.ssrn.com/abstract=3418003

PS. The type ProcedureServer above can be defined as follows:

ProcedureServer<t1, t2> ≡ // Procedure server with parameters types t1 and t2 is defined to be
t1 -> t2 // type of procedure from t1 into t2
How I Declare My Class and Why
he never played need for speed
> Random people are nervous around each other to start with, and the group dynamics of 3-5 mutually unknown men competing for women sounds like it would suck. As a male I wouldn't go anywhere near it.

As a woman, I would frankly be terrified of going to that. It's risky enough to meet up with one man from a dating app. I wouldn't risk meeting up with multiple unknown men.
Addressing this separately, I said:

> dismissing this as "Works as intended" seems to me to be breathtaking arrogance.

You said:

> I really don't like your arrogant dismissal. I've tried to understand the issue, after three articles it's still unclear.

So let me put it this way:

* Users are surprised that this happens, and some of them are concerned,

* The software people are saying: It works as intended, so I don't see the problem.

To me, that response is arrogant, in effect saying: Well you're just to stupid to understand how it works.

Maybe my expectations are just radically different from yours, maybe we're just talking past each other, maybe I just can't express myself clearly enough for you to see my point, or maybe I'm just wrong.
I second this. Even if swarm isn't officially deprecated my time with had proven that swarm was abandoned for k8s around 2016/2018. Long standing issues have been around for years.

Even trivial things like deploying only a single service from a stack file that contains multiple services isn't possible (even though docker compose has no problems with it).

The current recommended method to restart a service is to set it's scale to 0 then back to whatever number it was previously (because you remember it right?)

I thought it would be as good/polished as docker compose but boy was I wrong.
Of course many implementations do compile to machine code but there are also a few that don't (clisp, ecl, abcl). It is really complicated to talk about languages that have multiple implementations. That is why I went with "interpreter". That was pretty lazy of me :).

But you didn't say anything about the original question. Have you seen Common Lisp code deployed as an executable or as source code?
Camel meat has always been popular in the Middle East. About 3M camels are slaughtered for meat every year. It's similar to beef, and considered a halal meat for Muslims.
Fault Tolerance Web Architecture for Our Cloud Solutions
And we all know what the ISP business model is. We have a right to ask what Cloudflare is getting out of this.

We've seen the "don't be evil" free stuff thing turn sideways before.
> It fails to attract many people because it's not a fun language to get started in.

Interesting. Nobody is born knowing any computer language. Languages therefore are popular (among other things) in proportion to their ability to convert "those who don't know the language" into "those who know", and "those who know" into actual users. A gentle introduction to those who don't know anything is therefore a good start. I suspect that both Lisp and Haskell suffer from this.
Out of curiosity, do you have ADHD?
MSPaint in a Browser
> Either you're a Haskeller not familiar with monad transformer idioms, or you're not a Haskeller just shouting your uninformed opinion.

This comment feels unnecessarily aggressive.
Not just Haskell. I've done a very similar thing in Java which I regret.

The trick is to make sure that as soon as you've written this garbage, you go back, split things up into proper methods with descriptive names. Even things like introducing intermediate variables goes a really long way towards improving readability.

To me, this is a starting point, not the finish line.
The Firefox settings UI allows the user to set a custom DoH server. For example, Quad9 is yet another DNS provider that hosts DoH servers:

https://www.quad9.net/doh-quad9-dns-servers/
The BBC micro:bit––from the U.K. to the world
How will courts blocking domains work after this?
In Singapore, everyone eats out in the hawker centers so most housing doesn't have a full blown kitchen. Of course Singapore has the population density to make this feasible and buying food is pretty cheap.
If you have to make changes to it, you'd have to read it directly, right?
Would RPC include stateless/RESTful but synchronous calls in this context?
> We continue to explore enabling DoH in other regions, and are working to add more providers as trusted resolvers to our program. DoH is just one of the many privacy protections you can expect to see from us in 2020.

Cloudflare is just one of the initial providers and they indicate that they are adding more. Also, I'm assuming you can add your own custom provider based on the screenshot in the article. You can just disable the feature as well.
The whole song or even a majority doesn't have to be covered. The Katy Perry Dark Horse lawsuit was over 8 notes repeated twice. Suits have been lost over seconds long samples.
> Is it simply coincidence that in a country of nearly 10 million square km the outbreak may have started less than 300 meters away from this laboratory?

Sure, why not? Coincidences happen all the time, we only pay attention to the significant ones or ones that can be used to push some agenda.

Circumstantial speculation only gets you so far, eventually you need some objective evidence.
I agree with you here that this does make sense from the point of view of even an intermediate Haskeller.

However, I also do think that the jargon in Haskell is extremely daunting. I think it's the only language I've used where easily most of the function names you see relate not to your business logic, but abstract types. There's some obvious things like 'map' and 'fold', but the deeper your get into complex types the more it looks like total gibberish (and you end up with lift, bind, hoist, not to mention obscure operators if you're in that sort of codebase). And while most other languages out there are at least somewhat approachable by experienced engineers new to that particular language, Haskell code will basically be ungrokable black magic until you spend a few months full time learning it.

And the worst part is that there's so many styles of Haskell - even if you're experienced, sometimes when jumping into a foreigh codebase you'll be suddenly struck by comonods or some other PL-theory-heavy library you never used before. And that just sucks when you're trying to debug a production bug. To me it basically feels like you're never 'done' learning Haskell.
For those interested, Internal Time [1] does a good job at explaining chronotypes.

People that say they "changed from night owl to early riser" (or vice-versa) have never been night owls in the first place, but something else was the cause (diet, screen time, etc).

Chronotypes are genetics-based so no amount of wishful thinking will make you a night owl or an early riser (though obviously you can try and force this with alarm clocks / melatonin... to your own risk).

Another book worth mentioning is Why we sleep by Walker. It has it's flaws but overall does a good job at explaining the importance of sleep.

[1] https://www.amazon.co.uk/Internal-Time-Chronotypes-Social-Yo...
At present though devices on the network all for DNS and my network says "use pihole" but applications that implement DoH never ask the network, so I have to have access to all the applications (including those from bad actors).

I block MS telemetry domains for example, where's the config for me to stop them using DoH; what about the trackers on my TV?

Now I need to configure every device - that's capable of using Firefox - rather than configuring the network. Presumably in short shrift there'll be no way to block Google advertising. I guess Google will get their return on funding Firefox.
Two points about that:

1. A graduate employee/reseacher union can demand a cap on lab hours regardless of employment status. (Actually it can demand anything regardless of employment status if it's capable of concerted action to put pressure on management). That would also be a trivial an extremely justifiable demand, which would make management sound evil if they try to deny it. A media campaign about the poor lab rats might do the trick.

2. "in the state my grad school is in, graduate students are not employees" <- That's probably wrong, in two ways.

First there's the question of whether you're an employee as opposed to the question of whether you can unionize and bargain collectively in the framework of US labor law, and those are two different things.

Second, the fact that management treats you as non-employees does not mean that that is the legal reality. I mean, NLRB rulings are binding in all states. And regardless of legal issues - at the bottom line it's a matter of organizing yourselves, getting in touch with other organized graduate employees in other universities/states, and educating yourselves collectively (= talks, workshops, rallies, whatever, in which you explain things; print materials; departmental discussion+Q&A sessions; orientation sessions with new graduate employees and so on). The struggle between yourselves and management is first and foremost about your collective self-perception and beliefs.
It's fairly common not only in sports but source of many regulations and laws in any sector.

Regulation is more of a pay to win game.
To use their etc/hosts entries, to use pihole, to run their own DNS server, etc
I couldn't tell from any of the articles today if they're going to accept cash or not. Given the push back they received on the first round of convenience stores, it's interesting that it's not mentioned at all.
If anyone reacts as I did and wonders how it's possible to compete in Tai Chi, the competitive sport [1] is not the slow-movements-in-the-park activity I had in mind.

[1] https://en.wikipedia.org/wiki/Pushing_hands
Soon to be resolved by IPv6 everywhere.
I was referring to jacques_chester’s comment. You’re bringing up a related and still well explored topic as this situation is very common. https://link.springer.com/article/10.1007%2Fs00180-013-0468-...
Nobody is saying that guard-rails in the form of tests or static types aren't a good thing.
I'm extremely different. I was tired in the morning and tired in the night until I started getting up much earlier.

I now wake up at around 0355 every weekday. I'm still as tired in the night but at least my day feels a whole lot better and while I'm still tired at night like before it hasn't gotten worse, it might even have improved a bit.

I'm wondering if - with todays technology for remoting and asynchronous teamwork - if some companies will test if they get better results if they let certain people work at night?

(Been living like this for 4+ years now so the novelty should be gone by now and I still enjoy it.)
This is interesting. I wonder if a memorable experience like the one you describe is what creates a desire within our brain to recreate more of the same. Whether it's the fresh air/sun/awesomeness of communal enjoyment of the sunrise or the chill afterhours at night when all is quiet and there is that feeling that we could code for hours with no fear of disruption.
For there to be infringement, someone needs to prove that copying took place. Because of the algorithm these musicians used to generate this, they can prove mathematically that copying did not take place.
In the American extremist community, 14 would also be on that list, representative of the "Fourteen Words": https://en.wikipedia.org/wiki/Fourteen_Words

As those things go, 14/88 is a relatively common dog whistle.
No one is saying that. Knuth was frustrated with people wasting time on micro optimizations. Those don't really exist in the same form any more. Architecture is far more important to the speed of software and that does need to be dealt with up front.

The problem is when people YOLO their way through a program thinking optimization is for suckers because of an outdated quote from a different context.
No, that was a comprehensive answer that explained why the question of whether the stub resolvers in macOS or iOS “supports” DNSSEC didn’t make sense to begin with.

But I should clarify further: the Unix part of macOS does what all Unix-style operating systems do: the stub resolver forwards the requests to whatever is in /etc/resolv.conf.

But the Foundation Kit part of macOS indeed supports DNSSEC and has for years; I gave the link to the docs that describe how an app can use it. I suspect Apple and various 3rd parties have been using it for years.

Macs are popular in higher ed and government; I’m sure enough of these accounts required macOS to have DNSSEC capability built-in. Same thing for iOS.
now say that there are many muslims terrorists and black criminals coming there to do business, see how that is different?
Just mentioning it for historical reasons (someone correct if this is wrong), Rich Hickey was enlightened by CL after doing lots of Java/C#/C++, after doing much CL he created Clojure.

To answer your question, the JVM has wide acceptance in the industry and a big ecosystem of libraries, from a business and practical point of view, it seems the most adequate choice for a Lisp?
Most keys contain sharps and flats so they don't necessarily create tension. It's a note's relationship to the tonic that does that, and what precedes or follows it.
‘Parasite’ Has a Hidden Backstory of Middle-Class Failure and Chicken Joints
could it be that if bloomberg says the same about US minorities, it is called racist, but this is not? odd folk
According to what think: accounting.

The bill of the cloud vendor is already approved and the 3rd party apps don't need to have a seperate approval process.
I play lots of blues guitar, I am familiar. That chart is basing it off the C minor scale which would correspond to the Eb major diatonic scale.

If you play an Am blues scale which is, you'll see how the blue note is really just one note (it's a pentatonic scale with note between the 4th and 5th added): it would be A C D (D#/Eb) E G A. That D# is the blue note.
I'm _maliciously_ stopping my kids Android apps from connecting to tracking and malware domains. What a tyrant I am - I should have over control to a third-party for profit company??!?

You're kidding, right.
> It’s hard to claim that JSX is more “just JavaScript” than SwiftUI. If anything I’d say it’s the opposite.

Yeah, that's fair. What I saw was that SwiftUI added special constructs to this DSL for if and ForEach statements, something which just isn't needed in JSX because it 'escapes' to JS fairly well.

Definitely think they did a pretty decent job of it - I couldn't have done better (and I can't judge whether a better job could have been done, I know next to nothing about Swift, hence my initial question), but it does strike me as unfortunate that they needed to specially re-create basic language features.
"Firefox defaults to Cloudflare, though you can change this."

So it's whichever company you choose for DNS, rather than the company chosen by your ISP. Many of us were already choosing not to use the ISP's DNS, for reliability, but with this feature the ISP can't eavesdrop on that.
It's essentially the same question as "why would you choose another DNS server?"

There are numerous other options like Google, Quad9, OpenDNS, OpenNIC, DNSWatch or Verisign, each of which have pros and cons like speed, privacy, reliability or accuracy. Many people also use VPNs which provide DNS servers that are perceived to increase privacy.

I know this is currently US only but were it to roll out worldwide, personally I'm in a country with strong legal privacy protections and trust my ISP far more than any American company.
It's really great to see this work. Cutting down the amount of memory-unsafe code in the browser is an important ongoing goal.

I'd love to do the same for our contenteditable implementation. The hard part here is to implement a DOM abstraction, because that code currently pokes at DOM objects directly and you can't safely do that across a wasm barrier. Once we've done that, though, Firefox's contenteditable implementation would become a cross-browser library, which opens up some interesting opportunities. We could use it in Servo, and authors could ship it on their Web pages if they want to ensure a consistent contenteditable experience across browsers.
Only the NSA will know. Isn't it them who send those secret letters to US companies?
>> I've mentioned it to several non-technical people I know who use WhatsApp and they are surprised.

> Of course, if you coloured it with your opinion and speculation, like you did in this thread.

So it's spreading FUD to tell them the exact thing that's there in the app? Pointing out that links to group chats have been found on Google searches is spreading FUD?

Pretty sure we must be starting from different premises, and that it's unlikely this will go anywhere. You've made it clear that you think it's reasonable for it to work the way it days, I've tried to make it clear that people are surprised that links to group chats are being found via web searches. I've also tried to make it clear that I think their level of surprise is reasonable.

Not sure there's much more to say.
Health tracking sensor for pets and people monitors vital signs through fur
Show HN: Shox: A customisable status bar for your terminal
Itanium C++ ABI