skysight-inc/HackerNews huggingface dataset:
My original implementation is in Python and I documented a bit of research and implementation of type inference here: "The Blissful Elegance of Typing Joy" http://joypy.osdn.io/notebooks/Types.html The “Type Inference in Stack-Based Programming Languages” talk given by Rob Kleffner informed it. I don't recall now whether I read his thesis but it's likely. I probably couldn't wrap my head around it either.

For typing combinators (Joy's higher-order functions) I tried making a hybrid inferencer and interpreter that just evaluated them and it worked. (Incidentally that's what drove home to me the categorical nature of Joy. When I read Conal Elliott's "Compiling to Categories" I recognized what I had done.) In Joy the higher order combinators "don't care" if they are working on e.g. values or types. In other words they only care about the shape or structure (structural typing) of the data on the stack.

When I wrote the interpreter in Prolog and then wrote the inferencer in Prolog I noticed they were the same code, so I deleted one of them. In Prolog, you can pass a stack and compute values or pass logic variables and it will tell you what kind of stack a given expression expects/generates. If you implement math ops with CLP(FD) you get a nice constraint compiler that get generate new Prolog implementations of Joy expressions. Sick, eh?

In both Prolog and Python I haven't yet closed the loop for recursive combinators. Meaning the type inferencer generates the base-case and then the case for recurring once, then twice, and so on. I know the answer is some simple application of fixed-point theory or something, but I'm an idiot, and I've been working on other aspects (because I'm sure the solution is like decades old in the "compiling FP languages" literature. "Somebody else has had this problem.")

In any event, I don't think I'll have to figure it out, because I just found out that the next steps I was going to take have already been done by the "Seven Sketches" folks and then some: https://news.ycombinator.com/item?id=20376325

I'm pretty sure most of that stuff would make great Joy combinators. And something in there would be the way to deal with e.g. genrec and x combinators.
s6 is often used with execline, a stripped down scripting language that is highly performant.
How else do you propose to own your data? What if I encrypt the data before storing on Google drive and decrypt it after fetching from google drive?

To answer your question: Right now, the storage is provided by them. So, I don't need to worry about paying for a user's storage. It is on google. And as stated above, data can always be encrypted before storing.
Compounding pharmacies are brilliant. In the course of my treatment, my doctor and I worked with a compounding pharmacist to prescribe me lower dosage amounts of buprenorphine than the major drug companies have ever produced -- which allowed my taper to go smoother than expected.
When we moved into our current office we wanted huge whiteboards since we end up using them for all kinds of notes, illustrations, todo lists, etc. We looked at large boards and they were terribly expensive to ship and a pain to mount. We also looked at whiteboard paint and things similar to what’s mentioned in the article but found lots of issues with erasure, ghosting, and staining over time.

We ended up using custom printed ThinkBoard [1] stickers. We were hesitant at first but the price is relatively cheap for the size and we got them printed with our company logo with a high transparency value so it wouldn’t distract when writing over it. I can honestly say that they are amazing! We put up 2 so far. One is ~12ft x 4ft and the other is ~16ft x 5ft. We’ve been using them for over a year and have no staining or ghosting issues and we regularly leave things on them for weeks at a time. One swipe with the included microfiber cloth and it looks as good as the day we put them up. It’s basically just a big sticker so it’s pretty easy to install with 2 people. I’m not sure yet how the wall will fare when we peel them off but I imagine it won’t be bad. We also sanded the wall behind where we stuck the second board to remove any paint bumps or inconsistencies and it’s really slick. I wouldn’t say it’s required but if you have a little time and a sander I would recommend it.

[1] https://www.think-board.com/
All the comments would be hosted on this site; It's actually centralized.
> What would these 'hate speech' laws ban exactly?

Is it not authoritarianism if it's Our Guys?

You can classify anything as hate speech. Propose a restrictive immigration policy? That's hate speech against immigrant populations, an attack on their economic opportunity. Propose a permissive immigration policy? Hate speech against the native population, an attack on their cultural survival.

