skysight-inc/HackerNews huggingface dataset:
> Almost every application multiplies and divides all the time anyway

This is the crux of the RISC philosophy: Most things happen "all the time" in processors since they do a lot of things very fast, but what really matters is how often. The quantitative approach is actually looking at what instruction mix and its fastest implementation given to a reasonably competent compiler prouduces fastests overall results (given that simpler chips could be clocked faster, have shorter pipelines so better branching, leave more space for cache, etc).

The thing about multiplicationsan divisions, besides being slow in silicon, is that you can actually cover a surprisingly big part of application code multiplies with just a couple of shifts and adds. This is especially true for constant multiply or a known smallish range of multipliers, which optimizers are good at discovering.

But of course the transistor budgets and tradeoffs were different in the days of early RISC. Still, even the relatively recent RISC-V elided multiply and divide from the base instruction set.
Ansible Molecule tests depend strictly on Docker:
https://molecule.readthedocs.io/en/latest/

Also if your application is shipped as orchestrated containers (like docker-compose), or as multiple containers in a 'pod' (e.g. sidecars), you may want the ability to run containers from containers as part of CI.
Does someone know if there is something like an SQLite server, so that it could be used like a 'normal' database server?

Why? Well, for benchmarking for example, or if the application you are using has a bad multi-user implementation and you don't want to migrate to another database...
How to avoid Dockerhub’s rate limiting
For Android Developers, running Android Studio on M1 Macs is turning out to be a nightmare. The UI is sluggish and gradle builds are drastically slow.

Seems like JetBrains still needs to get their softwares ready for Apple Silicon: https://youtrack.jetbrains.com/issue/JBR-2526
Comic sans no less :rofl:
Honestly, I think Amazon and eBay look terrible.
I would not say that if youtube straight up asked for payment for their product and there were no ads.

Instead, Youtube is pestering you with ads and asking for payment to stop doing so.
Nah, I'm very confident with CSS and I prefer functional classes. It's just a far more efficient use of my time to not have to write CSS when there's no need.
This is a game of probability of which risk is greater: covid or vaccine? So, a doctor that has a great chance to get covid it's worth to use the vaccine even if it has risks. For me that I have low probability to get covid (I try to be very careful) it's not worth to have the vaccine risks.
If you want a button, use a button not a link.
Interesting. I'll translate this bit from the entry:

One can also find periodical sequences for other natural numbers. E.g.,

* for 11, the sequence +1, -1, ...

* for 13, the sequence 1, -3, -4, -1, 3, 4, ...

For most divisors, it is not practical to test divisibility this way, as there are only few easily remembered weight sequences.
Coronavirus has put scientists in the frame alongside politicians
I was looking at OwnPhotos, Lychee, and Piwigo, but just today I turned up PhotoPrism which might be just the thing (haven’t really checked it out much yet but looks promising...Lychee seems like the tried and true open source solution afaict).

I’ve already dumped Google Drive for self-managed p2p file-sharing so it’s just a matter of hooking it up to a nice interface for family use.
If you wanted to run 5000 parallel async requests in MRI ruby surely you'd just use a simple thread pool wouldn't you?

If you prefer some other paradigm then Concurrent Ruby[1] has a swiss army knife of them including event loops and Go style SCP.

I think things will improve in ruby 3 but even without ractors it's still possible to do either async IO in MRI or use JRuby for fully parallel ruby.

1. https://github.com/ruby-concurrency/concurrent-ruby
That is an epic experience that I'm sure you'll never forget! Love the way you wrote it too - especially the last sentence :)
There are several browser extensions that will do just that, in various different ways. I think RescueTime does it, but if you search for “distraction” on the chrome extension site I imagine you can find several different ones that do just what you are trying to do: just enough barrier to make you stop branching off to timewasters.
Evolutionarily it seems cats didn't change that much and domestic and wild living cats are pretty similar. It's just that when humans became farmers rodents were attracted to the grain and the cats came and helped out with those. https://www.nationalgeographic.com/news/2017/06/domesticated...
You’re making it a binary choice. They could have no national loyalty.
I believe this to be the case for any competitive endeavor.

