skysight-inc/HackerNews huggingface dataset:
Exactly this. DNSSEC is needlessly complicated in large part because its service model was fixed in the mid-late 1990s, when the conventional wisdom was that DNS servers would never be powerful enough to actually perform cryptographic operations. A true DNSSEC 2.0 could simply forego the concept of offline signers (which has largely been foregone already, because online signing is necessary to serve secure NXDOMAINs without revealing all your hostnames) and sign/encrypt on demand.

But DNSSEC 2.0 is unlikely to happen, because DoH solves most of the real-world on-the-wire problems with DNS security. There have always been two visions for how to secure the DNS: the top-down way, with signatures rolling down from the roots, a la DNSSEC, and the bottom-up way, where leaf servers allow individual clients to make secure queries, and we gradually converge on a secure DNS as more and more leafs make secure queries available. Top-down won at the IETF, but bottom-up is going to win the market.
"Experts say..."
>your programs evolve very rapidly. Since with dependent types you loose type-inference, you now what to evolve two programs rather than one.

Yes, just like you have to evolve your specification/documentation. Similarly, in the exploratory phase you'll stick to very 'rough' typing and next to no proofs and as the program gets clearer and solidifies, you can continuously refine your types (with the amount of refinement depending on how much certainty one wants). A mature program with a rigid spec is going to be harder to change, but that's just how it is anyway.

>Moreover proofs are non-compositional: you make a tiny change somewhere and you might have to change all proofs.

People on HN keep repeating this, but it's trivial because it's actually just a statement about the nature of properties. Proven invariants provide an interface to be used by the rest of the program. If the changes you make don't break your invariants but only the proofs, then you just have local adjustments to make. If your change cascades through the entire program, then it's because all the invariants get invalidated and your 'tiny' change actually changes a good deal about the semantics (and thus the spec) of the program.

The exact same thing applies to unit tests, but you don't see people constantly bemoan the non-compositional nature of unit tests even though a 'tiny' change could break all your unit tests.

>After all, your specification is just as likely to be buggy as your implementation code.

Not only are specifications declarative, they're generally magnitudes smaller. If you're as confident in your spec as in your code, something is very, very wrong with your spec. Well, or your code is your spec, but in that case you get what you pay for.
I use it bc ~95% of the people that I message with use it as well. It’s a rare day when I text with someone who doesn’t have iMessage. I don’t know for sure, but I’m quite confident that a significantly smaller fraction of those people use any of the other messaging apps with any frequency.

To me it seems less of a status symbol and more driven by network effects. (Say what you will about my network)
It's a Jurassic Park reference. Somebody had a little fun.
Yup, and many of the most high-ranking people in the CCP reportedly hold a rather similar point of view re: their country's history of "Great Proletarian Cultural Revolution", which was similarly ideologically-driven. It is quite sobering to hear that the "voices of reason" are now coming from such places.
Lowering the penalty for shoplifting to a misdemeanor would make it more appealing than the potential 20 year federal sentence that would come from federal prosecution) that robbing a train carries...not encourage robbing trains.

But yeah, blame the state, I guess?
Someone should add a link to id=30003221 on that page, just to complete the ouroboros.
Per the article, many of those accused of blasphemy don’t even make it to the courthouse before vigilante justice happens, and if they do judges are pressured to convict and impose harsh sentences, as in this case. So, it’s not just the government, it’s the culture as well which can’t be easily be changed with funding threats.

Also, the funding probably won’t just disappear. Another world power (or powers) would likely step in to fill that influence vacuum. Plenty of rich countries out there that already severely punish people for their speech and happy to defend the power of the state over the people.

Still, it does puzzle me how much money we give to countries with drastically different values.
Good luck on the search! Particularly curious to hear your experience with recruiters; even though that industry should be really competitive at the moment with the great resignation and all, I've found they still feel kind of general and don't necessarily make great matches. But that certainly could just be my own limited experience with them, maybe the key is to find niche recruiters?

Not sure if you're interested in startups at all, but shameless plug: I recently made a startup jobs board[0], it tracks number of job posts each company has over time and ranks them so you can see how much each is growing.

[0] https://www.coolstartupjobs.com
I"d quite like my own police force as well. Do i just hire some people and give them uniforms, or is there some red tape involvex?
A company I worked at went all in on option c - there was a random number service (that just wrapped a random number generation library), and sending an email was split across multiple services - one to pull the email request from the database, one to generate the email from the template, one to actually send the email and one to save the templated email to the database.
The paper makes no assertions about change in risk when the risk is high.
Yes... but all that nuance and tone is largely lost on 90% of the foreign market who can't understand the native language in the first place.

