skysight-inc/HackerNews huggingface dataset:
This is kind of neat but it's not clear how to think about what WebAssembly is doing, since the output is native code. I guess it's essentially a safe compiler for C++ code?

For a language whose compiler already outputs safe binaries, this step would be redundant.

It's not that easy to write a safe compiler though. Would a compile toolchain that uses WebAssembly for all compilation be useful?
And terribly beautiful ;)

Just personal preference and enjoy programming in it. Programmers give too much importance to programming languages.

Clojure can be made to run very fast (it compiles to the same bytecode as Java after all) for the hot paths at the cost at writing less idiomatic Clojure.
I'm really interested in these ideas any chance you can share your progress before October?
PayPal is really bad with security. A friend of mine reported a CSRF attack that an attacker could withdraw all the money out of a vemmo account (was acquired by PayPal) if the victim visited the attackers website. It took them several weeks to fix, and friend didn't receive any bug bounty.
Absolutely, but I found it surprising that even my Kindle contacts an NTP server, or that both Android and Apple phones do.

Why don't they ask DHCP for a nice stratum 1 server instead, I don't know, maybe someone here does?
I've done everything too, and the only thing that works for me is sleeping pills. I think it's a very unpopular view nowadays (esp. after Why We Sleep), but a small dose of a benzodiazepine changes my life completely.

I'm in the midst of a full diagnostic course including cerebral scans, a sleep study and blood analysis, but my neurologist told me there's a good chance that nothing actionable will be revealed and that the pill will remain the best treatment for the rest of my life.

I just wanted to say to you:

(1) I feel you, it sucks to feel that you're underperforming b/c your clock is messed up, and what further sucks more is that people, especially the internet, will tell you you're doing something wrong, when you're actually a disciplined guy that has tried everything.

(2) Get pro help if you can. Seeing my GP and my neurologist is the first time I've been assured that there's a good chance that this is something that's entirely out of my control, and that _actually feels good_.

(3) "If the mountain will not come to Muhammad, then Muhammad must go to the mountain" - if you can't fix it just roll with it, that's what I've done at times. I've told a few of my bosses I'm a night owl, and they've fully respected it and given great freedom over my schedule.

You've got plenty of options with your skillset... If you wanted to f* off to the beach and code as a freelancer late at night I'm guessing you could also go do that!
I have to be very careful when I have more than a few days off work in a row. When left to fall back into my own schedule, I always drift toward more of a 2am-10am sleep schedule.

Normally I need to be up at 7am in order to get to work so I have to make certain I'm in bed, in the dark, and reading in dim light by 11pm (midnight at the absolute latest) if I hope to fall asleep at a reasonable time for a 7am rise.

It's not ideal, and as you mention, I typically spend much of the morning groggy and slow, but it's preferable to my late teens/early 20s when I followed my natural rhythm and missed way too many classes or came in late to early, low-level jobs.

I even made sure it wasn't some sort of sleep apnea causing problems but I'm clear on that front and I feel fine when I am able to keep my natural schedule. When I have a couple of weeks off I let myself drift later and get a lot more stuff done.
The underlying issue is that a DoH provider can craft the DNS answers individual users get if it wants to.

Think about it: a Firefox DoH user could get different DNS answers than other apps get on the same machine using standard DNS on port 53, if Google or Cloudflare wanted to, because they’re essentially talking to different versions of the internet.

Remember, all of the properties that allows HTTPS to be trackable—cookies, fingerprinting and the rest—is in play for DNS over HTTPS as well. DoT doesn’t allow for that.

If all these providers wanted was encrypted DNS, they’d be pushing DNS over TLS, which is just standard DNS using TLS as the transport. Sure, it uses port 853, but given time, enterprises and other security-conscious organizations would have adjusted, especially if the entire DNS ecosystem got behind it.

But because Google, Cloudflare and NextDNS see an opportunity of some kind, they are pushing for DoH.

The DNS is an open, global, distributed hierarchical database; DoH starts to break this because apps can bypass most of this and that’s not how the internet was designed to work.

The same way Gmail broke the model of federated SMTP servers to a large extent, there’s the potential for the major DoH providers to do the same to DNS.

Imagine if Cloudflare decided to block certain DNS records from their users. Certain services that worked fine pre-DoH would break.

Take a look at the article DNS Wars; it’s eye opening: https://blog.apnic.net/2019/11/04/dns-wars/
No, I commented why the counterargument given is not actually a counterargument against the thing it claims to be arguing about.
BS. But with the Trump presidency we're definitely taking a step in that direction, and it's a pretty good stride.
In order to be included in Firefox, they needed to agree to the DOH-resolver policy[1]. That states that:

> We intend to publicly document violations of this Policy and take additional actions if necessary.

I believe that those "additional actions" will prevent providers from violating the policy. If not, they will be removed from Firefox.

[1] https://wiki.mozilla.org/Security/DOH-resolver-policy
You are expressing a common early-morning person condescending attitude towards night-owls.
Disregarding the business impact, I always find it kind of amusing when github goes down. All the developers around me will start to stand up and walk around as if in a collective haze. I work in an area with a large density of tech companies and sidewalk traffic will increase during these outages.
My energy peaks towards the end of the day, not right after I wake up. I'm a night owl so that I have energy to do important things during my free time.
A Primer on Python Regular Expression
But the former is the latter because the most effective tactic available depends on what all of the other player in the game are going to do. The most effective tactic available is only the most effective given that other players are also going to choose the most effective tactic available.
Did this recently. We knew we wouldn't be able to rewrite everything, so we are writing new pages in Vue (and porting the old ones slowly). We add them to the angular router with a controller that creates a `new Vue` instance replacing the DOM element.

This let's us start using Vue today and slowly phase out AngularJS.
I still don't trust them. Clouldflare is simply way too big and has done a lot of shady controversial stuff. I also feel like this is breaking something fundamental about the operating system. DNS queries are now going to be different between your browser and ... the rest of your operating system.

How does Firefox deal with corporate installations and internal DNS?
I'm with Monzo in the UK and use it similarly, Twice a month or so, £100 goes in there to pay for things like dining out and the occasional grocery shop. It's a nice way of separating the dailies from the monthlies. It means my Old Fashioned Bank's statement is readable.
I've been with State Farm for over a decade in Texas. While I agree that I should have spent a hell of a lot more time shopping around, I'll also admit that I have _no idea_ how a lot of insurance works and frankly I don't care to spend that mental budget to learn to game it. My insurance rates are affordable to me and have only ever gone _down_ over the past decade. It even went down after having a collision and claiming about $6k in damages. The claims process was not a nightmare (contrast with stories from my parents' insurance companies) and was quite easy to deal with.
Okay. It’s outside my area of expertise, so maybe I didn’t pick the best example. The internet seems to imply that there is a lot of debate as to what is meta programming.
A lot of networks run their own DNS. You can give resolvable hostnames to hosts internal to the LAN. You can cache queries on an organization-wide boundary and only go to the internet with those queries when the TTL expires.

In my home setup I'm already using DNS over TLS to talk to the internet, but on the LAN requests go to my DNS server, get cached there, etc.
What happens if the algorithm creates a melody that is already protected by copyright? Are they prepared to defend themselves in court? Are they willing to take the "offending" piece out of the library?
Blues has more than one accidental: https://www.basicmusictheory.com/img/c-blues-scale-on-treble...

Blues scale is also 7-notes instead of 8.
I use Android 9 on a Samsung Note 8 and I still don't have that feature. It is one of the few IOS features I miss from my iPhone days.
Some folks have a dnscrypt server for their LAN already, and/or use Split-Horizon DNS on their networks. Systems are already configured to use those setups at the system level, and having to have per-app dns settings now is madness.

I'm in the "this should be done by the system resolver" camp, and I hope they figure out how to push that for all the major platforms ...
Just to point something out: his first complaint is over needing to have up to 10 generics, this will be going away with variadic ViewBuilders that should be coming soon, towards swift 6 perhaps. And will also remove the limit for number of children. This is mostly a limitation in swift generics, not swiftui it self
Compare the CPC's position on climate change to the oval office's, I'll wait.
yeah, great...
"protocol negotiation" lol... this wants to be OSC 2.0 or maybe just everything to everyone?

See, MIDI has an elegant simplicity in that you can connect 1 stupid wire (either pin 2 or 3, IIRC) to your micro-controller and before you can even say "debounce" you can be triggering envelopes...

MIDI, as in normal old-assed MIDI is low-level.

Look, I get it! if ONLY we had the full 8 bits for CC's instead of only 7, etc...

The temptation to "improve and update everything"
results in the crap 2020 software engineering artifacts that we leave as our legacy:
firmly reminding eternity about just how far we believed that modern trendy habits are always the best for everyone always in everything...

