skysight-inc/HackerNews huggingface dataset:
champagne is a region in france ie a location, no need to call it 'french' champagne.

so they're able to say champagne can only be made in the region of champagne

You're free to say sparkling wine - which is what champagne is
I've been semi-closely tracking this project for a while, and imo it's easily __the__ most interesting project I've seen in the sphere period. Serendipitous-ly, I came across an interview a couple weeks ago with one of the main bodies behind the project on the Corecursive podcast (from early 2019) (I think their name was Runar Bjarnason). Had no idea until it was mentioned almost offhandedly in the last few minutes!
I could write a multi-paragraph comment explaining why statically typed languages are better, but I’ll just say that I always see projects that were written in dynamic languages being rewritten in static languages, and never the other way around, fwiw.

I never heard anyone say “let’s rewrite this in Node” unironically.
Ah, not bad
The Cost of Being Convinced
Good explanations, but I'm always a little suspicious when I see things like this:

> Code is stored as a structured, type-checked tree in a database, not as text in files

What does everyone think a filesystem is?
You can buy australian feta though and package it in greek - and then its authentic.
As the speed increases, the percentage of particles that stick declines quicker than the percentage increase in volume of air (and thus particles that may stick). How can you remove dust from a fan? One way is to increase the flow of air to “blow” away the dust. Same principle here.
Of course, but this is not a strong biased article, some points are simply facts. I think some points should be explained better but is an interesting short article
If you're interested in mqtt over constrained networks with embedded IoT devices you should take a look at what's being done to formalise MQTT-SN (MQTT for Sensor Networks)
You can install the CWAgent on any host, they don't have to be EC2 instances:

https://docs.aws.amazon.com/AmazonCloudWatch/latest/monitori...
the stated point was to compare mqtt vs h3, so using quic as a common transport for these application protocols makes perfect sense
Yes, pretty much all european plugs are designed such that you can not connect the live before the ground is connected. In UK plugs, the connection of the neutral will also open the safety doors and allow connecting the live at all (that is not the case for mainland plugs, at least not the 7/7 ones).

With respect to UK plugs, it's also common for them to have the live pins only half exposed, with the rest being insulator, to avoid the possibility of touching live pins while the plug is partially inserted.

On the mainland the sockets tend to be recessed to work around the risk, but the "europlugs" (which are not grounded) almost all have this property as they can't really be "sealed in".
The liquor store wouldn’t be at the top of my list for licensure requirements for software engineers.

But what about power plants, cars, trains, aviation, etc. Especially car entertainment systems have been glaring security problems.
Not that telling people it's possible to do something in half the time actually required has anything to do with programming a computer. Oh, wait...
I never said eth was a TLD and TBH your comment sounds like you were in a bad mood and just looking for something to nitpick to take some frustration out.
You can just disable the fd passing for services that don't need it. I'm not sure what your actual issue is. I haven't had to reboot any more with systemd than I did with sysvinit or openrc, or the slackware rc init, or anything else really. If you have an actual crash that is causing you problems, you should consider reporting it or submitting a patch to fix it, just like you would with any other open source that you depend on.

>systemd is on the level of a re-think by a pretty bright high school student.

That seems like an odd statement, I believe systemd was inspired by other established unix service managers like macOS launchd and solaris SMF. The design is definitely not perfect but I wouldn't say the history was ignored when making it.
"Android apps are also inferior to Windows apps"

There is no windows app to access my credit card, an Monzo doesn't even bother creating a website to access your bank account.

Some functionality specifically requires a mobile app and is not accessible from websites.
Maybe get them to play more creative games like Build a Boat. The platform is great but like any platform there are games which either do or don’t engage creativity.

Another thing you could try is get an account and play along with them. A lot of games allow for private servers / areas where you can play.

Get them to add real friends from their school and hookup on a web conferencing app. That really helps with team building and communication.
> but for most people outside of tech, upstream is only stressed when uploading photos