And for the record, Chinese also makes heavy use of SOV, eg 他們昨天到韓國去了。
Don't disagree with you. I'm happy it's swinging away from the extreme position its been held in for centuries. I never stated where I want it to come to rest. Maybe if we remove the structures that have kept it in place it will come to rest somewhere agreeable? (though for the majority of those who stand to lose power, it's unlikely to be agreeable).
Who said the notice period should be an entire decade? Or even five years?
I am, just for myself, it has worked fine with all my devices (including Thunderbird, K-9 and davx5). Calendar invitations work fine too
Drones that do what? Send video to the prosecutor who doesn't care? Shoot the thieves? I'm not sure the state of California would be down with that.
doesn't increase eating disorder incidence for undergrad women "who had not engaged in dietary self-monitoring in the past year and who were at low-risk for an eating disorder" and who were willing to sign up for this
So is there any way to delete the account permanently such that the email can subsequently be used to sign up for a free personal account?
Interesting that they only admitted this after omicron came along and a special omicron formulation of the vaccine is getting ready to be rolled out.
Zettlekasten is more about making connections between ideas and keeping your ideas organized. The primary use is for generating ideas and writing, not for information retrieval.

The flow is:
1. Read something and take notes
2. Review and distill your notes into key ideas
3. Create cards in your zettelkasten linking these ideas with other ideas already in your zettelkasten

When you are writing and get stuck, refer to the topic in your zettelkasten and follow the flow of ideas.
I think you seriously underestimate the status factor.

It's not the best phone for the buck, has never been and that's not the goal either.
I did something similar at my starting tech job at a callcenter. Part of my job was to process bulk RMAs that was so boring I automated it.

I didn't get a big merit increase but they created a new position to oversee the callcenter technology a few months later that was really my thing. Then the merit increases came too. This was almost 20 years ago and I still work there today. During this time I built custom reports, wall displays and even a basic call recording system when there was no budget to buy off the shelf :)

I'm sorry that company didn't appreciate you but a lot of them also do!
> Is that really a problem on the language's side, though?

Yes, for a language to be good in practice you need to look at what developers actually do and not how a perfectly rational developer would use the language.
I’m really not seeing any connection to office space beyond… toxic workplace culture… and I mean that’s kind of a thing in a lot of movies, so I’m really not sure why they bothered to draw the connection to Office Space at all.

Does look interesting though. The use of a camera focus shifting looks to be stylistically interesting and a good way to follow along with the characters mental mode switching.

I’m kind of hoping this is just a 1 season “long movie” and we get a nicely wrapped up story, because I’m struggling to see this concept really managing more than a season and a half before it feels like they would just dragging it out.
I hate both companies for offering zero promise I can have a private conversation.
This is good news for Rust.
A long time ago, I tried the "autosub" feature with anime and it replaced understanding with unintentional (dry) humour. The output had phrases that resembled a news transcript, which is probably what they were training the system on.
Either increase goods and services or decrease the amount of new money entering the economy, either will get you to lower inflation. But calling the method of measurement the thing itself is misleading. Inflation might be measured by the price of things going up but it's not caused by it. If someone has this idea they will blame corporations for increasing prices instead of blaming the correct source of the problem: mismanagement of resources.
I was in gifted programs and honestly it was more to have a space where I was allowed to read and learn what I wanted. I actually learned from being in 'normal' classes and having parents who encouraged me to explain the lessons to my friends when they struggled. I learned how to teach in a way that was friendly and kind to my peers, and I understood the materials after at a deeper level too. I did tutoring and standardized test coaching in middle and high school which gave me both some extra cash and confidence in my knowledge.
Those skills I learned at a young age are in constant use. Absolutely invaluable.
I think he's good on the resume...https://bulmash.com/04-10-97.html
That's awesome - how did you go about FOIA-ing things? I've always wanted to know more about how to do that.
H-he's fast!

Honestly the article is business focused but straight laced, seems like pretty good PR for Gitlab.
Something smells fishy.
I started watching Squid Game with my brothers' girlfriend and gently suggested that we should use subtitles and the original audio. It took a couple of episodes, but some of those dubbing performances are pretty rough and when she did decide to switch she immediately agreed how much better it was.

The only downside is you have to actually _watch_ the show rather that staring at your phone most of the time...
> So much collateral damage with nothing to show for it.

Yes. I think if Google wants to keep its dominant position, they need to rethink how they do management.

What I said in the parent post about Google Talk could also apply to other product lines. They often release good things, like Nexus tablets or the Pixel C, only to kill them shortly afterwards. As a consumer, I don't take most of their offerings seriously because they are so short-lived and confusing. Why shall I put my money on something that might be killed or phased out soon?