I would have joked about making your "profiles" in XML, but then as we know it's 2020 so that would be JSON, lol...
More bonkers than what Apple is charging?
You can use your own resolver.
> 2. Correct play on both sides maintains this equilibrium and leads to a drawn game.

Note that this is still not actually proven! But it is generally accepted.
Heliohost or Platform.sh come with CL pre-installed (https://github.com/CodyReichert/awesome-cl#deployment).

In my experience, deploying a CL app is muuuch less a pain than a Python one: you build a self-contained binary, you run it and voilà, you can access your web app from the internetz. The binary is ±20MB in size (compiler, debugger and all included). With Python, there are so many ways to fail (and even because a dependency of a library didn't pin its dependencies well enough. Gosh.).

Building a self-contained app is 1 line in the .asd project declaration.

https://lispcookbook.github.io/cl-cookbook/scripting.html#bu...
Yes, thanks for putting it so concisely.

Personally, I do think Lisp is fun, and was having fun pretty much from the start. But, with how many people I've watched just bounce off of it, I simply can't bring myself to imagine that my experience is anything but unusual. Nor am I inclined to console myself with self-congratulatory stories about Blub.
What if a good actor who owned an infringed melody sued them with the intention of losing to set a good precedent?
I made the switch. Not intentionally; it just kind of happened. I think there were a lot of things that made it work, like taking up running (in the mornings), avoiding stimulants, and good sleep hygiene. But the one that finally made the difference surprised me: it's that I'm not a responsible lightswitch user.

I built an automated lighting system such that dawn in my house comes at 6 am and gets gradually brighter. In the evening, it gradually dims, going out entirely at 10. As long as my ambient lighting is the only thing on in the evenings, I reliably go to sleep between 10 and 11 pm. But if I leave my non-automated task lighting on, I don't get sleepy until hours later, which easily can lead to me falling back into night-owl mode.

I avoid that because my mood is much less even when I'm a late riser, so I'm not advocating that anybody necessarily follow my approach. But if people do want help going to bed on time and getting up early, I strongly recommend automated ambient lighting in key rooms that mimics a natural day-night cycle (but with little or no seasonal variation).
Isn't Common Lisp's save-lisp-and-die roughly analogous Pyinstaller? I mean they both work but nobody seems to be using them. In my experience Common Lisp code is most commonly deployed with an interpreter.
Ask HN: What software/techology biz opps offer no/low base and high commission?
Coming from the perspective of 10 years experience in the business side of tech (similar time spent lurking HN ha).

US-based entrepreneurial/performance-based/contract arrangements; no or low base preferred, willing to assume all the risk!

Why so hard to find opportunities to execute for $25k+ commissions???
> Static types are there to document and to catch bugs early; they cannot be used as a complete verification that your code is correct, much less a generative tool for writing logic where "you're not entirely sure how" it works.

You might be surprised to learn that this is not only possible but something research is definitely working towards.

In a language like Agda, for example, when there is enough type information available the compiler can fill in the holes for you with the obviously correct implementation.

The idea behind program synthesis drives this even further. Using type level specifications we can automatically derive the programs that meet those specifications. This is useful because the language of types is much more concise than the language of terms. For sufficiently difficult problems it's much easier for humans to reason about complexity in higher-level specifications. Let the computer generate the code!

It's still early on for this kind of technology but projects like Synquid[0] are making good headway.

Dependent-type theory also forms the basis of interactive theorem proving in Coq and Lean[1]. We use something like holes as the basis of proofs. Haskell's typed holes are quite a bit more loose but to me it feels very similar to working with such a system. I propose to Haskell there there exists an expression that satisfies a particular type and then I use the typed holes to fill in my obligations to provide a proof. The hole is my goal and the available objects in scope are my terms. It is a very effective tool for solving hard problems.

[0] https://www.csail.mit.edu/research/synquid-synthesis-liquid-...

[1] https://leanprover.github.io/

update: Links
Mostly the limited uptake (I anticipated that), and the maturity of the tools. I despise IB/Storyboard Editor, but it gives some serious control over a lot of stuff.

I don’t mind doing programmatic tweaking, but on my machine, at least, I don’t get very reliable previewing. I have to run the app to get an idea of how my tweaks are working (to be fair, IBE is similar, but the preview is somewhat more reliable).

I really want this to work. I’m glad to see KVO getting some love on iOS.
>Europeans complain that the tomatoes from greenhouses don't taste very tomatoey

This has more to do with the varietal of tomato than the growing location. The most commercially viable tomatoes - the sort that grow fast, ripen quickly, can stand a bit of rough treatment and are hardy enough to last for a while on store shelves just generally don't taste that great. Heirloom tomatoes and other varieties that aren't optimized for industrialized food supply chains taste just fine, even grown in a greenhouse.
Not if secure boot is enabled, your boot loader most likely would not have a trusted signature.
I really don't agree with most of this post but I do find the function builder[0] feature that was introduced to support SwiftUI fairly overkill. I don't fully understand why they didn't use a lighter abstraction based on arrays and normal return values like React does instead of adding all this "magic", maybe there's a really good reason that I am not seeing.

All the other "magic" and defaults are excellent ideas because they encode Apple's Human Interface Guidelines[1] straight into the framework which helps you create apps for the different Apple platforms that will fit in and feel at home. With a web or React Native/Flutter/Cordova/... context this might seem jarring but the whole point is that an app it shouldn't be a completely free form canvas and the frameworks should make it easy to build a best in class HIG compliant Apple app.

0: https://www.swiftbysundell.com/articles/the-swift-51-feature...

1: https://developer.apple.com/design/human-interface-guideline...
That’s exactly my point. Nobody calls a peloton meta racing. A peloton is just strategy. Always has been.
Give enough monkeys enough pianos and time and they'll eventually write Mozart's Piano Sonata No 16.

Interestingly, it wouldn't be eligible for copyright[1], but somehow the algorithmically generated work would be?

[1]: https://en.wikipedia.org/wiki/Monkey_selfie_copyright_disput...
My computer, my User agent, my rules. I want to be in 100% control over DNS queries (logging/blocking).
Very true. And you should get really worried once we have FP consultants and executives talk about FP. This seems to happen to a lot of good ideas, be it OOP, Agile or TDD. Ideologues have very compelling messages but they usually destroy what they are promoting. They don’t allow the question “why are we doing this again? Are we on the right track?”
That is the case if they are targeting you, what you should likely worry about is if they take interest in you.
Why is the government in the business of disapproving prices in the first place?
All I can see is people wanting to use web-technologies to develop applications. So I would place my bet on the DOM/CSS evolving further and swallowing everything. JavaScript might get some contenders.
What you’re describing sounds similar to me years ago

Then one day I moved to a house that had no internet, and we would have to wait a month to have satellite put in, and we had no smartphones

After 20+ years of just thinking I had a sleeping disorder, losing internet access and living like a pilgrim caused my sleep schedule to naturally coincide with the setting and rising of the sun

Without any deliberate effort from myself whatsoever, I would get sleepy at like 9pm, and wake up around sunrise, wide-eyed and ready to start the day

I thought I had tried everything too, including screen limitations and so on. That probably didn’t work because just the awareness that I could go online if I wanted was enough to keep me awake, feeling like there was a party going on that I wasn’t there for. And of course I would cheat some days, and doing that even occasionally was enough to reset my progress to zero.

There’s probably some kind of “disconnection retreat” nearby you could try, where people get together in some remote place and stay off tech for 7+ days. Could be a fun way to see if this is the cause of your sleep issues.
The article has several good points but also some weak ones.

For example, it points out that DoH doesn't really protect privacy from ISPs because ISPs can still see what the users are doing because the ISPs route the traffic. Then, it claims that DoH weakens security because it would let users get around malware blacklists. However, this is mostly nonsense for the same reason. Malware (and other legitimate blacklisting) can and should be blocked even when hard-coded IP addresses are used.

The point about the logistics is very true, though. I won't use DoH at home because I operate my own DNS that contains intranet addresses not accessible from the outside Internet. DoH in Firefox would break those services.
I live in Uruguay, and my mother in Canada.

I agree that for those fringe cases, healthcare in the U.S. might be better (Uruguay is also bad with tough to diagnose diseases).

But for 99.99% of the remaining cases, Canadian or Uruguayan health system is way better.

And I think there has to be a way to reconciliate the very good U.S. top of the line healthcare with the way better general healthcare most of the rest of the world has.

My sister lives in San Francisco and there are several benefits I regularly use which you basically can't access in the U.S. except if you're a millionaire - like doctor visiting your house when you're sick, and I mean things like a fever or a flu, and ambulance coverage included in basic healthcare.
Ditto. When I was in a warm climate with no access to air conditioning, I forced myself to follow the early bird schedule for 3 months so that I could hit the daily temperature minimum for my run. Contrary to popular mythology, not only did this fail to turn me into a paragon of virtue in all aspects of life, it robbed me of my highest productivity / highest energy free-time, which typically happens late at night.