Anything that affects anyone can be construed as being intolerant of anyone it negatively affects. Since all significant policies affect people, anything your opponents say can be classified as hate speech by an authoritarian who doesn't like them.
> In the housing market, landlords do sometimes pay for upgrades to their rental properties, but they are less likely to do so than owner-occupiers.

Is that a fair companrison? An owner occupier will often over capitalise because they desire something or have a lifestyle benifit beyond money. A rental owner wil look at dollars in/out. With the ships, its all coming down to a spreadsheet of cost vs benifit for both owner and hirer.
You realize that many people in Africa still live in huts without electricity? Facebook currency being widely used in Africa is no more absurd than asking all Indian citizens to receive all their income via a bank account.
pastebin blacklisted
Well, if that part goes, Yellowstone would have less pressing it down, would it erupt?
They did, and the tip is now out of date. A latter-day Bezos would drive a U-haul down the I-5 to IKEA Renton and buy a bunch of 2 meter Linnmon desk tops for $47.99 each.

Don't buy a door. Just buy the mass-produced commodity fiberboard item made for the exact purpose. Tricks and tips are overrated.
This is a good way to describe the reality of "bricked", and I think you could extend this to consider price, too.

Even to the EE, the cost of parts and time to repair may exceed the cost of replacement, much like a car in a relatively minor accident can still be considered "totaled" if the repair cost exceeds its value. "Bricked" may still not be the right term, but the difference is irrelevant at that point.

Another consideration is there's a big difference to a user if the fix requires erasing all data, as the work required (after fixing) is then the same as getting a replacement. At the least, this is the effort of applying updates, restoring backups, then dealing with all the fiddly things that didn't update/reinstall/restore properly. At worst, it's irreplaceable data loss (and a hard lesson in why backups are important).
> The only way we have a civil society is trust that there can be effective intervention before there's violence.

I can't get over this statement. It is clearly axiomatic and sums up so many of the frustrations in my life.
Similarly, you cannot call her "Barbara". Her name is "Barbra".

She literally named one of her albums "My Name is Barbra".
That really isn’t always true though. There was a solid glass ceiling for non Chinese speaking managers at the senior level, and well, it was really just Chinese (even 大山 wouldn’t be Chinese enough for promo).

A senior Chinese manager in America is much more normalized than a senior western manager in China, (the former is an immigrant and has a green card, the latter is an expat and will go back next year after their assignment is done).
They weren't my words, so I'm not repeating myself. Just agreeing with the point that the term "brick" is subjective. Requiring one to go to heroic measures to render their device useful would make me consider the device "bricked" for all intents and purposes. Folks more technically skilled than I might be able to recover my device, but if I can't get it back, it's all bricked to me. But this is a silly argument.
Andrews and Arnold are outside ISPA, have a healthy respect of privacy and a healthy disrespect of logging and block lists. The owner blogs at https://www.revk.uk

Zen are in ISPA, but don't participate in any blocking or filtering.

They both provide service leagues ahead of the big ones, have tech support that's UK based and actually have a clue what they're on about.
African here, it won't be a huge win for classical liberalism. It will be more than the sum of it's parts but not in any way that is positive.
While this is good, it goes into the mix with 100s of other similar or same apps (but with a different name). What I have yet to see is how to increase the motivation to actually close the things on the list. Anyone with hints?

I try to be mindful of the things on my list, especially when I add new items on to it, but closing it out is a different story.
Why can't you simply use plain HTTP streaming directly loaded by the browser with video tag?
The city moves the wind sand drifts yes, but the tidal flows in and out of the golden gate are moving incredible amounts of sand pretty well every day, which is why the high surf moves around so much.
It's not as though SF engineering is pushing sand south with bulldozers every year after it piles up near the golden gate bridge. There is way to much drama and misinformation flowing around on this topic IMO
the remote access is the key for me. my email is on a server accessible from any machine. sure, webmail could do that too, but webmail can't keep my state if i switch devices.