From what I've heard from some insiders, other Alphabet branches seem to have equivalent management issues. It's sad because they have a significant amount of resources and they could be delivering tons of value to the society.
It's part of the broader GitLab handbook, which is interesting reading, e.g., https://about.gitlab.com/company/culture/all-remote/guide/
Amazing. I am at the stage of thinking/dreaming about a weekend-bakery .. but I am completely lost when trying to work out the economics of this.

How did you tackle this at the beginning? What were your demand/cost projections when you started out?
a) that wasn't the governor
b) California's felony theft threshold of $950 is still the 12th lowest among the states
> If you are talking about US teenagers then iMessage is king.

I really don't think this is true: I believe they mostly use the messengers built into TikTok and Instagram or are still on Snapchat.
It's followed US policy for many years, and the only reason it's worse than the US is that the US has robust constitutional protections against unreasonable surveillance.
Thanks for the recommendation. Will check it out.
> Every piece of software needs its own plan for continued development.

It does. But if we're talking about just the software, I don't think updates to an already-finished password manager are worth nearly that much.

Microsoft used to sell upgrades for their entire OS for $3 a month, released once every 3 years.
I've always felt that the shuttering of Google Reader really was the end of an "age" of the web. We went from a really vibrant blog culture with a ton of platforms and different setups to the super closed gardens of the social platforms. F'ing painful.
This song comes to mind

https://theshiftersofmelbourne.bandcamp.com/album/left-beref...
For sure, I was just curious about the envelope math of it all. The tests themselves ($5 / unit) would certainly dwarf the AWS bill.
configuration as code.

this is all code.
Goes to show it's not just S.F. and Bay Area law enforcement that's not prosecuting certain crimes, despite popular portrayal.
> You get the government you deserve.

Translation note: The first "you" is singular, while the second "you" is plural.

The majority might, perhaps, get the government they deserve. The minority who lost the vote can't rationally be blamed for an outcome they opposed, yet they suffer right alongside.
https://www.theatlantic.com/health/archive/2021/12/shoplifti...
In my experience government services in areas completely controlled by Democrats don't seem better-run than ones in mixed-party or Republican-controlled areas. The "Starve the Beast" hypothesis doesn't seem to have much predictive value at the state and municipal levels, though I admit I haven't disproven it at the federal level.
> Never submit GitLab content to Hacker News. Submission gets more credibility if a non-GitLab Hacker News community member posts it, we should focus on making our posts interesting instead of on submitting it.

I appreciate this policy, it makes it clear that HN is a place to engage with the community, rather than a free advertising channel. Looking at the CEO's profile, the last time he made a submission about Gitlab was in 2018, so I'd say the policy appears to be followed.
About 3.1 Tbps per aircraft, if we generously assume the $78M flyaway cost is accurate.
The performances of the models are almost unbelievable. I only saw something similar with alphahub.us in the past (but higher max. drawdowns) - what do you think of them?

I'm interested in running the Gold Plan, are there any resources on how to set up a fully automatic trading system with it? I'd love to connect.
Been using this for longer than a decade only to hear about the service’s closure on HN… thanks Google. I’m sure the ad revenue from reading my emails in that time covered my feeble 1 account use case.
I am mainly going with the original narrative that a fundamental reason the people loot and steal is put food on the table —- they hate to have to do it, but they have no other choice when there are hungry mouths to feed. And, how assuming that premise, the actions we see don’t support it well.

I also have my personal experience noticing how a good number of people I knew thoroughly enjoyed the rush and the excitement of it. I couldn’t think of many who ever said they had no choice, had children to feed, but rather they would go on about how they hid from the cops, sold the stuff, such and such was stupid to get caught, etc.

I would like to believe everyone is kind and nice and doesn’t want to do those things, the reality I have been through doesn’t support it at all, sadly.
I like the story of how the foreign minister of the Bavarian Socialist Republic declared war on Switzerland and Württemberg for declining his request for sixty locomotives.
Can you provide any evidence that G&T programmes exacerbate weaknesses?

The idea that G&T programmes get inordinate resources doesn't bear any relationship to reality. Most school dsitricts don't have such programmes at all. Every single school district in the US has special needs teachers, assistants and ELL support. Most of them have no support of any kind for gifted students.
Yea Netflix dubbing is really bad for some reason. Same thing with Money Heist!
Is it possible to subscribe without having an Apple device?
I have bought flagship android devices from many brands. The most expensive Samsung Galaxy native Google Maps app would be more laggy than an iPhone SE in the web view gmaps (and the native app would be even smoother).

The only exceptions I've had where performance was reasonable given the price are Sony's phones, the LG G1(?) and some of the pixels. But generally speaking everything on Android stutters _so much_ it's really painful.