Snapchat, TikTok, YouTube, all of these make this untrue. Even GDrive/Dropbox of projects, videos is extremely common these days.

It is important that users be allowed to produce in addition to being spoon fed ads at maximum download rate.
If I make a sandwich (wheat genes + chicken genes + cow genes + yeast genes) and cover it with honey (insect genes), what will happen to me when I will eat it?
Yes and even besides traditional methods like user research, there are lots of indirect ways to measure the success of a product without resorting to invasive data collection practices.

For instance, you can track downloads, page views in documentation, the number of times a certain endpoint is pinged on the server etc. while still respecting the privacy of the user.

The practice to track a user's behavior across a wide array of products imo crosses a line, and is not needed to inform good product development.

A company could probably sell better to you if they hired a PI to follow your movements, and tapped your phone line, but that doesn't give them the right to do so.
Haha. One goat. Fool! You need at least four.
> Basically, you just need to write down the 12 or 24 seed words generated by your hardware wallet

Why is that in any way more secure than writing down the private key itself? (inb4 "need to find both the hardware and the written seed words" that's equivalent to writing down the private key and then cutting the paper in half)
Gödel and the Unreality of Time
As someone who works on a decently complex project (essentially a graph execution engine for multi-node, data-parallel+model-parallel deep learning models), writing it in python is not really ideal. Python is great for the end user, but I’d be far more efficient if the code base was in C++ with some Python bindings. I think my conclusion after about 10 years of programming is this: the larger and more complicated a project is, the more I as a maintainer/implementer benefit from constraints in the language itself (where by constraints I mean things like compiler type checking, or Rusts borrow checker, even if I haven’t had a reason to use Rust yet). The more work the compiler/interpreter does, the less I have to explicitly keep in my head.
I just checked again in America. The cheaper ones seem to have very high shipping costs.
I don't think calling Warren Buffett a genius is controversial.
Ovens used to come with pamphlets of recipes. Microwave ovens, too.
Does it still badger you about certificate generation on first launch?

I used it with my friend in 2015 as a sort of galactic walkie-talkie on our phones -- he was in another country but we'd just walk around outside and talk to each other. It felt pretty futuristic at the time.

After a few minutes of continuous audio transmission though there would be a significant buildup of latency, so we developed the habit of saying "pineapple" to each other to measure the lag. Best record was 12 seconds.
I live in Longmont, CO which has municipal fiber optic broadband. 50 USD per month for 1 Gbit symmetric internet... it's great.
What do you prefer about teams over alternatives? It may be anecdotal, but I have only ever heard people complain about teams.
I'm sure some people are unhappy. But I am, as a consumer, very happy that I can easily distinguish proper feta from second-rate imitations that used to be sold with the same name. Same for a multitude of other cheeses: say, halloumi used to be some random chewy white blob, and now I know there's a certain guarantee behind the name.
I'm surprised the town/ region of cheddar haven't tried to get geographical right to cheddar cheese
That's basically what the twitter thread I linked explains. It sounds like there is an automatic propagation mechanism for updating downstream callers if the type hasn't changed, otherwise it sounds like a manual update process.
Nope, according to https://twitter.com/unisonweb/status/1173942969726054401

when you change a function implementation the system has to walk the callers graph backwards starting from all the places where the function was called updating all the implementations with the new hash, then callers of these with the new implementation and so on up to main (or whatever it's called).

I had a chance to implement something like this in a system that used jbpm 3 graph language (basically process X version 1 called process Y version 1 and I updated process Y to version 2). It's nontrivial especially with recursion, I'm wondering how they are dealing with that.
TCP/IP Illustrated, Vol. 1: The Protocols by W. Richard Stevens [0]

[0] https://www.amazon.com/TCP-Illustrated-Vol-Addison-Wesley-Pr...
I'm a semi self-trained machinist, as in, I had a lot of experience making stuff with hand and power tools, but no experience with machining, so my two cents is:

1. You're not really going to be able to use a machine full stop unless you read a book, watch a bunch of introductory videos, or go to a course. They're not very intuitive.

2. Besides the stuff that's obvious, there are just tons of things that are non obvious. For instance, brass has a habit of grabbing bits then turning into a whirlygig of death. There are just tons of stuff like this ('don't feel around in hydraulics', 'watch out for springs', etc) that you won't really get in an introductory course anyway.

3. Everybody is literally driving drunk where I live. You walk past half-asleep idiots driving gigantic machines all the time. At least with machine tools, you only pay for your own incompetence.
the safety side of things is also interesting, it provides a secondary moving force in case something happens with the ICE part
UB can not be relied upon as the compiler can do arbitrary transformations to the code. Relying on it will cause security issues or head scratching bugs down the line.
This. And I would go so far as to argue that the up from cost of adding types is not as big as people make it out to be.

If I don't specify a type in the input, I have to check in the method body that what was passed in was something usable. Skip this is very bad, the best case scenario is something your code will error out on wrong input, the worst case is it computes the wrong result with no errors.
Ok so complain to the ops department that they need to unify their logs. That's their problem, not yours. If the company is big I would expect them to be doing that anyway, either they coalesce around a journald-type thing that aggregates the logs locally, or they'll use another centralized service like datadog, splunk, etc. Edit: If you are ops then this is your entire wheelhouse, you should be able to solve it at scale without messing everything up.
But the quanta can generate shot-noise, just like the quantized electrons can in an electronic design?
Sadly, there are few people who can parse your sentence.

This is really exciting for me - just looking at the videos made me smile with nostalgia of sitting over a printed copy of Rolf Brown’s Interrupt List[0] (sorry, Mom and Dad for using so much paper) and just trying random interrupts to see what they did. Once in a while I’d even find something interesting.

I hope this can bring some of the same wonder of experimentation without immediately searching on StackOverflow.
[0]: http://www.cs.cmu.edu/~ralf/files.html
This, in theory. A heat pipe is much more effective at moving heat than conduction. It's also what laptops use.

Big issue is that heat pipes usually work best upright and effectiveness (efficiency?) suffers in other orientations.
Mark Bittman's books How to Cook Everything and How to Cook Everything Vegetarian
Exactly. You are at no greater risk of data loss if you use ZFS as appose to another file system.

You stated "Also a good idea to use ECC Memory with the ZFS filesystem".

You should have probably stated its a good idea to use ECC memory, period. Instead you tied ECC to ZFS.
> This is probably just not how things work in Haskell and I just need to be okay with that.

Yep, that's just how things work in Haskell: disjoint unions are much simpler regular unions, and they're usually what you want in the first place. I think it'd be nice if Haskell had automatic conversions between types (so a and b can be turned into Either a b implicitly, with an error if a = b) but I don't think there are any plans for that.
> If the problem is that app developers don't want to fix dependencies on Google services, but Amazon has a tool to fix them automatically, why can't they just release the tool and let developers sign the output themselves?

I would imagine the tool rebinds the Google APIs to Amazon's equivalent APIs rather than neutering them. Since Apps are relying on the API responses. I don't imagine Amazon wants Apps distributed outside their Store using their APIs and getting a free ride.

Am I missunderstanding things? Isn't the purpose of App Signing primarily for Google's software running on your device to verify Apps running in your device against public signatures Google holds on it's servers?

I understand there's a chain of custody and a developer can upload their App, then download it from the store and be confident it's what they uploaded. But Google now allows you to put your signing keys into their KeyStore on their servers. I guess you still have a copy and can verify an App is signed with your Key but since you didn't do the signing that isn't enough to ensure it was signed without modification.
Challenging the Myth That Programming Careers End at 40
I'd disagree here.

You can create a thread pool that matches your pre-fork env as well and it will still be vastly more performant especially in those environments that require more memory - which is many applications today.
Bitty is the best!
If they're enjoying it, and do so regularly, are they really playing it wrong?
Yet you rely on other people selling your work.
We as humanity need base load capacity, and getting enough battery capacity for even just the West is a pie in the sky. Hydro is very localized. So then the choice falls to coal or nuclear. Coal is more polluting, and it even has more (indirect) radioactive spillout than nuclear.

I'd happily pay a few cents/watt more if that means turning most energy production green. It also has the knock-on effect of making driving electric more green.
You should also usually be able to just reboot and as long as another shell is installed, choose that shell as your startup command in the bootloader.
To access NY Times articles, just google search the name of their article. You most often will then find their entire article, reprinted in full, thru another source.
No.

This is blatant lie found in a second on Google. https://en.wikipedia.org/wiki/List_of_countries_by_income_eq...
One thing I noticed at our local 99 cent store, and didn’t see mentioned in the thread… cashier wait times. There’s a large number of customers of course and they keep costs down with fewer cashiers. So you are looking at twenty minutes standing in line for your $8 in goods.

I did this a few times and (combined with needing to drive there) and decided it was not really worth the savings from our quick/overpriced markets in walking distance, except in rare circumstances. YMMV.
T-cell tests are available in some places now.

https://www.tspotcovid.com/
there were some kernel level new things in the last decade, nothing earth shattering, but interrupt coalescing was pretty nice, I remember seeing a few news like this over the years (some coming from MS first even:)
> In other words, can we reason about electrons as sound waves, and/or as radio waves, and will the results of that reasoning be correct?

The movement of electrons is a bit like the movement of air; that's why they share the relationships. This doesn't tell you much about the nature of air molecules or electrons. (It's actually using a solid, not air, as the acoustic medium, but my point still stands.)

It works the other way around, though: https://en.wikipedia.org/wiki/Phonon
It's a lie though. https://en.wikipedia.org/wiki/List_of_countries_by_income_eq...
> This is terrible because […] plugs […] sometimes do not physically fit.

This is extremely uncommon and basically only happens with power strips which both are the "wrong" way around and can't be reversed.

(and since pretty much every plug nowadays is an E/F hybrid, you can easily get a type F power strip for the rare case where it's needed).
The Tea Sommelier Seeking Out China’s Rarest Brews
There is a mobile client that works excellently called Quine 2. Ive been using it for a couple of years with a mobile accessed Tiddlywiki personal wiki and it works pretty good. I keep the file on iCloud and can open it from desktop and mobile.
no you can't.
Instead of calling the Police to give Near’s address or employer’s name to organise some help.. this mutual friend (who often met Near for coffee) waits for an hour while listening to the music loop play on the Telegram call (the screen grab at the end). Then the mutual friend composes a calm, meticulous note for Hector to convey. It doesn’t make sense.
> By the time Snapchat and YouTube started taking short-form content seriously

Wasn't Vine first to take short-form content seriously?
I'm increasingly frustrated by industry trends of more types. After 20 years I like typing less and less. Even with c++ code bases tend toward various methods of eliminating strong typing. Javascript didn't need types. pythons type hint are close to ideal, but anything other than primitive almost isn't worth adding type hints. who doesn't just toss args in a dict?
Related: Waikato RISC Architecture Microprocessor (WRAMP)

https://wramp.wand.nz/

https://github.com/wandwramp/
Or CDK... If you're writing code to generate infra why jump through more hoops than you'd need to
" "About 44.9% percent of Israel's Jewish population identify as either Mizrahi or Sephardi, 44.2% identify as Ashkenazi, about 3% as Beta Israel and 7.9% as mixed or other"" Here it is again, MOre than half, right here in your own, old source, that you aren't understanding.

And you are nitpicking because you don't want this to be true, because it breaks your narrative of White Colonial vs the Oppressed Palestinian Underdog. My initial reply to the guy was in response to him saying "inserting europeans". Israel is not a European nation. Just you say hate Israel and we can call it a day.
I suppose this framing may be generally true, but there's nuance that has very little to do with their nominal job in many cases. For instance, if you're selling a solution to certain ecosystems of software engineers, then you're not selling them a thing for the job they have. You're selling them a thing for the next job they want, that they want an excuse to play with at the job they're at.

All of which is to say, it's not always enough to look at a person's tasks and work to find high-value "pain points". Often you need to look more closely and a bit obliquely what their actual ambitions might be, and sell to that.
Thank you for mentioning this program. I didn't know it exists, and I just downloaded it and ran it, and everything was set to enabled. I thought I had opted out of spying when I upgraded Windows 7 to 10.
Teams video-chat is great, easily better than things like Cisco's offering (and zero-security offerings like Zoom).

On the other hand, it's also trying to be a weird combination of Slack and Facebook at the same time (only less searchable than either) and that's pretty terrible.
> Are you going to actually get things done faster or better? Seems unlikely

A simple concrete example: a language can use a static type system to make it impossible to encounter a null-dereference error at runtime. That guarantee is a very practical benefit for any codebase.
It showed me perspective I did not see before. Nice article.
The biggest irony of the whole affair is, that the notorious delayed berlin airport was redesigned and rebuilt, to accommodate the A380 and when it was finally done, the plane was no longer relevant.
I was pursued by Facebook not once, but twice. Puzzled, I finally said "You do realize I'm 60?" Never heard from them again.
Unison (the file sync tool) is so awesome!
> Here's a way to reality check the difference: if 90% of Tether holders redeem their deposits tomorrow, 100% of them will get their money back and Tether Ltd will remain 100% solvent and liquid.

That's not true. If you read Tether's own description of its reserves, most of it is not in cash. The largest single component is commercial paper; if Tether needed to redeem every single depositor, it would have to fire-sale something like $20 billion of commercial paper. It's also not clear how good quality that commercial paper actually is, and whether its value is what Tether claims it to be--given the shenanigans they've done in the past, and the lack of anyone else in the financial system apparently transacting commercial paper with Tether, I would speculate that a good portion of that is basically Tether loans to cryptocurrency companies that are hand-waved to be commercial paper because Tether is unregulated and isn't required to follow regulated accounting rules to break down its reserves.

It's rather specious to claim that we can't analyze Tether under the spectrum of bank regulation because banks can create money out of thin air when creating tether out of thin air is precisely what Tether is accused of doing.

> Where would you rather have your money?

I'd rather have my money in the institution that is required to spend reams of paper proving that it's solvent than the one whose attestation amounts to "we're solvent, we pinky swear" and has refused to provide any more details on the basis of "crypto is too complicated for anybody to audit."
Much easier to remember and to transcribe compared to writing down a string that looks like random garbage.
> mumble does not have ads

Discord does not have ads either.
"Champagne" does sound better and more exclusive compared to "sparkling wine".
It's a riff on the "Derek Zoolander Center For Kids Who Can't Read Good And Wanna Learn To Do Other Stuff Good Too" from the comedy Zoolander.
Goddammit. Near was one of the good ones.
That's interesting I would say that modern FE development is more complex that say traditional SQl based backend.

I did a one week course on pl/sql (plus one on oracle forms) and was up to speed and working on my first Oracle development
How to Get Started with Social Network Analysis
Why do we let the top 50 or so biggest cargo ships get away with the enormous amount of pollution they generate?
A few nations should get together and ban these boats until they switch to less polluting fuel.
I mentioned such restrictions in my other comment, [0] I should have mentioned them here too.

[0] https://news.ycombinator.com/item?id=27642406
The core idea here, that of hashing the ast of a function, is similar to what Maple V from Waterloo Maple Software was doing circa 1991 when I last used it.
It's also an exaggeration to say that they have QA process. They keep shipping faulty updates again and again.
Wait isn't Warren Buffet considered a Genius?!