Go players practice life and death, basketball players practice shooting hoops, football players practice dribbling.

I designed macro exercises to give my students when I taught Starcraft.

The problem with these exercises is they are rarely very fun. To be great at something, you have to put in the hours. You won't if you aren't enjoying the time spent.
Chameleon does not seem to be enough. Or do you have some pointers how to configure it?

The EFF site showed two fingerprint ids that were completely unique for my browser: window size (because of my dock) and the http-accept headers (because of my language selection). That's with FFs fingerprint-resist option enabled. Chameleon can spoof those, which is great, and it gives access to the fingerprinting option which I think FF does not expose properly outside of about:config. So it should greatly reduce my identifiablity, but according to the site it does not help much, even if the specific categories are now almost unique. Like they explain, the combination seems to be the problem, or maybe they are not exposing the category that gets me.

Edit: Okay. The solution seems to be: Chameleon with most of the options enabled, so as much spoofing as possible, but without activating FF's fingerprint-resist option. Probably sending no data is worse than sending spoofed data!

+ Ublock of course.
That has nothing to do with talent IMO. Every software engineer worth their salt should be able to inspect a full stack, measure and evaluate the performance. Instead you have 80% people stuck in whatever the current fashion is (js, I look at you) and that cannot tell a png from a .so .

So in the end, it is more about attitude, not talent.
while (n > 9)
n = sum_digits(n);

return (n == 3 || n == 6 || n == 9);
I think it makes sense: even the utmost atheist needs to have beliefs; both in the ‘individual facts’ way (you can’t be rational about everything all the time), and in the ‘cosmovision’ way (ideas about what to do with one’s life, etc.).

The OP was just being a little bit provocative while calling those beliefs a religion, which I think can be allowed; at least for the fact that there are a bunch of people that are religiously “atheists”.
Isn't the answer as simple as: the definition of multiplication (or division)? I mean: you can apply that definition also to the original numbers; these are just tricks to make it easier/faster.
A Flash Player emulator written in Rust
How Much Is It Going to Cost Me?
ount of Insta Watt reviews out there is pretty low. However, what we can do is tall you that what we did see from the review we could find was very, very positive. We found a bunch of people who plugged it in and forgot about it until they saw how much they were saving on their electrical bill! Everyone seems to love this device.If you know someone who might be interested in adding this device to their home, office, or warehouse, make sure they read this too. Use the social buttons above to send them this InstaWatt review right now! Thanks for reading and happy savings!Click Here https://apnews.com/press-release/ts-newswire/business-indust...

https://onlinebeststor.over-blog.com/instawatt-energy-saver-...

https://insta-watt-energy-saver-77.webself.net/
With the exception of Loukanikos. The legendary hero dog. Everyone worshipped him haha.
The command "git log --all --oneline --graph --reflog" will give you an exhaustive listing of the commit graph in your local repo.

Examine the output of that command in detail before declaring your work to be lost.
“kind” is a example in my day to day, how do I run an ephemeral kube cluster in ci to deploy and test my app against without dind/kind? I want N clusters running on 1 host to support many CI jobs.

https://github.com/kubernetes-sigs/kind
https://github.com/bsycorp/kind
I used to do this and then firefox bundled its own DNS aka DOH. Still haven't decided on the best course of action.
It's not necessarily either/or. In my experience, the really crappy developers who can't write optimized code are also the ones who are really slow and expensive in developing even the most basic features.

(And the converse is also usually true.)
Is that true though? I can't really see that it is confirmed that Apple was proven to request this particular lobbying.
The Fedora packaging guidelines is an official, pretty thorough guide to RPM packaging with lots of examples for specific languages[1]. The Fedora docs also cover creating a custom kernel too[2].

