skysight-inc/HackerNews huggingface dataset:
Category theorists have made this promise since the early 1990s, when
the overlap between categorical methods and pure functional
programming (think type theories) became clear. The really big win
here was Moggi's discovery that monads neatly generalise many similar
ideas in programming. (Moggi/Plotkin should have won a Goedel award for this!) This led to a great deal of activity towards
generalising this to other forms of computation, in particular
parallel computing (key problem: generalise the beautiful
relationship between cut-elimination and beta-reduction in type
theory, to cut-elimination and parallel composition + hiding). In my
opinion, this has comprehensively failed to date, in the sense that

(A) while you can express some parallelism in a way that can be read as
a generalisation of cut-elimination / category theory, that is not
surprising since (simplifying a great deal for brevity) category
theory is a foundation of mathematics; but

(B) when you express non
purely functional computation categorically, you get extremely
complicated formal systems that obscure the fundamental simplicity of
what they abstract from and generally have only what they abstract
from as actual model of the abstraction.

Let's take Example 47 from the Native Type Theory paper: what exactly is the formal property the typing system induces? (The paper makes vague allusions to a "foreign function interface" with rho-calculus, but there is no published understanding of even the equational theory of rho-calculus. Why should I trust this paper?) What is the logic that the paper promises ("Native Type Theory gives provides a shared framework of reasoning")? What are the proof rules, so I can type them into Lean or Coq? Show me that they are better than the simple logics I get from looking at lambda-calculus operationally.

Each abstraction has costs and benefits. As of 2021, the costs of
categorical methods outside of pure functional languages outweigh
their benefits. I worked in categorical methods for programming and
changed the field, when I realised this.
It depends on the stock and the current demand for that stock. If you had GME shared during the recent frenzy, you could have earned a lot in interest. But, say you have Google, you won't earn much since there is a lot of shares and lot of people willing to lend.
Not to be confuse with lil, which is a small scripting language based on TCL: http://runtimeterror.com/tech/lil/

I think this is a super interesting project. It reminds me what Groovy is to Java, but backwards. Groovy is a “looser” version of Java that compiles Java. Little is a “stricter” version of TCL that compiles TCL.
It does but only to 15 degrees, goldtouch tents to 30 which makes it more comfortable (to me).

It’s not perfect and as I say I’m sure there’s something better, but the kenesis is not it if you like your hands closer to neutral (less rotated) as you type.
Jealousy is a little misplaced. History has seen a number of countries with strongmen and with ambitious multi-decade plans, and generally those plans went up in smoke as soon as the strongman died or otherwise exited the scene. It turns out that the strongman was powerful enough to sustain a marketing push and put some pressure on the state machinery, but society actually wasn’t very united behind the plan after all.
Level your productivity up with your shell’s history and aliases
> Over time, these add up into real change, even if you don't see it happening in the course of a single thread.

Without evidence, this is a difficult claim to accept.
Mitchell ran a scripts to scrape emails (wonder if it was her company ones or mailing lists for the AI group) for signs of racism (heck how on earth does that work) against Gebru.
Renewables weren't what caused the Texas blackouts. This is a GOP taking point to distract from their deregulation to the point of failure.

https://www.texastribune.org/2021/02/16/texas-wind-turbines-...
Google decides for your behavior. And you decide for Google.

The person giving you money is allowed to decide whether they want to continue giving you money. Similarly, you are allowed to decide whether you want to continue taking the money.
Surprised the VMS guys just did not already know about emacs as TECO was one of the forbears of emacs I believe.
> Thanks for helping me realise this mistake and gain a better understanding of the issue.

Are you on Twitter? I'd like to follow you. :-)
I too work with a real-world Siri, and he is also male.
106 innovations that made travel easy
I can’t speak to Griddy or their marketing, but the here in NY the market for alternate provider “ESCOs” seems to have attracted some really shady players. Their sales tactics range from a little deceptive to outright fraudulent, with door to door and telemarketing sales people going so far as to pretend to be ConEdison employees to get your account number and process the provider change behind the scenes.

I see the Griddy homepage has a graphic showing that they beat the other providers on price 96% of the time...how many of their customers knew at signup time just how bad it could get 4% of the time?
Sure, security of a piece of software is always fully dependent on the programming language it is written on. /s
They're using Agora: https://www.agora.io/en/products/live-interactive-audio-stre...
I don't know rails, but that is just terrible design. address.com/accounts/404 is what the devs should have used, and "404" is a response code and an error page, not a URL you redirect/rewrite URLs to.
It's like an iPad or phone now where it doesn't seem like it ever actually shut off. So when you open the lid it's running. Small difference, but incrementally better.
German is also famous for stringing several words together, so you will also see "Herr Doktoringenieur" for someone who has a PhD in engineering. And is even more right than a regular Herr Doctor because he is also an Engineer.
Is anyone old enough to remember phone party chat lines from the 1980s?
I think people are missing the sarcasm.
I can't speak for your colleagues of course, but I find this line of thinking very reasonable:

A big salary can evaporate quickly. Between March 2001 and April 2004 roughly 400,000 American jobs in information technology were eliminated. Many of those who had coded Java in obscurity ended up as cab drivers or greeters at Walmart. A personal professional reputation, by contrast, is a bit harder to build than the big salary but also harder to lose. If you don't invest some time in writing (prose, not code), however, you'll never have any reputation outside your immediate circle of colleagues, who themselves may end up working at McDonald's and be unable to help you get an engineering job during a recession.

http://philip.greenspun.com/seia/writeup
I think they mean Gauntlet Legends, it was more ARPG than usual, saved your game even in the arcade.

But it was cartoony, which was my issue with D3. I was done when the ultimate gear farm was running around clouds and rainbows hunting unicorns.

I played path of exile as well but found it too manipulative, and though QOL the mtx were too expensive, I found within a few seasons of game launch I'd spent too much, and that was with running ladders for items to sell.

I'd rather just own games outright. I remember when DLC started on 360 we joked about how long it would be until reverse gear in a car was DLC. Didn't think it'd be quite so soon.
It's been a while and I was just a dabbler at the time - but from what I recall, Exec at least has some object-oriented features or at least influences?

This is all hazy but wasn't there some sort of base "node" struct which had various extensions depending on the entity - at least I recall lists of such nodes where some operations could would with "base nodes" while others required specific "sub-type" nodes?

At least I remember finding the model very confusing initially - a lot of the technical documentation seemed quite abstract to me as a C novice at the time.
>I asked the same two questions to my broker (Avanza in Sweden), and they haven't replied after 4 weeks.

Get a new broker. I've had some fairly complex securities questions in the past and my broker (Fidelity) always had someone on the phone to talk it out with or inquire further and get back to me.
Google created these jobs and deemed them important. Like I agree, if AI ethics researchers are doing their job correctly Google will be unhappy with them, but this is really what Google offered, lots of freedom.

You can be as cynical as you want but the fact Google fired them with little rhyme or reason and destroyed their team is BAD thing, we should be upset at Google for it.
I don't think there are any causal cycles here - I don't think a simulation can have a causal effect in the sumulation (or real world) which launched it. Even though the simulator can observe the simulated, which might seem to provide a channel for communication, the latter cannot do anything that was not determined by the rules set up by the simulator.
This article mentions Dulles Airport's "mobile lounges", but doesn't explain their extraordinary history, which has absolutely nothing to do with the issues discussed in the article itself. [Dulles has no train connection yet].

If you've gone through DC's Dulles Airport, especially its international terminal, you may have experienced traveling in what must be described as a moving room, a kind of huge, wide bus. Long ago, these things were an experiment in a radical and wonderful 1960s approach to airport design which sadly couldn't work with our modern airport security.

The original design of Dulles airport was a single rectangular building: one huge atrium. There were no terminals at all, no gates at which airplanes parked. Airplanes stayed out on the tarmac somewhere. Instead, the building had an array of what might be best described as garage doors. When your flight was ready, a mobile lounge would drive over to a certain garage door and attach to it. The door would open and everyone on the flight would walk into the lounge. The lounge would then disengage and drive you over to the plane. There, it would lift vertically until it matched the plane door and attach to the plane. You'd then walk into the plane.