I have always had this silly theory that this is somehow a Java thing, because there have been very motivated people trying to get low latency stuff working on Android and are just unable to... but it's just unavoidable no matter how much money you spend.
Microservices mix several different needs: scalability, function decomposition, and team structure. If you want them all you might want microservices, but there are better alternatives when you only want one or two of them.

People have different opinions on microservices because microservices is great when done right, but can easily screw things up if people don't split the bounded contexts carefully. It's also more expensive to correct these mistakes because there are APIs between them instead of just code, so many projects would live on with them painfully forever.
I love the handbook. So much. I want to work there because of the handbook.
Looks plausible reason why recent AndroidOS aren't good upgrade.
> If a notification that a release post has reached the Hacker News Front Page is posted to the #developer-evangelism Slack channel by the "Hacker News Front Page" bot, a Developer Evangelism team member should quickly repost the message to the #product and #release-post channels to alert our Product Managers.

Why doesn't someone just update the bot to post in those channels as well?
This is so meta, I'm having trouble wrapping my head around it
That's a cute sentiment but there is no evidence that merely being exposed to a foreign language necessarily allows you to learn that language. I think you're confusing the movie 13th Warrior for reality.

I have friends who religiously watch subtitled anime only and they are no closer to learning Japanese in any real sense of the word than a person who would watch the dubs, except for picking up a stray random word here or there, but knowing that kawaii means "cute" doesn't give you even a superficial understanding of Japanese. For that, you need to at least pick up hiragana and katakana.

Learning a language requires deliberate work. There is no shortcut.
Sure. Belsomra seems to work the best for me (tried another drug in this same class, and the generic of Ambien I believe). The Belsomra class of drugs block 'wake receptors' vs. making you feel tired and putting you to sleep. There's more to it than that, but that's what I was told and it seems to be accurate. The Ambien made me feel terrible the next day, and the other drug gave me a sensation in my limbs that I didn't like. Hard to explain, but it felt like heightened sensation or something like that.

Both my primary car physician and myself aren't fans of sleeping meds either, but I absolutely needed something to help me sleep at the time.

They absolutely are for short term use. I haven't needed the meds again since, but I have a prescription filled in case I experience insomnia again. If I do, I'll likely do a sleep study as well to rule out any other issues.
it looks like submitting the form gets stuck now
Hey there, I’m a member of the GitLab Community Relations team. My team is responsible for this page. I shared the page today at a DevRel meetup where OP was presenting on Hacker News. I’m grateful he chose to share it with all of you. Thanks, Dan.

If there are ways we can improve how we engage with the HN community, myself and our team would love your feedback.
> Worst of all, she's realizing that her teachers and principal don't actually care whether she learns anything.

She's getting good grades. They have other students who aren't. She's not in their top twenty list of priorities. That's school.
This is a good reminder of how fallacious the "appeal to experts" really is. Critical thinking is underrated.

(At the time of editing, the parent comment is flagged. That's too bad, I think the comment is a succinct reminder why, as I say, you should make up your own mind and not assume "expertise" means someone is acting in your interest)
After reviewing this thread, iCloud+ is top of my list for migration, and I don't even own an Apple-anything. (Migadu is my secondary choice if this iCloud+ thing falls through for some reason.)

From what I've been reading iCloud+ has some limitations, but it will fit my needs. An iCloud+ subscription costs $1 a month ($1.29 CAD), and the subscription can be shared with a "family" of up to 5 other iCloud accounts. iCloud+ supports up to 5 domains and three email addresses per domain per person. Domains can be shared between the family or not. I also trust Apple to have a competent security team.

I'll probably start the process this month.
Biden threatens 'cyber' response after Ukraine says computers wiped in attack
> there is no type system (that I'm aware of, not even Idris as far as I know) which can prove in its static type system every piece of logic about a program.

Many static type systems can prove anything that can be proven. Notionally one might write a program that relies on something unproven like the Collatz conjecture, though I'm not sure that would happen in practice (e.g. it's easy to write a program that relies on the Collantz conjecture for numbers below 2^64, but that's quite provable). Whether it's actually worth writing out the proof is another question though.

> This means that some properties of the system will end up being checked (if you bother to) at runtime and not at compile time. That's where pre/post conditions are useful, they contain information (and in a more deliberate form in cases like the Clojure example) about the properties of the system that are hard or impossible to encode directly in the type system.

This is true but makes surprisingly little difference, because you still want to keep track of which values have or haven't had that runtime check applied. So you almost always want your postconditions expressed as types (even if they're just "marker" types that indicate that a given runtime check was passed). Put another way, any metadata you would want to be able to track about a function's argument values or return value, you almost always want to be able to carry that metadata around with that value before it's passed in or after it's returned - but at that point that metadata is a type, and it's easiest to represent it as one.