skysight-inc/HackerNews huggingface dataset:
UI and BL (business logic layer) can interact by messages.

Think about Protocol Buffers (https://developers.google.com/protocol-buffers ) or JSON/BSON as a core of communication protocol

// App side:
window* pw = new Window();

pw->willReceiveMessage("account.modified", cb1);
pw->willReceiveMessage("account.closed", cb2);
pw->willReceiveMessage("account.wantsNew", cb3);
....
pw->loadUI("accounts-view.htm");
....
pw->fireMessage("account.show", accountData: json)

Messaging, as a concept, is simple and data ownership is crystal clear.
In high quantities it can be fatal.
I suppose the #1 reason to pick Fortran over C is knowing Fortran and not C. Then doing it because you can.

Maybe you have a math library in there worth putting into wasm.
OBS is an amazing piece of software. When the Streamlabs OBS fork came out, many people switched - but the original OBS keeps improving.

If you're looking to control OBS through a web interface (e.g. to switch scenes from a phone/tablet), see my project https://github.com/Niek/obs-web
There’s an old concept from classical education: rhetoric. The art of persuading people with words, writing, speech, debate. A small corner of students today, law and politics, learn this.

In earlier times, we were sending a few people to college to be leaders, and thus all were expected and required to learn to persuade. The hoi polloi were not in college, and were to be convinced by said rhetorically trained leaders. There were many more hoi polloi, and democracy provided the check and balance between the educated and manipulative (in good and bad ways), and the unarmed masses.

Now we have many more topics to cover and many more students, thus the term Universe-ity. Few students learn rhetoric formally. Which is good in the sense that when there is an expectation of needing to argue, it descends into sophistry. Arguments about how many angels fit on the head of a pin, etc.

What all non-rhetoric students should learn is how not to be convinced, not to be persuaded. Something that has been called critical thinking. There have been a lot of writings in the past on how to train students in critical thinking. It was a hot topic in post-WWII education. When 60 million people die, arguably because of a lack of critical thinking, and those that survive go to college on the GI Bill, they start asking good questions. When hundreds of thousands of older students who lived through the horrors of modern war entered campus, they made it clear to the Academy that critical thinking was a priority. That sort of moral authority, gained at the end of a rifle barrel or in a cockpit facing life and death, is lacking now.

Expand that to persuaders in the visual arts, and it becomes media studies. Media studies as the transliterate counterpart of critical thinking and classical rhetoric in text. Logic falls under rhetoric. And, when you think about it, there is a broad overlap between statistics and media studies. I recommend the book, How To Lie With Statistics, published in 1954. Tufte wrote some good stuff too.

Not everybody needs to learn to be a persuader in college. That can be picked up later as needs arise or not. But everyone coming out of college needs to learn to be a critical thinker, an anti rhetorician. There are standard techniques, philosophies, ways of thinking, psychologies that could be bundled together in a Freshman course. I’m still a fan of General Semantics and cognitive bias research myself. Mixing humanities and STEM in a common cause. Fifty years ago as a high school senior, I developed a unit plan to do something similar for high school students.
Genuinely curious, why would you pick zod over myzod?
How often are you buying stuff from Amazon that this happens? I probably buy something at least 1-3 times a month and have never gotten a counterfeit or review request. I almost want to get one just to see what it would look like to be honest.
Thanks for posting. I set my phone to Polish and it's already really helping with my vocabulary.

I also recommend Flowlingo for reading practice. It lets you visit websites or read e-books with tap-to-translate. The killer feature is that every word you tap gets entered into a spaced-repetition deck for later review. It's a great way to build and maintain your higher-register vocabulary with words you wouldn't ordinarily use in everyday speech.
Idris2 has linear types. I don’t think it will come to Idris.
This is an interesting set of questions.

To some extent, I see the value in "don't listen to predictions from people with a record of inaccurate predictions".

On the other hand, people who make a lot of inaccurate predictions are, at least, taking a chance by saying out loud what they are thinking. They know their predictions might be wrong, and hopefully they learn and update their methods along the way. It is a nice way to grow.

Back in my Austin road cycling days, there was an amazingly talented junior rider who had a reputation for crashing hard and often. Some of us wondered how many pieces his frame could be split into. He survived the crashes, best I can tell. I'm pretty sure his confidence, resilience, and bike handling skills got better with every crash. Pushing the limits and being wrong in these kinds of situations may not be everyone's style, but it can work.
Well. There goes the library ecosystem until everyone finally realizes this extension doesn't do what they want. sigh

To expand a bit further:

This extension allows annotating function types with linearity information. The problem is that those modified function types control what is allowed to happen inside them. They have no impact on how values are used outside them.

This is the big difference between linear typing and uniqueness typing. Uniqueness typing lets you say "this function is the only thing using this value."

It's possible to use this extension to assemble something sort of like uniqueness, but the ergonomics are pretty awful and no one bothered working through all the ugly details like exception handling in the context of a real application.

I really don't believe this is ever going to be better than existing techniques. But it's absolutely going to make the library ecosystem permanently worse, as lots of packages will get linearity annotations added. Lots of forks will arise without them, for the people who don't want the hassle. Finding the library you actually want is just going to get even more complicated.

I still don't understand how this happened. Every strong objection was just ignored. What's the point of even having a public comment process when it makes no difference to the outcome?
I hope this isn't too direct, but do you find that the pay is acceptable/comparable to non-consulting roles?
You’re right, that’s a silly comparison.

Human traffickers don’t try to pretend that what they’re doing is ok.
That depends on perspective, and what you consider trolling. Yeah...the 5 dollars is a great filter for the vast majority of the Greater Internet Fuckwad Theory[1] posters, but that just narrowed posters and moderation down to a particular echo chamber (not unlike HN, fwiw). If you are down with the content/tone of the majority of MF posts, you prolly think it's great. But just like HN, there are posters with 'cred' who can say most anything (things I would definitely consider a troll), the 'little people' who can say things, including trolling, as long as they don't deviate to far from orthodoxy, and the unclean who get moderated away (hey...they paid 5 bucks so can't just punt them). They have done a remarkable job at maintaining the illusion that they're some moderation utopia for a long time.

[1] https://www.penny-arcade.com/comic/2004/03/19
Do you know of, or can recommend, any studies on this "waking up the neural pathways" effect? I'm wondering what is happening here, surely it's more than simply firing those pathways as I'd imagine that to happen within seconds as opposed to the day or so it took him to recover.
Thanks
https://www.macrumors.com/2020/08/28/apple-terminates-epic-g...

> Update: In a statement, Apple confirmed the account has been removed and said it's disappointing that the termination had to happen.

> "We are disappointed that we have had to terminate the Epic Games account on the App Store . We have worked with the team at Epic Games for many years on their launches and releases. The court recommended that Epic comply with the App Store guidelines while their case moves forward, guidelines they’ve followed for the past decade until they created this situation. Epic has refused. Instead they repeatedly submit Fortnite updates designed to violate the guidelines of the App Store . This is not fair to all other developers on the App Store and is putting customers in the middle of their fight. We hope that we can work together again in the future, but unfortunately that is not possible today."

> Apple says that the termination applies only to the Epic Games developer account, and it occurred after Epic Games was provided with 14 days to comply with the App Store rules. The removal of the Epic Games account is Apple's standard process for all accounts that defy App Store policies.

Edit: (Had some timeline stuff here, but the dates were wrong.)

I guess we disagree on what terminating the developer account implies. Like Epic, I would expect to lose everything you do in there - including SIWA.
What do mean? A change to user freedom would make you leave?

You do realize apple letting users load their own signing keys can increase device security. Apples signing keys could leak or be given to government's to comply with local laws.

Although in that case a user would have to sign software and OS updates themselves. A little more hassle but more secure since the user now controls the signing keys.

This also gives the device freedom to run any software.

Also lets not forget you cant determine if the code you download from the App store has been modified from the original version submitted by the developer unless you jail brake your device so you can inspect the file system.
> Now, create an autoloaded function in Zsh or Bash without looking at a man page.

For zsh:

- Make a file named ~/.config/zsh/functions/foo

- Inside it, define the body of the function for foo

- Add ~/.config/zsh/functions/foo to $fpath with "fpath+=~/.config/zsh/functions"

- Declare foo with "autoload -Uz foo"

> Want to make a function to dynamically set your shell's prompt? Create a function named "fish_prompt" in the file ~/.config/fish/functions/fish_prompt.fish. Ta-da - turns out it doesn't have to be a pain in the neck to do that.

To do the same in zsh:

- define a function (can be autoloaded or not) named prompt_foo_setup to change your prompt

- add the following to your zshrc: "autoload -Uz promptinit; promptinit"

Now you can easily change to your custom "foo" prompt by running "prompt foo".

There are many valid points which make zsh (or bash) hard to use out of the box, but neither of the points you've raised are one of them. One can easily do both without "looking at the man page."
Pedantically (despite my agreement with your thesis) please note that in "skills that make for great copy, sloganeering and samizdat" one of these words does not belong.

Have you seen the second half of chapter 64 of the Rule of Benedict, especially "[the Abbot] is to distrust his own frailty and remember not to crush the bruised reed"?

Creative ambiguity is, I presume, how the Abbot is supposed to "so arrange everything that the strong have something to yearn for and the weak nothing to run from."[1]

https://www.gutenberg.org/files/50040/50040-h/50040-h.html#c...

To what degree is "confession bear" a grassroots way to bring earnest human fragility back to sloganeering?

Bonus clip: https://www.youtube.com/watch?v=M_CZTi8L29c

[1] Da Dzhimi 2:13. Nakodenashang du kondenashang im demang du kondenashang. Nakodenashang pash kondenashang.

Da got da bekpelash im ando showxa buk wel fo da we im :-)
> A "flowchart" has very specific meaning in programming contexts [1]. This tool is for wireframing [2].

Wireframe also has very specific meaning for UI/UX people and this is not it. This is some combination of site map and user flow diagrams tool, and it's actually very close to diagrams that IME people who do this type of work have to draw a lot of. So it might not do what you'e expected by the title, but that probably just means you're not their target audience.
sci-map sounds very interesting. Have you looked at metacademy.org before?
They did a lot of good work on the data model (concepts, resources, learning pathways, etc), and also collected a lot of content, mostly on computer topics.
https://metacademy.org/graphs/concepts/bayesian_logistic_reg...

Sadly the project is no longer actively developed but if you haven't seen it yet, you should definitely check out for inspiration: https://github.com/metacademy
I don’t understand how a usage pattern where some variable (representing a semantic object) is said to have an affine type but it can be used more than once. Can you explain how such a type is not just a regular non-substructural type?
I mean, you can legislate/regulate whatever you want, but if that's not realistically (physically and economically) attainable then you'll get wink-wink-nudge-nudge "compliance". See the VW cheating scandal.
some sort of mechanism = underpants rubber bands
100% agree on starting your own side project.

It gives you a great taste of startup life w/o a lot of the extreme downsides. Sure, you don't have all the upside, but one step at a time.

Lack of a steady paycheck is pretty crushing for most people.
‘Borat 2’ Teaser Heralds the Return of Sacha Baron Cohen’s Iconic Character
This is wire fraud, comrade.

All citizens who lie about being cat owning church going knitting enthusiasts — regardless as to whether it was to get a better rate on their next car lease, or not — will be incarcerated.

This may be reduced to a small fine (and denouncement) if you forgo your right to the wasteful scrutiny of a public trial.

Glory to Arstotska
Well, the ship was sinking either way...

I'm kidding, and I see what you mean - but I think reading more news solves big issues just as well as reading less news.

Changing the state of things now, or changing the way people approach things in the future - that's how the change thing works. Western people have had so much of the latter from the hyper-media environment that I find myself sympathising with the flouride folks - ideology may as well be in the water for how pervasive it is.

Our individual approaches toward media consumption have to be personal and pragmatic - they aren't statements of Kantian universal morals. Much like tee-totallers don't necessarily believe that everyone should give up drinking.

I know you're not quite saying this, but the idea that avoiding the news and having your head in the sand have anything to do with each other is a false equivalence. If anything, in today's world it's the other way around.
One of the best write-ups on the differences (at a level that is comprehensible to most programmers) is Linearity, Uniqueness, and Haskell by Edsko de Vries.

1 - http://edsko.net/2017/01/08/linearity-in-haskell/
I know this is an “in” opinion to have among urban, middle class or liberal circles, but I disagree. Life for me has been just fine. I can’t speak for the majority, only for myself.
WhenI turn into the parking lot at the commercial development where I work, there is a prop 65 warning sign; one on every street entrance. There are many buildings and companies there. They seem like relatively expensive signs, but they provide zero actionable information. Is it in fact my building that is cancerous? Some other business? Should I quit my job? The only thing I’ve ever done with these warnings is ignore them. I don’t feel educated, I just feel tired of them.
you need to buy enclosed fixture rated bulbs:

https://blog.1000bulbs.com/home/what-is-an-enclosed-fixture-...
All of the above really.

Personally I seldom (ever?) present on a topic I'm unfamiliar with, so I don't "research from scratch" just for a presentation. [1]

I will research though some finer points just to check that what I "know" is accurate and up to date. Perhaps more along the lines of fact-checking than research.

[1] a colleague once had 2 weeks notice to do a 4 hour training session about a subject he didn't know to replace a presenter who got denied entry by border control. That was very stressful for him, but he delivered well...
Thing is such a choice does not affect those users. They just don't side-load or install an other OS.

There are users would use such option though. Otherwise breaking would not be a thing.
This. I've given up trying to figure out new ways to get around all the censorship. Not to mention, the current govt. has proven that it's ready to use any excuse to take punitive action against any citizen it disagrees with. Seen enough of journalists getting jailed and raided, people sharing comics criticizing the govt. getting charged with sedition and in some cases getting beaten up by the local 'gundas'..
Being a creator of Sciter (https://sciter.com), I would insist it is good in the sense:

0. Really cross platform: Win, Mac, Linux, Mobiles, IoT.

1. Uses stable (10+ years) and compact API - 30 functions really

2. Uses well known and time proven constructs: HTML/CSS

3. Battle tested, in production since 2006, Sciter UI works on 460 mln PCs and Macs.

Ah, and Sciter/Rust is already here: https://github.com/sciter-sdk/rust-sciter
> Social interactions become more and more meek and stilted because the risk of "offending someone" is always there.

Strong disagree. The same ideas and concepts can be discussed, the same conversations can be had - just with tweaked vocabulary.

Now, if you're talking about not expressing a particular attitude because it might offend someone, but you still stand by the position (regardless of its phrasing) - well, that's a different situation. Any sufficiently important position is going to offend someone - just make sure that you're offending the right people.

> At some point there is a line beyond which if someone is "offended", the problem is with them and them alone. I'd argue policing words like "idiot" (esp. when not directed at someone as an insult) is squarely on the wrong side.

That's fair! I disagree, but I'm not going to say that you're wrong - just that my line is drawn elsewhere. I have not found my life to be markedly impacted by consciously avoiding the twenty-or-so words/phrases that various folks have told me that they find offensive. I can still express the same ideas - I just know that I'm doing it in a way that doesn't distract from my message. If your experience is different - if you find that those words are fundamental to your message, and/or that having the freedom to use precisely the words that you want is more important to you than knowing that those words may hurt someone - that's your prerogative.
Nothing to see here. Please move along.
Anything to distract from trumps disastrous debate "performance".

Seems likely.
Call me when you can compile Cobol to English.
You can definitely significantly charge batteries from sun - see https://en.wikipedia.org/wiki/NASA_Pathfinder - but it's at the moment far from a convenient commercial solution.
Liability in the Software Supply Chain
This would be a boneheaded move for Apple for them to cancel SIWA when a developer lost their developer account.

I don’t mean just in the case of a public uproar like this. But, if someone decided not to pay the $99 fee. Perhaps because they decided to abandon their app and go web only.

It would ruin Apple’s credibility completely if you can’t trust your IDP not to abandon you.
Ok,they are basically telling Google to share data about it's users and user preferences to it's rivals and probably also US Government.

So,first thing, spying on users is bad. It might be ok to collect user's information with their consent to improve the service(like Google is doing now),but isn't it written in Terms and conditions that those data will be used to improve services(not sharing/using them for personal gains)?

Also, is Microsoft sharing data of Windows users with other rivals too?
We won't know what the arguments are until the lawsuit is actually filed, or until it leaks. We don't even know what laws Google are alleged to have broken, nor what remedy the government seeks. And one thing we for sure won't know for a long, long time is whether they'll be able to make anything stick.
What incentive do I really have to use other bulbs?

It depends on where you live.

If you're next door to the Three Gorges Dam or the Itaipu Dam, perhaps your hydro power cost is insignificant. But for most of the world the cost of electricity (over the life of a bulb) to power a 40W incandescent bulb compared to a 10W LED bulb far exceeds the price difference between them.
This is precisely it. An immediate shut-down of a conversation is almost always wrong, whether it's "you used a word that I don't like, and so now you don't get to talk" _or_ "you're criticizing my word-choice, so clearly you're unreasonable".
Knowing how HN handles UX, maybe's dang's (automated?) comments at the top _is_ the UI.
How much has that fractal expanded?

Is it more or less complex than 20, 50, and 100 years ago?

How many subspecialisations have groups 9f 50, or 10, or5, or 1, who actually understand them?

At what scale of living practice does knowledge fail to be cultural and become merely transient, lodged for a few years in a few minds, perhaps mouldering for a few decades in a fiche copy of a once-read dissertation?

And, a few moments after writing the above I see:

https://news.ycombinator.com/item?id=24631728
Okay maybe compare and contrast them? In what cases are affine types better and in what cases are they worse (than linear types)?
I'm no expert, but I have a hard time believing the economics are this simple.

Take health insurance: I'd imagine employers are buying plans offering per-employee costs lower than if each employee were paying for their own insurance. Economies of scale, bargaining power (at least when it comes to larger firms), etc.

Perhaps at some firms the processing costs really do outweigh the savings, but I would expect this to be the exception rather than the rule.

I could be wrong -- maybe someone with experience could shed some light here.
> "We're working on performance improvements that will hopefully allow us to go back to HN's original style of one big page per thread (not infinite scroll, don't worry). In the meantime please look for those 'More' links when the total number of comments is over 250 or so."

https://news.ycombinator.com/item?id=23851745
I have an extremely similar setup as you, however I will note that the quality of android TV apps seems to be rather lacking. Specifically Spotify will randomly disconnect from my phone and stop and Prime Video cannot play UHD video properly (displaying a warning saying to update the app when I’m on the latest version). These are two apps I tend to use frequently on other devices so it’s super annoying that they don’t work. Of course I can use my Samsung TVs built in apps but that defeats the purpose of owning the shield.

While I’m at it I may as well complain about the google assistant support using my home mini. While nvidia advertises this as a feature, it often works much worse than it did on my cheap old chromecast so that’s quite disappointing. For example, the shield will launch the Netflix overview for a show when asked to play it but won’t actually start the show until you wait for the auto preview to start or you explicitly ask it to press play.

Overall, I guess I’m just not as thrilled with this device as everyone else seems to be. I kind of wish I had just gone with the Apple TV at this point so that I could ditch airplay on my TV which is the only reason I have it connected to the internet at all.
Sorry, that wasn't very clear. `&mut self` in the first method ("use") is an example of a non-affine type, `self` in the "consume" method is an affine type which cannot be re-used.