skysight-inc/HackerNews huggingface dataset:
Ran very smoothly for me. My only complaint is that right clicking doesn't offer a context menu, and that scroll bars don't allow snapping back to a previous position on Windows.

It would be interesting to see a project that allows integration of these native features into an otherwise canvas-like environment. Copying all the minutiae of OS features and quirks seems like an unending task.
I'd love a neural interface to Dasher, which adaptively learns as you use it which letter combinations are the most popular, and adjusts over time to make it easier and faster to input common text.

It would be wonderful integrated with a context and language sensitive IDE.

https://en.wikipedia.org/wiki/Dasher_(software)

https://github.com/dasher-project

http://www.inference.org.uk/dasher/

>To make the interface efficient, we use the predictions of a language model to determine how much of the world is devoted to each piece of text. Probable pieces of text are given more space, so they are quick and easy to select. Improbable pieces of text (for example, text with spelling mistakes) are given less space, so they are harder to write. The language model learns all the time: if you use a novel word once, it is easier to write next time. [...]

>Imagine a library containing all possible books, ordered alphabetically on a single shelf. Books in which the first letter is "a" are at the left hand side. Books in which the first letter is "z" are at the right. In picture (i) below, the shelf is shown vertically with "left" (a) at the top and "right" (z) at the bottom. The first book in the "a" section reads "aaaaaaaaaaaa..."; somewhere to its right are books that start "all good things must come to an end..."; a tiny bit further to the right are books that start "all good things must come to an enema...". [...]

>.... This is exactly how Dasher works, except for one crucial point: we alter the SIZE of the shelf space devoted to each book in proportion to the probability of the corresponding text. For example, not very many books start with an "x", so we devote less space to "x..." books, and more to the more plausible books, thus making it easier to find books that contain probable text.

The classic Google Tech Talk by the late David MacKay, the inventor of Dasher:

https://www.youtube.com/watch?v=wpOxbesRNBc&ab_channel=Googl...

It's based on the concept of concept of arithmetic coding from information theory.

http://www.inference.org.uk/mackay/dasher/

Ada Majorek, who has ALS, uses it with a Headmouse to program (and worked on developing a new open source version of Dasher) and communicate in multiple languages:

https://www.youtube.com/watch?v=LvHQ83pMLQQ&ab_channel=Dashe...
Combining TypeScript's API Extractor (Microsoft) with Docusaurus is great.

You can mix guides/tutorials with generated API docs.

For example, I really like having simple API docs in the `readme.md` file, but then also in-depth docs elsewhere.

MDX + remark really let you do anything you want. It's the ultimate documentation stack.

[1]: https://api-extractor.com/pages/setup/generating_docs/
HFSP!
Everyone can be described as machine-like if you apply that particular lens. From a first-person perspective I am pure consciousness operating a meat suit. You may argue that reductive materialism allows you to reduce my claim to one about matter, but the onus is on you to prove materialism -- which I suspect you'll be hard-pressed to do in an HN comment.
My gf started jerking herself off at 13... What is she, a dangerous type that objectify men and see sex as a power/control thing ?

