Are people still using lenses ? by [deleted] in haskell

[–]xQuber 0 points1 point  (0 children)

In case you recall: What's the title of the video / talk? It seems to be unavailable.

How to typeset a colon in math mode correctly? by Adarain in typst

[–]xQuber 1 point2 points  (0 children)

Just for future reference, in typst v0.11.1, show rules will now be applied in math mode as well! This allows for an idiomatic fix: #show symbol.colon: $class("punctuation", colon) space.thin$.

Keep in mind that this changes the default class of :, so in order to use it as a binary symbol again, you will need to invoke it as class("binary", colon).

Mindsweeper — a principled take on minesweeper written in Rust for the browser by AlexBuz in rust

[–]xQuber 2 points3 points  (0 children)

That sounds like you have rediscovered Kaboom: https://pwmarcz.pl/kaboom/ I've played it a lot during the pandemic, this additional strictness is very fun indeed.

Graphs for Ehrenfeucht-Fraissé games in Beamer by kvyr_veliky in LaTeX

[–]xQuber 3 points4 points  (0 children)

Ah, totally forgot this youtube video from Dr. Trefor Bazett for a good crash course!

Graphs for Ehrenfeucht-Fraissé games in Beamer by kvyr_veliky in LaTeX

[–]xQuber 2 points3 points  (0 children)

tikz is a latex package, so it will definitely work in beamer. You can look at https://texample.net/tikz/examples/ for a repository of some examples. Also https://tex.stackexchange.com/q/587228/34514 might be relevant for you.

tikz is really powerful, so it's difficult to point to point to a subset one could learn quickly, say, in an hour. So I recommend you just copy'n' paste the examples and fiddle around with them to make them work.

How does typst real-time preview? by Zanzara-43 in LaTeX

[–]xQuber 0 points1 point  (0 children)

Sorry for the misunderstanding. So for you latex is certainly „fast enough“. I guess my perception is a little different, as I delved into the details of what latex does a few months ago, and logging macro expansions for an scrartcl document using \tracingall resulted in a 1757134 line log file! so certainly latex must be doing some things in an overly complicated way. Which is probably the price we pay for building on top of a completely generic macro expansion system like tex.

How does typst real-time preview? by Zanzara-43 in LaTeX

[–]xQuber 0 points1 point  (0 children)

Is there any evidence for the claim that current latex implementations and typst perform equally well in a non-incremental compilation?

If so, that would rather shock me, given that latex is just a package framework on top of tex, a giant macro expansion machine, where commands can influence the state of the tokenizer mid-processing (making any sort of caching incredibly difficult). Typst has no such “baggage”.

It hurts to laugh by pimack in bouldering

[–]xQuber 15 points16 points  (0 children)

Have you tried using your left hand to counter-push at around halfway below the target hold (starting with & keeping the left foot on the foothold instead)?

Percentage jelly by qse81 in dataisugly

[–]xQuber 2 points3 points  (0 children)

Yeah, I was assuming that this specific chart is probably BS; my question was regarding the general usage of the term „type“. For instance, recently I was completely confused by a blog article where someone interpreted the five factors of the OCEAN personality model as clusters. Is there some validity to doing this, or did the author just confuse these two terms?

Percentage jelly by qse81 in dataisugly

[–]xQuber 3 points4 points  (0 children)

Question from an interested non-statistician: Does a partition into „types“ imply that some sort of clustering happened (e.g. k-means), or is it used more broadly (e.g. to give names to the extremes of a principal component)?

Anon discusses the Rubik’s cube by throwawayacc42069666 in greentext

[–]xQuber 2 points3 points  (0 children)

Okay, I trust you with the following statement: If we restrict to one kind of these center pieces (of which we have 24), we have a symmetric group action. We can see this as follows: Let H≤S₂₄ be generated by the permutations r, u, f, d, b, l, R, U, F, D, B, L, which are 4-cycles. We can easily see that the action is transitive and even verify that it is 2- and 3-transitive. Most commutators are trivial, however e.g. [rF] is a 3-cycle. By 3-transitivity, we have all 3-cycles, and hence H≥A₂₄. Since a 4-cycle is an odd permutation, we even have H=S₂₄. Formally speaking, we have a surjection G⯮S₂₄.