i now carry a tiny laptop (gpd pocket) where i have all my important stuff, including ssh keys to servers. i use any other available device as a workstation with a browser, and use ssh/mosh to access my tiny laptop to do the important work and access servers through that.
You're probably seeing a recent change. Different channels (eg release vs nightly) recently started using separate profiles, because it was too easy to get data loss by switching between browser versions with the same profile. The storage files are backwards- compatible, but not forward compatible.

I don't know if firefox clones your profile or creates a blank one when you switch channels, though.
I picked up the habit or writing on windows in college, and never really stopped.

Luckily my office has 3 8' windows, and a glass wall.
>After starting with a large raw file, the finalized version ready for release is around 30% smaller, around 7GB for a 1080p file.

Huh? Are they recompressing it? How else would it shrink? If they're recompressing it, why don't they just use a capture card and avoid the hassle of reverse engineering stuff?
I'm pretty sure anyone trying an experimental terminal-based e-mail client has already tried mutt. Personally, the flow never suited me. I'll probably give aerc a try soon.
We can use it like when a car is "totalled". If it would cost the user more to fix the device (because they are nontechnical or need special parts) than the device is worth, then it is bricked.
Best Article, Best Post and best website
Did this at my house. Bought 4 panels, and stood them up from floor to ceiling. Best purchase ever. Sometimes erasing the board can get dirty.
Why didn't they use that capability for voice/video communication? Are games a better business?