I recently moved over to Podman from Docker and found the documentation for it very good as well.[3]

I do agree that the search functionality of Copr is extremely basic to the point of being useless for popular packages such as custom kernels, but I believe there is some effort to remedy this with upvoting Copr repos, but I'd argue this is still not enough.

I found though as someone new to Copr that it was very easy to figure out as someone simply building my own packages.

[1] https://docs.fedoraproject.org/en-US/packaging-guidelines

[2] https://docs.fedoraproject.org/en-US/quick-docs/kernel/build...

[3] https://docs.podman.io/en/latest
This is the sort of thing freedesktop.org was supposed to solve. It seems like the effort floundered when GNOME decided to go “postmodern” with their shell.
I also do this, I actually maintain two versions of the file. Swapping them out is a simple one-liner, but I find it works quite well because getting the page not found errors act as a reminder of intention before slipping back into mindless browsing.
I Miss Working from the Office
Can you give a practical example of how denying UIP helps with tasks like writing a proof or a definition rather than defining a really exotic inductive type?
The BitWarden extension appears to be completely broken, though I'm not sure if that's an M1 issue or a Big Sur issue, I don't have an Intel Mac to compare. So I'm stuck copy and pasting my passwords from another tab. Blegh.
I never thought about that - mostly dark mode makes it harder for older eyes, but not wrt floaters.
I use ColdTurkey, you can block any website or program you want on a schedule, or on a timer. You can add breaks, allowances and Pomodoro style setups.
You can remove them whenever you want, but you can add a password I believe, or choose the option to be unable to remove the block while it is active(if you do this, make sure you leave a way to delete it).

I too wanted something like that, must solve an equation or something, but this is close enough.
It's good to see that Ruby is getting some async IO. Hopefully Rails and the other frameworks will use it.
If only I had somewhere else to go.
> RedHat just goes with what Linux already has

More like, Redhat/IBM defines what Linux has simply by paying most Linux devs, and of course they take advantage of it in userspace and sys management.