Female sexual "predation" is pretty much universal. I can tell you that my un-neutered cat try to have his way on a daily basis and my pussy does not complain about it on twitter... and I'm not even talking about my male dog having to prove himself by showing he could dominate my female dog to be allowed to "get it in".
Custom Apple instructions do… matrix stuff IIRC. Not something applicable to simple number division.
You can counter that with spoiled ballots, or having none of the above as an option.
How does it work when you want to use third-party libraries though? (because even if you have the biggest stdlib in existence, you'll still gonna end up using some external libraries no matter what)
Well, I was referring to the built-in browser spellcheck and the X windows copy/paste.
Both of those probably rely more heavily on normal native widgets. Not saying it is impossible of course.
The X windows copy/paste could be done using the invisible text approach firefox uses in PDF.js. That would also help with accessibility somewhat.

But I'm not sure how they could integrate with browser spellcheck without basically going back to a less canvas-y approach. Invisible text areas surely would have layout problems aligning with the rendered font. But, I guess we'll see. I'm guessing Linux users are not a major factor in their decisions though. Firefox users probably even less so.
Two (metric) tonnes of plutonium takes up 100 liters of space, or about 3.5 cubic feet.
Perhaps some sort of simple literacy test, such as this?

https://www.ferris.edu/HTMLS/news/jimcrow/question/2012/pdfs...

( from https://allthatsinteresting.com/voting-literacy-test )

edit: god I hope people realize I'm being facetious
Arduino: Portenta Machine Control
Arduino Pro is introducing a powerful new member of the Portenta product family, the Portenta Machine Control. It’s a fully-centralized, low-power, industrial control unit able to drive equipment and machinery. Plus, you can program it using the Arduino framework or other embedded development platforms.
https://www.businessinsider.com/a-san-francisco-apartment-th...

Instead of going to such extreme lengths though, it's more sensible to lobby for political change. There is absolutely no legitimate reason this should be introduced as a general standard for all wifi divices. This sort of spying needs to be illegal unless specifically approved in limited cases.
How many transactions happen in the world?
Another way to put it might be that they are more secure in what they wish to see from a policy standpoint, and the personality-based sideshow of a campaign is usually irrelevant to that. Assuming of course that any given candidate is upfront about their platform and sticks to it.
ETH's creator sells quantities of gifted coins, crashing subset of crypto
FastAPI allows you to define non-async views.
> people get "informed" and "activated" by propaganda on any given side

Yes, in other words, they get manipulated into tribalized group think.

> Australia has compulsory voting and it's arguably better in terms of outcomes than the US.

There could be many reasons for this other than voting being compulsory.
> To me that just looks like an odd relic from typewriter times.

This is the initial reason. It persists because it is part of the shorthand filmmakers use to estimate time from text. A page of screenplay translates to about a minute of screen time. That conversion is deeply ingrained in Hollywood. Everyone will look at the page count of a screenplay and make assumptions about the running time of the resulting film.

If you change the font metrics, that conversion breaks and it would confuse the hell out of everyone. And if different screenplays (or different drafts of the same one) use different metrics then you lose the ability to compare their length just using page counts.

It's important to remember that screenplays are real physical working artifacts. In the production of a film, people will be carrying around dog-eared copies of it. The director will say things like, "We're going to try to get through three pages today." Pages are a real concept, not just an arbitrary subdivision of a continuous string of text.

Also the font is part of film culture at this point. Using a different font would convey that you are an outsider or don't care about the norms and history of cinema. It's exactly how when you see a page set in Computer Modern you think, "Ah, this is a real CS paper." A screenplay not set in Courier would look like a fraud.

If it makes you feel better, John August has a slightly more modern font that preserves the exact metrics of 12 point Courier:

https://johnaugust.com/2013/introducing-courier-prime
I think the problem is equating "coding" to "algorithmic thinking."

Most coding problems are wiring stuff up. If you can change a tire or put together a LEGO set, you can probably write code.

The problem with the golden geese that you're pointing out is mostly one of tooling, in my opinion. Undergrads at top CS programs are as clueless as your grandmother about developing software because the tools are either toys for children or extremely sharp knives with a blade on the handle. This is a problem that replit is trying to solve.
If said company only does business in Canada i see no reason for them to be accountable to the US, Germany or China.

Why should foreign companies be entitled to enter a country and break said countries laws? Is it your position that we should do anyway with the notion of sovereignty and the rule of law all together?
Something like that needs a threat model including your attackers' motivations and means.
I don't know how Bitcoin transactions work, but can a company (like Paypal) buy bunch of bitcoins (10000), and then proceed to do all transaction internally with their own ledger mechanism without depending on other networks?, wouldn't this allow anybody within paypal network to send/receive super fast?
Learnie – User-generated video and mobile microlearning
First, congrats!

Second, 5 years even in fang is not really that much, so it’s probably normal and valid feeling of being “average”.

Third, successful startups are usually first of all successful businesses, so the question “what kind of engineer to be to create cool business?” Sounds like “which color shirt should I wear to make America great again?”
So I'm using Office/OneDrive online and the web versions of Word/Excel. The reason I don't use Google Docs is that I think the UI is inferior to Microsoft solutions. And I'm pretty sure they are DOM based (for the most), In fact some Excel operations even execute a server round trip. Google Docs is nice because of the addon ecosystem that AFAIK doesn't exist with Office 365. But I don't like the editors as they are inferior versions of Word/Excel...

Also why is it so hard to produce or edit PDF files online still today, or fill PDF forms online? Neither Google or Microsoft provide that fuction. And no, I don't want the PDF file to be converted into some Word like file, I want the PDF to keep its layout/fonts...
If you think this is bad wait till you find out how much of current equity market is leveraged on top of crypto. The contagion will be massive and nothing like we ever experienced. That makes it even more dangerous because the Fed and CBs will not be able to do anything about it in coming weeks and months.
This. Almost any flavor of preference voting would be an improvement of our current single-ballot plurality system.

You don't even have to rate the choices to see an improvement. Just pick any that are acceptable. Ballot design stays almost exactly the same. No run-off needed. Easy to understand. In US presidential elections, that might mean somebody gets to vote R and L. Or D and G. Or D, G, and L. Etc.
I think local US politics would benefit from a publicized lottery system that rewards random voters.
Can at least block ads still (mostly…)
> but it's [sic] demography and geography are not comparable to the US, a lot of things that work there don't translate here and vice versa.

You should have started you post with that... discounting any other place because their demographics "are not comparable" to the US makes any additional argument moot.
I'm not sure if you did it on purpose, but when I read:

> To confirm, think of a polka-dotted elephant.

I immediately though: How does a polka-dotted elephant look like???

I guess my bank account is blank now :( .
Bitcoin doesn't need to increase its throughput. This is what layer 2 (3,4,...,n) solutions are for. This is like saying "Well, the dollar is useless because Fedwire TPS doesn't accommodate all transactions." If you compare apples to apples, Bitcoin is more than adequate to replace something like Fedwire with a zero trust decentralized system. Layer 2 solutions for Bitcoin can look something like The Lightning Network (trustless) or something like the Liquid side-chain (maybe for institution-to-institution settlement?).
If both candidates fail to represent me, why should I reward either one with a vote? Sometimes both sides can be equally contestable. I know with all the get out to vote propaganda in the United States we're all told that we should participate. But if the system is inherently broken, I can act much more change personally on a local level with local elections and state elections. I think a lot of people are in the same boat as me and we write off the federal government as a circus where the highest funded candidate gets into office.

(On that note, if we banned corporate donors, that would be a very interesting experiment)
If you're comparing dancing to sports and orthography to written SAT, then I get the impression you might not even understand what either of things really mean. The medical literature says you're literally incapable of doing it, regardless of how hard you try. Now, that doesn't say anything about your value as person. No one cares if you're bad at writing wedding cards. In fact the sorts of people who are good at those things would probably feel excited to have the opportunity to feel useful if you were to delegate the task to them.
You bring up an interesting point.

In the U.S. it’s been discussed how the recent stimulus has led to the improvements in the unemployment rate slowing. People aren’t interested in going back to low-paying, degrading jobs — like fast food. It’s forcing businesses to increase their hourly wage to find willing workers.

It makes you wonder if Facebook will face the same fate soon with its moderation jobs.

Will there be a point where the cost to hire and support these people becomes unsustainable? Will they master moderation by machine learning before this occurs? Seems Facebook may be faking it while it’s making it.
Very cool writeup! There is a lot of progress in multi-modal AI/image-text/video matching. Are you guys hiring researchers (who like to build things) in this area?
Type annotations started with 3.5, 3.6 added type annotations for variables.
Biden wasn't "barely sentient." Not only did the guy incredibly well prepared during the campaign and debates, but he would even stop to answer additional questions after the lights were off and the cameras stopped rolling. He's not a great orator and wouldn't have been my first choice (If it were up to me only candidates between 50 and 65 would be allowed to run), but he was better prepared for the job than any candidate since Bush Sr.
"There's so much charm and fun and eccentricity that's lost in a web where full-height responsive image backgrounds and blocky design frameworks are ubiquitous."

This reminds me of this web design "meme" from 2016: Which one of the two possible websites are you currently designing?

https://twitter.com/jongold/status/694591217523363840

Five years on, and it still holds true today.
> If one looks at Australia, the country where compulsory voting seems most consistently enforced, one does not see a paradise of rational and inclusive politics.

It's difficult to isolate what difference compulsory voting makes to the outcome. A different and related factor is the election days in Australia are held on weekends to make sure everyone can attend, and postal voting has long been a properly resourced right.

But more, much more than the compulsory voting system, Australian election results are a consequence of concentrated media ownership.

https://www.pedestrian.tv/news/rupert-murdoch-news-corp-cont...
> Australia is probably the best of the bunch but it's demography and geography are not comparable to the US, a lot of things that work there don't translate here and vice versa.

Americans say that about literally everything. Sure comparisons are always imperfect, but its kind of silly how americans dismiss every comparision on the basis of "we're unique". America is not that unique.
I challenge the idea that unmotivated voters are uniformed voters.

In fact i think quite the opposite might be true. Some of the most uninformed voters are the most motivated.
A design technique called utreexo allows you to validate essentially every single transaction in the entire history in full parallelism. With an infinite number of cores, you could in theory validate the entire bitcoin blockchain in under a second.

That said, you need to do billions of cryptographic operations still, and you need to actually posses the full blockchain. 100k tps+ is not really reasonable on modern consumer hardware, and even getting to 100 requires a lot more engineering than has currently been completed.
Remote work has been the present for the past year or so, really
Animated Circular progress bar using HTML and CSS
Says 22% here:
https://www.nerdwallet.com/article/taxes/federal-income-tax-...

Certainly with the way brackets work they're only paying 22% on anything between ~40K and 72K.
> I felt confident I didn't need a professional editor.

FWIW, I think this almost always bad advice. Being your own editor is a bit like being your own lawyer - even if you have the right skills you don't have the right perspective.

It's obvious when something is desperately in need of editing. What's less obvious is how much better something "ok" could be with a good editor.
"Most women" could be replaced with "most people" and it would be a fair statement. The modern western man/woman has become physically weak and lacks the basic skills you'd want in those sorts of situations.
That depends on your country.

Write ins are kind of a crazy idea pragmatically. I cant imagine most countries have them. Mine (canada) certainly doesnt. You can always spoil your ballot or give a blank ballot.
A lot of apparently-odd behavior during campaigns makes a lot more sense when you realize that GOTV (get out the vote), or suppressing your opponents' vote, can be a more effective use of time and resources than actually trying to sway undecideds, in a (de facto) two-party system like ours.

This is also why Hillary's nomination was alarming to anyone with a sense of how almost all Republicans and a lot of blue-collar Dems viewed her (rightly or wrongly—doesn't matter). Her nomination was a huge, free boost to R GOTV and gave the Ds an uphill battle for GOTV on their own side (again, doesn't matter whether that was "fair", it just was).
I don't live in in the EU so I feel like that might be pushing my luck.
Yeah - there's some correlation with age just because you're forced to take in some inputs/experience just from existing.

I think there are exceptions though in both directions related to how much you try to directly get better at this kind of thing.

It's worth it I think - you're in your own head your entire life, might as well try to make it a nice place to be.
I’m saying the conditions are a little lopsided, and moves like this make it worse.
I've been practicing touch typing for over 5 years now.
I seem to be capped at around ~65 WPM. I sometimes wonder if it will stay there, or will it improve.

I take this to test my speed: https://10fastfingers.com/advanced-typing-test/english

Now I've tried to take the test again after roughly a year, out of curiosity, and I got around 75 several times.
Maybe it will improve very slowly past this level?

Do you perhaps remember how the improvement trend was with you?
One person's war on junk mail (1996)
> With canvas and WebGL taking more and more, it will turn back into an X terminal, with more advanced network capabilities.

Not really, Canvas is just that, a blank canvas. The issue is that it's up to the developer to implement everything on top. It's very hard for me to believe that Canvas would be more efficient than DOM for creating text documents. Obviously there are limitations to CSS or the DOM. But then wouldn't SVG be a better alternative than straight out drawing pixels on screen?
Yeah that's how all centralized crypto exchanges do it
Avoid Git LFS if possible
> Algorithmically speaking, the extracted program is as optimized as it model.

Sounds like the Coq approach just shifts things around a little. Which is fine, but it seems less drastically different than I thought.

I was taught formal methods in B-Method and Event-B. [0] (As an aside, I rather like Event-B, and it strikes me as a pity that more students aren't taught it.) They're imperative-oriented rather than functional-oriented but that's not the interesting difference here. In the lectures it was strongly emphasised that the initial mathematical modelling need only be correct, and that it made no sense to reason about its performance, as it was not intended to look anything like the eventual implementation. Put another way, the initial model is to specify the what, and should not concern itself with questions of how. Once the initial model is complete, you then refine the model iteratively until you have imperative code that can be rewritten (ideally automatically [1]) in a 'real' programming language like C or Ada.

A modelling of malloc is likely to boil down to a mathematical such that expression expressing that it must always return a value with the necessary properties, and handle state appropriately, while saying nothing on how it does this. Part of the refinement process is to eliminate such that expressions, replacing them with imperative steps that provably satisfy the expression. (More precisely, it must provably satisfy all postconditions and invariants.)

In short then, in Event-B you must refine your model down to something that maps naturally to imperative code. It sounds like Coq takes a somewhat different approach: you aren't required to refine your model all the way down. Instead, Coq will accept a partially refined, or even entirely unrefined model, and it will have a go at synthesising an implementation. With Coq then, good refinement may presumably be necessary for good performance, but you have the option of declining to fully refine your model.

(Of course, the same approach could be taken with Event-B. I don't think it's generally done that way though, but I could be mistaken.)

> Target languages are all "safe" languages

I imagine that's just because functional languages tend to be safe, right? The existence of unsafe features in those languages wouldn't be a hindrance to Coq.

[0] https://en.wikipedia.org/wiki/B-Method

[1] https://wiki.event-b.org/index.php/Code_Generation_Activity
I don't know about "very fast", Python 3.6 was released in 2016 giving people plenty of time to update from 3.5. Those are backward-compatible too.

If you haven't updated in that time, you probably have a systemic problem which shouldn't be blamed on Python moving too fast (in fact I suspect those people don't keep up with bugfixes either, so nudging them to upgrade when they try to update flask/numpy is a good idea).
If I recall correctly, some states would actually throw out or invalidate your entire ballot if you do a write in. If memory serves Oklahoma was one of them.
is PhotoSync even encrypting the photos?
Their claim wasn't that early deciding voters are more informed, but that more informed voters decide earlier.

IE: That more informed voters are a subset of the population of early deciding voters.

The counterpoint would be informed voters who make late decisions, not low-information voters who decide early.