I remember Hangouts being better than Skype, but that's not high praise. Every calling service I've used has been laggy and disconnects often.
Opting Out of Face Scanning at Hong Kong International Airport
Until just recently (wife's choice) I used an 8ft piece of Formica from Lowe's that someone had special ordered but never picked up. It cost me $40 in 2001.

I used that desk for about 18 years. Somewhere along the way I got a hole saw and drilled holes and popped in grommets where I wanted them. It was great for a desk for working (rounded from corner), the backsplash kept stuff from falling behind it, I drilled power strips into the bottom, the surface could be cleaned for eating, and it was heat resistant for soldering. For the ends, I got two Hon filing cabinets from a used office supply store for about $25/ea. Such a great desk, with our new house I may go back to it.
I don't really like Wayland, and I think X is better. There are some problems with X, and I made some ideas how to fix it, including getting rid of a lot of the extensions of the X protocol, but making now XBell is like XkbBell instead, moving many things out of the protocol, and also some other stuff.
Flash is scripted with a language eerily similar to JavaScript -- so similar that I assumed it was derived directly from JavaScript. In the hypothetical world where JavaScript was lisp... wouldn't Flash use that?
For anyone who’s wondering if this is a physical button or an on-screen button and what it looks like, you can see it here:

https://www.phonearena.com/image.php?m=Articles.Images&f=nam...

(The cartoon mocking Bixby in the second image is priceless.)
Uses a nice trick to uninstall built-in bloatware apps on a phone (removing them "only for the default user", since removing them system wide requires rooting the phone). I guess you don't reclaim the storage space but at least you're free from having to deal with it. Bixby is especially annoying, and at least on earlier Galaxy phones, so obnoxious that it requires creating a Samsung account just so you can deactivate the hard key mapped to Bixby -- the big win here is that you no longer have to create a Samsung account to prevent Bixby from being summoned inadvertently.
> Google seems to think they can implement video gaming over IP.

No the didn't. Early attempts at streaming videogame were unplayable even with a server in another room or a direct DC connection.

And they want it to work over an average internet connection in America.

No, the definitely did not solve the issue
Victor Mono
I also buy stuff and services frictionlessly being outside of the EZ. Why trade away your country's monetary sovereignity for the convenience of currency exchange? We all know what happened to Greece and to the Italian economy.
> I will _always_ prefer friction to my own convenience if it means some person can have a job.

No you won't. Our standard of living is built on automation in a million ways, big and small.

You're only actually opposed to recent, more visible examples. Why?
Are you asking for a source that confirms that China requires students (and every other national) to have an exit visa to leave the country?
Fine-tune VGG16 model for image classification in Keras
Yeah but maybe it would be nice for users to keep that extra time in order to maximize the probability that they have actually updated software at disclosure time.

Disclosing in advance is a bad policy, it will just incentive good behaving vendors that update fast to delay full description of their changelog for security reasons because you put their users at unnecessary risks.
Don’t need electricity to get cell service mate. Most people have mobile phones even if they live in a hut.
How big is the insulin market? It sounds fairly big considering how many people have diabetes. So where are the Mexican cartels or similar black market organizations when you need them? If we're going to wait for the government, or worse, the industry itself to fix this problem it'll never be fixed. What we need is a proper black market. Is insulin available on the dark web drug markets? If not someone should make it available and cash in while still providing massive savings. That's how you solve a problem like this when your fucking government has stopped working like the US government has.
Debt may be avoidable, but avoiding it is not necessarily advisable. I got a car note at 2%. I didn't pay a penny early... It was practically free money. 0% loans, like furniture places do sometimes, are a no brainer between inflation, liquidity, and time-value.
HLS is also natively supported in Edge on Windows and Chrome on Android: https://en.m.wikipedia.org/wiki/HTTP_Live_Streaming#Clients
If the Netherlands managed to reclaim land through dikes. Why couldn't California do the same in their coastal affluent neighborhoods? California doesn't get bad storms and it rarely gets a hurricanes / tornadoes / tsunamis...etc.

For the bay area...Why not just drain the bay. There was a proposal previously and cost wise it'd easily pay off given the land gains. Heck could easily solve our housing and transit issues
Everytime I discuss Bash on the net, these gremlin style characters ruin the fruitful discussions I've had ... I think the article provides excellent advice.
I recently got one and have used it every single day for a month, it is frightening how quickly it became part of my workflow.

One downside is I dig in extremely hard to the screen and the replacement nibs are on the pricey side, so one thing to consider if you are getting one - there is an extended up-keep cost if, like me, you can't help but dig into the screen a little.

For me the reMarkable feels like tech that came from the heavens, a digital piece of paper that I can carry around and hack on (it has an SSH interface!). Which is weird considering eInk isn't new. I really hope they can release a smaller, cheaper version to keep the company ticking over so they can release hardware updates to the larger models.
But Equatorial Guinea is an outlier.
> These are all very serious (but not insurmountable) problems.

Africa faces far bigger challenges than simply infrastructure and corruption.

1) There's massive cultural, ethnic, and economic diversity. The continent spans countries which are middle income to the lowest in the world. Unity and cohesiveness are difficult regionally, less across the entire continent. Looking at Europe's issues as a proxy, it's hard to see anyone agreeing on much.

2) Manufacturing, traditionally the ladder that countries climb to prosperity is being automated at an unprecedented rate. It's uncertain how Africa will pull itself up without this.
I painted a relatively small spot, nonmagnetic, about 3 x 2 ft. I never thought about how long it will last. I just figured it would be as long as other paints, many many years with possible touch-ups. Call the company's customer support and ask.

The way I see it. It's relatively cheap so it can't hurt to try it.
Admittedly, I'm in a comfortable position that allows me to be very liberal with how I spend my time at work. I'm a developer at a small company that isn't focused on tech, but manufactures physical porducts - there aren't any agile meetings and to the rest of the staff that kind of work looks like black magic.
Good post from Divij. I worked at amazon a decade back and my 2 biggest learning there were from (1) building large scale infrastructure components (2) DevOps is an inherent responsibility of Dev.
OnePlus is great, very close to Android stock. Samsung has so much crapware...

- when you search for an app and it's not on your phone, the first place it wants to take you to, before the Play Store, is the freaking Galaxy store (who uses that?!)

- the share panel contains a giant ad for some online storage service by Samsung

- the built-in system utility apps use a different version upgrade system than the play store, requiring you to approve some of them manually