cgroups/namespaces, systemd, gnome (and it's integration with systemd) plus others are two-sided swords: one one hand they create new functionality, but on the other hand the price to pay is concentrating Linux know-how in one place, and greatly diminishing portability of Linux apps vs other Unix O/Ses and even other Linuxes that don't want to go with the program of absorbing ever more functionality into kernels and system frameworks for no real reason other than monopolization.

Unix was designed as a simple portable operating system in very short time. With 30 years of development, the situation today could also be interpreted in such a way that Linux devs just can't stop to add code. Time will tell if Linux can be maintained if the original generation of devs step down. I'd feel more comfortable if we've let kernels stay minimal rather than becoming kitchen sinks. Apart from better portability, this would've also enabled younger devs to start from scratch rather than having to maintain daddy-o's monstrosity.
The definition of literate programming environment doesn't include the requirement of a GUI.

Knuths original literate programming environment consisted of a command line tool to split files that mixed pascal and tex into the pascal and tex source, to be compiled separately.

Which means that according to your definition, the original literate programming system, isn't literate programming.
You can also get more precise and up to date numbers on what does and doesn't work from ProtonDB[1]. In the reports for each game you're able to see details like distro release, proton release and any other extra steps required (if any) to get the game working.

[1] https://www.protondb.com
For speakers of European based languages with Latin character sets, learning to read and write Finnish isn't so hard IMO. It's phonetically spelled, and the character sounds are more or less the same as other European languages. The grammar is tricky, but literacy is simple. Or at least it should be.
Thanks, I'll check it out.

Edit: Just checked it out, yes, yes yes exactly what I need. Even let's you set an "unlock" to be a certain length of random text, which suits my needs to find something sufficiently annoying to have to do in order to break the lock.

I REALLY cannot thank you enough. +1000 upvotes.
My kid play on her tablet or iPhone (mostly). I notice there is a chat window, but don't think she pays much attention to it. She and her friends use facetime for in-game communication.
These algorithms all reduce the division problem into some fixed range. For instance, in the case of 3, we are able to reduce the divisibility of an arbitrary integer by 3 into the divisibility of a single digit number by 3. In the 13 case described in the article, we reduce the problem to a 3 digit number. The base case can then just be a lookup table.

As for how to generate the base table, recall that we say a divides n provided there exists some b such that ab = n. In this case we're talking about integers, although this is the definition for any ring.

Therefore, proving 3 divides 9 is as simple as noting that 3 * 3 = 9, and likewise we can prove 3 divides 6 by noting that 3 * 2 is 6.

Proving a lack of divisibilty is a little bit trickier. For this, you'll want to first prove the division algorithm which, in the case of the integers, says that for any two integers a and n, there exists unique integers b and r with abs(r) < abs(a) such that ab + r = n.

Given this, we can then note that, for instance, 7 = 3 * 2 + 1. Therefore 7 cannot be divisible by 3 as that would imply there exists some other integer b such that 7 = 3 * b + 0 contradicting that the integers from the division algorithm are unique.

You might then wonder: well, how do we know 3 * 2 is 6? Well, to stop these questions from recursing endlessly, we need to define the integers.
One reasonable definition is "the initial element in the ring category" which gives us that the integers are a ring by definition.
As such, we have axiomatically that there are integers 0 and 1, a commutative operation + with identity 0 that is closed under inverses, an associative operation * with identity 1, and that * distributes over +.
If we then define 2 to be 1 + 1, 3 to be 1 + 1 + 1, and 6 to be 1 + 1 + 1 + 1 + 1 + 1, we can use distributivity to prove that 3 * 2 = 3 * (1 + 1) = (3 * 1) + (3 * 1) = 3 + 3 = 6.
I'd suggest having a look at Concurrent Ruby[1], it's one of ActiveSupport's dependencies so you get it for "free" in Rails.

1. https://github.com/ruby-concurrency/concurrent-ruby
Democracies must team up to take on China in the technosphere
Google detects, removes, spamicity (2012)
I’m tempted by a desktop but I worry about noise. Typically power components == big cooling reqs == big fans == big noise. There are specialized vendors who guarantee quiet but obviously they cost more.
That would help for sites, I'd like something for programs too. But I'll look into the extensions, thanks.
Resource List – DAO Creation and Design
Cyberpunk 2077 has a ‘streamer mode’ that disables copyrighted music
Previous discussion of original source: https://news.ycombinator.com/item?id=25163220
I dont understand your objection. This is a lightweight starting framework aimed at rapid prototyping, there is nothing stopping you from adding your own classes to refine or override as necessary.

I agree that semantic only would be a big limitation in production, but that's always been the chasm of web dev: taking your hacky "bash it together" code and massaging it into something durable, without wasting time over engineering everything from day 1.
Injunction Against Websites Illegally Selling Test Answers and Solution Manuals
Yes, as I pointed out, this is an artifact of how Duverger’s Law guarantees that first-past-the-post voting systems lead to two-party systems. BQ is one of the two parties in Quebec just as SNP is one of the two parties in Scotland.
Please, change Holmes in topic to Elizabeth Holmes
Blog Author Tipped $10k for Well Phrased Peer-to-Peer Cash Conviction
This is not really a new thing but maybe it's not well known.

Ruby's had aysnc IO support for at at least 10 years I think.

Rails itself has been using Concurrent Ruby since at least Rails 5 but I think it had its own concurrency patterns even before that. e.g. ActiveRecord database drivers.

Jesse Storimer's Working with Ruby Threads book from 2013 is still a really good resource for concurrency in ruby.
Try asking what rate you'd get if you were to move back. Tell the insurange agent you're 55, have two children and a bad knee.

The prices you remember are for twentysome-year-olds without children.
The DTK did reveal one interesting detail though. It didn't support virtualisation which would indicate that the M1 is their first generation part with virtualisation support, so there definitely have been some fairly large changes, even if it's not fair to call it a first generation part in it's entirety.
Apart from number of digits (obvious big difference here if it was 40.41 vs 40.42?) I think that the numbers hide the fact that it's more like "I'd bet 5 bucks it's somehow positive" than a definite result you can pin your hat on.

On the other hand, I think this study should be the poster child of "please don't use p-values" movement. Everything significant, but floats around zero.
In my experience Rakuten represents a more extreme example and isn't representative of "modern" Japanese UI/UX as a whole.

Companies started in the last 10 years are abandoning what we might deem as a cluttered aesthetic and moving towards something which wouldn't look out of place in the west. In fact my current company ended up going with the same UI when they launched in the US with minimal modifications.
Shouldn't it be a local maximum ?
Be interesting to hear comment from a statistician on:

>the method of significance testing and the reputations of the people who invented it are crumbling simultaneously.

>a letter signed by over 800 scientists called for an end to the concept of statistical significance.

Once ended, how should future presentations of investigatory activity in all field of human endeavour be presented and assessed? Or am I missing something?
2020 Linux Kernel History Report [pdf]
The ARM version crashes for me every time I change something in the settings UI, otherwise it seems to work okay.
Stream YouTube videos as ASCII art in the terminal
The current tittle of the original MathOverflow question is "What makes dependent type theory more suitable than set theory for proof assistants?", I don't know why is it different than here. The actual question makes more sense because the one on HN suggests that proof assistants exclusively formalize mathematics in dependent type theory (rather than set theory) which is not true. In fact, some proof assistants use dependent type theory (LEAN), some use simple type theory (Isabelle/HOL), some use simple type theory to encode untyped set theory (Isabelle/ZF), some implement kind of "soft typing" on top of untyped set theory (Mizar) and some are completely generic and can encode all of the above (Metamath).
As for the question why type theory seems to be more popular in formalization of mathematics recently than set theory Jeremy Avigad wrote a rare compelling explanation [1] of why this is the case. I personally prefer the opinion of Lawrence Paulson [2], the original author of Isabelle and its ZF logic (he also implemented a formalization of ZFC set theory in Isabelle/HOL recently).

[1] https://cs.nyu.edu/pipermail/fom/2016-January/019441.html

[2] https://cs.nyu.edu/pipermail/fom/2018-June/021032.html
Hardware Debugging for Reverse Engineers Part 2: JTAG, SSDs and Firmware Extrac
>Cost? No. But it certainly requires more talent.

Talented people usually cost a lot to optimize your code to be faster. And the more time they spend optimizing existing code, the less time they spend writing new code.
That is exactly my point. Gitlab uses docker runners because it is much simpler for them. But why should you be constrained by what's simpler for gitlab?
How Much Should/Do Influencers Charge?
To the contrary. You should never expect to be able to do what you want with a system provided by someone else. Gitlab has its design decisions in their default setup and you need to take control to cater your use case. This herd mentality of "everyone is doing it this way" is really fundamentally problematic.
Awesome comment! :)
I am not surprised. I've been using Linux for a while, and there a lot of things I miss. I keep an old Mac around to reminisce.

• menu bar: one, at the top of the screen. I think KDE had this, and there might have been a somewhat working extension for GTK that doesn't exist anymore.

• keys: CTRL is mapped to Alt; Alt is mapped to Win. This is a start. ⌘C and ⌘V: work as Copy and Paste in Terminal, ^C and all the other "control" keys work as expected in Terminal. I used to configure Terminal keys using AutoKey. I haven't been able to make ⌘← and ⌘→ work in text boxes - sadly it's hard-coded in X11 to do what Windows does.

• windows: Smarter window positioning and sizing especially with multiple monitors. I miss Zoom: the button that sizes the window to perfectly and minimally fit the content without scroll bars.

• too many additional items to count like ⌥8 to type bullet characters.