[Edit: yes, many european airports drive you out to the plane by bus: but you must still climb the entranceway to the airplane outdoors, and you must enter the bus in, well, traditional bus fashion. With the mobile lounges, it's as if you never went outdoors.]

It was an elegant and simple distributed system. Wikipedia says it failed because it couldn't keep up with passenger numbers: but I think, at least with Dulles Airport's one-single-massive-atrium-building design, it mostly failed because it was completely incompatible with a single-point bottleneck security line (sadly) required at modern airports. So the whole architectural design was doomed to failure. Over the years Dulles has grown terminals and security checks and underground passageways, and the lounges are now relegated to basically being buses between terminals.
Sure, you might be able to go around a lot of regulation, but keeping the reactors cool would be complicated, unless in space means some non-Earth planetary body. Titans atmosphere or the oceans on Europa are pretty cold. Of course that way the bitcoin transaction processing time would get even longer due to light speed delay.
It's only for the cool people, can't have any poor android users in the exclusive clubhouse!

I wonder if it was intentional or just a matter of priorisation.
> (no need to print new bills at great expense)

This is not how modern money supply works. The M2 has increased massively, and the number of new bills in circulation will not change materially.

Currency is already digital. And sometimes we use physical paper to represent it.
In addition to the $3m/3M confusion, don't forget preferential liquidation.

If you own 10% of a company and it sells for 2x the invested value, you might get < 5% of the sale price yourself once the investors are taken care of.
Even if they don't receive payment for it, one would certainly hope they're sending their orders to wholesalers and not an exchange. They'd be screwing their customers otherwise.
Might be worth turning off virtual memory? I believe that is an option in all the major OSes, and it can help you budget your memory usage as well as avoid a swap lock-up. Is the underlying problem that your machine has just has too little memory for today’s OS & browser versions? Or you’re visiting a specific web site with a memory abusive app? It sounds here like there are important details you haven’t mentioned yet, not that there is a general problem with browsers necessarily. Yes, browsers and today’s OSes and applications all seem bloated from a user perspective and seem to use enormous amounts of memory. I have run out of RAM before and had to wait for VM swap, and agree it’s very painful. But I haven’t had that happen with a browser in years or maybe ever, and nobody I know is having common browser freezes. Is it worth an SSD & RAM upgraded, might that solve the issue?
I am positive that not 'everyone' is using Jira in the wrong way, just that many-many companies use it and many companies have broken culture or processes (or they have the right processes for the company, but that's not enjoyable for the employeees, that can also be the case). Again, Java or Javascript are also a good example: I am relatively sure that crappy Java code is much more common than crappy Clojure or Haskell code. Does it mean Haskell is 'better' than Java

> It's a micromanagement-first system: everything you want to do has to be explicitly enabled by a manager, and if you want to do something a manager didn't think of, too bad.

We don't have anything even resembling to this in our company, and we use Jira. Again: Jira is a relatively good tool for storing information that's related to a certain piece of work. If you don't think that the context for any work should be documented, then don't do it, but we have learned it the hard way that code changes without business and technical context are not great, because in 5 years you might have a completely different set of people working on the codebase and they sometimes need to ask why this code was ever created. This is the context we store in Jira, and we could store it on a wiki, in Asana, etc. but Jira works just as well and again: it has brilliant integrations to everything.

Yeah, performance is not great but it's getting better nowadays. There are faster tools out there, but we considered integrations to be more important (YMMV ofc.).
Funding at the level in that chart would not have given us fusion. That chart is based on a crash program to develop tokamaks, but assumed tokamaks work better than they actually do. The main product of that crash program would have been tears and frustration, not practical fusion.

One can turn this around and say that fusion not getting the funding in that chart is evidence it was not seen as a promising place to invest. One cannot simply presume it's a good investment and ignore any evidence to the contrary.
I've often thought this -- age stratification to our current degree is a relatively new (20th century?) phenomenon, and seems under-studied. I think the awareness came to my mind when I went to a number of mixed polka/swing dances back in like 1999 put on by the local Czech center. It was a rare mix of seniors doing traditional polka side by side with college students (who were brought in by the swing dancing) along with other adults, their kids, 5 year olds running around, etc... And then we'd do goofy dances like the Hokey Pokey or the Chicken Dance. (This was via the eclectic and fun band, "Brave Combo.") The entire mix felt weirdly... healthy.

One reason we chose a private girl's school for our daughter is that, along with traditional (horizontal) grades, it has "sister groups," which are vertical slices of girls from varying grade levels. These meet and socialize throughout the year.
This is actually one of the main USPs to have payment at public layer. Even USA is pushing for an open API and SDKs, one day maybe an open source protocol.
That’s really annoying. I have some windows crack tools for exploit testing that I can’t store on Dropbox unless I encrypt the file before Dropbox.

I don’t want this feature in my cloud storage. Especially since some of this stuff is long term storage for my NAS. I’d hate to try a restore after 10 years to find something flagged and deleted.

I could understand them if I was sharing links or something but I just keep them as personal backups.

Their unreliability is why I can’t use them as a paid service.
Sometimes the reason you invent something original is because you noticed something that no one else has noticed before. In that case, your idea could be "stolen" by someone noticing what you noticed, and publishing it first.

But sometimes (and the quote suggests that this happens way more frequently) the reason is that other people noticed that before you, and for some reason they all concluded "this is not going to work", and went looking elsewhere. You were "merely" the first person who continued searching in the same direction, and succeeded to finally find something useful.

In the latter case, when you announce your invention, the people who previously looked in the same direction and gave up, are likely to reiterate their reasons for giving up. Sometimes they genuinely believe that what you did is impossible, i.e. that your results are wrong, and you only made some mistake or fraud that makes it seem to work. (In their defense, people make mistakes and frauds all the time, so it makes sense to assume that you most likely are another one.) Sometimes it's that they backed "this is not possible" with their professional prestige, so accepting your invention would mean lessening their prestige. (This is a wrong reason to oppose you, but people who will oppose you for this reason will often be very powerful.)

Plus there is the usual resistance of people against trying to do new things, when the old things seem to work okay, and the new things seem like a lot of work or learning.
Apple subpoenas Valve wanting all of it's sale data, because of Epic
Developer here in case anyone has any questions.
The only "boot from USB" mode that actually works from USB is DFU, where another mac is essentially uploading OS over USB to M1
It's not wrong, it was done on purpose specifically because each DE wanted to have the flexibility from using their own graphics server.

In 2021 I don't believe client-side decorations are something anyone can avoid, on any platform.
Some do. Mostly when they're at the end of the line because you're mostly not going to make a bunch of airport stops in the middle of a public transportation route such as in the case of San Francisco, say. Which didn't originally have a BART connection at all. (And Heathrow as I recall still needs a bus for Terminal 4.)
Julia plugin for the datax LaTeX package
Wasn't it written in BCPL?
PG touches on this in Hackers and Painters. The social hierarchy in high school is a zero sum game that encourages people to down others to get higher on the ladder. And if you’re not the one bullying... you’re the one being bullied.
Most to lose? A lot of republican voters are poor, no? They would have the most to gain from a more equal distribution of wealth.
Should be forgiven or majorly refinanced through dramatic means. Reforming highed edu means changing it for students that have been and will be.
The specific tools we use might not apply to you (the backend is a cluster), but happy to share a few ideas:

1- Use a scheduler that autorestarts: systemd, pm2, nomad, ... (we use nomad)

2- Setup healthchecks to detect when your app is not behaving correctly even if it's still running (for example some exception crippled the program).
An HTTP healthcheck is an endpoint (for example /health) that returns a 200 status code when everything is fine. If the endpoint is down or returns something else, the service is not considered healthy and the service is restarted (you can limit the number of restarts when errors cannot be solved with a restart)

* Systemd supports socket based healthchecks

* pm2 doesn't have built-in support for healthchecks at all but there are some npm modules for that

* Nomad does HTTP healthchecks (through consul, not alone)

* GCP and AWS (and others) support healthchecks at the level of your server and can restart the entire server when the healthcheck goes wrong

3- Monitoring & alerts: I'll cut to the chase and tell you that honestly the best monitoring solution that worked for us is the built in one from our cloud provider (you still need to setup the agent in your server). 3rd party managed solutions are expensive, and I don't want to self deploy something so critical and add to the complexity of our infra.

The main idea in monitoring is not just to be alerted when your servers are down, but to detect issues before they become critical. Common issues like disk or CPU at 70%...

4- High availability: Here be dragons put a load balancer in front of 3 (or more 2n+1) servers, all running the same copy of your app. Make sure your app is stateless! There are risks of race conditions, stale data ... so try to explore the other options first

I hope these pointers will help you sleep better at night! You can read more about these topics and look for the tools that match your stack :)
Would love to hear other people's opinions on this.
Apple keeps showing itself as the big bad wolf, with each passing day.

Read the full article for more information, but it is amazing how obtuse Apple can be.
Smart YouTube TV - YouTube client for set-top boxes and Android-based TVs
What’s the point in fleshing out this idea that like .01% of voters want.
I wonder if that is just limited to IBKR Lite, their commission free platform https://www.interactivebrokers.com/en/index.php?f=45196
I concur! In addition to that, icebergs also probably don't have a unified mass just based on the proportions. Some parts of the iceberg will be snow, others will be very tightly packed snow while others will be just ice, also with different densities.

So the iceberg could very likely float like that when taking into considering 3d space + the random distribution of mass that is different in different parts of the iceberg.
If the author is here, can I ask how you use PubNub with Agora? As in what specific thing does PubNub do to help you communicate state information that you can't do by writing to a (say firebase) backend.
> Some people claim that you shouldn't live in an online "bubble", but I, uh, vehemently disagree.

You've crossed the digital divide here and misused the word "bubble" in the process. It's not anything like a "self-selected" group of like-minded people in a room. It's more like a group of people snookered into working for a pyramid scheme. At worst-- as with Qanon-- it's like a cult.

And even cult de-programmers-- people who know the "creation myth" of a cult, know its tactics, know its adherents, and are skilled and patient enough to "snap" cult members out of their stupor-- know not to physically put themselves in the midst of a cult for any extended length of time. Because given enough time (and you can't easily predict how long that is) anyone will fall prey to those tactics, and then it's near impossible to get out using will alone.

There's something creepily similar about the people who helped build online bubbles outright banning their children from using the devices/social networks they helped to create. They do that because the systems they built are quite literally the opposite of self-selecting.
I've had similar issues with Windows and had to resort to install media, so multiple redundancy on Apple is something I'd love to see make it to me as a non-Apple user.
It's not a problem if you find appropriate quality and thickness. One example is Icebreaker Ultralight socks. I use them in summer and they are rather thin.