Etc.

Feels like hardware is good but is used to peddle inferior services.
The dichotomy is real because nobody asks devs to output properly structured logs, or to work with ops teams to associate particular logs with particular states. Because of that, metrics are the defacto universal measure of the health of a service. Getting lots of 500s? May be time to flip a circuit breaker. Getting lots of logs of an unknown error? Time to... Send an email to the devs and ask what this means, and wait around for an investigation (meanwhile, metrics have identified the likely culprit)

For many of the services I run, I haven't looked at logs in months, because the metrics tell the story. If service is degraded, I can usually correlate it to another downed service, a network failure, or a recent change. No logs needed.

Correlating metrics with logs is great, and proper distributed tracing is a revelation. But if you had to collect and measure just one thing, it's metrics.
That's like saying that with a faulty hard drive you can only lose data if you're not backing it up.
Works great with javascript disabled
For people who want to make their own: a lot of these are very easy to create in LaTeX. I made a bunch of templates a few years ago (https://michaelgoerz.net/notes/printable-paper-with-latex-an...) that I still regularly use in GoodNotes on the iPad.
If they give you a whiteboard instead of a computer, writing correct code with minimal editing is part of the interview process. You should direct your hate to the interviewers, not to the tool.
Does Chrome support DoH?
I couldn't agree more, and for the same reasons you've mentioned I end up coming back to Thunderbird, even though I'd like a TUI client.

I looked at this video about mutt https://www.youtube.com/watch?v=2jMInHnpNfQ which made me think about making a switch.

However can we really do better than Mutt. Mutt typically had issues with multiple accounts and moving emails between the two. I have been migrating away from Google and this is a handy ability (which thunderbird has). I was quite excited by Drew Devault's aerc client https://drewdevault.com/2019/06/03/Announcing-aerc-0.1.0.htm... so maybe that or meli might be the solution for me.

Really there are only 3 requirements for me:

* Be able to use Vim for editing (one of my major gripes in Thunderbird

* Be able to use markdown, ideally something like pandoc, in thunderbird I use Markdown Here https://markdown-here.com but that requires you to edit in rich text mode and then convert to markdown. This is really annoying because you end up with <br> and <p> in the wrong places and have to always convert back to "Body Text".

* Be able to sync my contacts from CardDav. I could not go back to having a non-centralized address book. Ideally such a client would benefit from https://www.etesync.com/ as well

* Calendars I don't think need to strictly be in a mail client. What's the usecase for that? MacOSX has Mail.app and iCal.app separate. Is this a hangover from the Outlook/Google design. https://www.calcurse.org looks pretty healthy, though they say their CalDav support is experimental.

* PGP support, WKD, OPENPGPKEY, AutoCrypt etc. Enigmail does a lot of things right.
This doesn't seems it should be the function of the browser; rather, to run a local DNS service which is only accessible on your computer, and then you can make it to access the DNS data by use of whatever you want to use, whether HTTPS or Namecoin or whatever, possibly even more than one. Then you can use it with any programs, and not only with Firefox.

The ISP should not censor it. (I also think that HTTPS is probably not the best protocol for DNS, although it can still be used; just making DNS as TCP instead of UDP and then adding TLS, would help. But regardless of which way is done, it should be a separate program that the browser and other program using internet does not need to know the implementation of.)
Linus himself has expressed his opinion several times that signing every commit is useless. His posts here explain it a bit: http://git.661346.n2.nabble.com/GPG-signing-for-git-commit-t...
> UK is dystopia

Yes, except compared to all the other countries.
And from what I've seen, the common usage already includes cases "less bricked" than this bug.
Countries have left the CFA Franc so it’s obviously possible. If France had held onto their foreign reserves I imagine that would have been mentioned somewhere so I doubt it’s true.
The encrypted file can be bigger than the decrypted version for a bunch of different reasons, that's like what's going on here.
There are large wildlife preservation efforts in the Bay Area marshlands (particularly near shoreline park) that would be destroyed.