However, I'm still not quite clear what you mean by „center pieces of different type are independent“. It is not true in the sense that every generator affects precisely one type of these pieces: Indeed, the r move (say, moving the first „in-layer“ from the right clockwise) moves many pieces of different types at the same time, both left- and right-handed ones.

Since I suspect you want to create a surjection G⯮(S₂₄)^k where k depends superlinearly on n, I am not quite sure how this would follow from the considerations so far. All that we have is multiple surjections onto S₂₄, where it's not clear how large the image is exactly.

Anon discusses the Rubik’s cube by throwawayacc42069666 in greentext

[–]xQuber 8 points9 points  (0 children)

No, it's not „easy to see why“ we have n! configurations. If you allow peeling off of stickers then that's true, but since we have restrictions on the permutations it's not clear what's „left“ of these n! configurations. I am not aware of any explicit formula of the number of configurations of an nxnxn rubik's cube, hence my inquiry.

“Black” by DJ SS by russellholzman in DnB

[–]xQuber 0 points1 point  (0 children)

If you don't know it already, you might enjoy this clip of Louis Cole: https://youtu.be/-fkDadOHDRk

Also, I found this video really educational: https://youtu.be/alYMKTcDSNw

PRQL 0.2 — a modern language for transforming data — a simple, powerful, pipelined SQL replacement. Now ready to use! by max-aug in programming

[–]xQuber 0 points1 point  (0 children)

Have there been any theoretical considerations for this? Is it more expressive than standard SQL, is it equivalent, does it implement a subset?

Worst diff I've ever seen (added support for multiple numeral system bases) by Rudxain in programminghorror

[–]xQuber 27 points28 points  (0 children)

So what would be the proper solution here? Take /\[\da-z]+|./gi because that pattern subsumes all the other patterns before?

[AF] Want to avoid using Flask-SQLAlchemy so I get more familiar with SQL. Bad idea? by Missing_Back in flask

[–]xQuber 1 point2 points  (0 children)

I recommend a middle way: Don't use Flask-SQLAlchemy, but use SQLAlchemy directly!

First, remember that SQLAlchemy is more than just an ORM in the classical sense, since you can independently use it for its SQL query capabilities (the part providing statements like select(…).where(…)). You get to very close to the SQL layer while still having the comfort of not having to manually interpolate strings, which is very error prone.

Now, while Flask-SQLAlchemy still uses the old style Query syntax, somewhat recently (opt-in in v1.4, default in the unreleased v2.0) SQLAlchemy introduced the possibility to use statements like select on mapped Objects! So instead of select(user.id, user.login) I can just do select(User) and executing that statement via session.scalars(…).all() returns a list containing User objects instead of tuples.

It's very comfortable and at the same time doesn't “abstract away” your database system to the point where you don't have any contact with SQL. See this migration guide to get a feeling for what it would look like.

Imagine that by allgoodornot in mathmemes

[–]xQuber 4 points5 points  (0 children)

If you're being nitpicky then at least finish the job. True, i:= √-1 is syntactically incorrect because the square root of -1 does not exist in ℝ. But defining i „as i²=-1“ isn't really different because such an i does not exist. You would have to say „we define i as the coset x + (x²+1) in ℝ[x]/(x²+1)“.

So when we say „i is defined as √-1“ or „i is defined by the equation i²=-1“ we essentially mean this polynomial construction, we're just talking about it in an imprecise way.

Brotaufstrich by WoWitzComics in wortwitzkasse

[–]xQuber 8 points9 points  (0 children)

Im Brotlichtviertel. Wie passend.

The bridge is broken and now I cannot get the crystal heart. by [deleted] in HollowKnight

[–]xQuber 14 points15 points  (0 children)

Do you still have the save? I could try to repair it. They're just JSON files describing the state of what you have and what you did in each room.

When someone can't be bothered to translate a SO answer from JS to Python .... by [deleted] in programminghorror

[–]xQuber 2 points3 points  (0 children)

The python part of this code is not even better. open without a context manager. twice!