HTML version: https://arxiv.org/html/2511.13653v1
Readit Newsedvardas commented on Weight-sparse transformers have interpretable circuits [pdf] cdn.openai.com/pdf/41df8f... · Posted by u/0x79de
The Bach Cello Suites are deservedly famous, but if you are looking to branch out to other solo cello music I recommend listening to Zoltan Kodály's Sonata for Unaccompanied Cello. After the Bach Cello Suites it is probably the most important piece in the solo cello repertoire. One of the unusual features of the piece is that it calls for the bottom two strings to be tuned down half a step which gives the cello a darker timbre.
When tuning down those two strings, would the player need to "relearn" the positions of fingers on the strings when playing? Or would they play at the same positions and ignore the conflict in expected and actual sound?
edvardas commented on Fossify – A suite of open-source, ad-free apps github.com/FossifyOrg... · Posted by u/jalict
I was tired of constant popups in stock apps for features I don't want.
Fossify apps get the job down surprisingly well, no more no less.
I use their apps for messaging, gallery, file manager, paint, contacts
edvardas commented on Trying to teach in the age of the AI homework machine solarshades.club/p/dispat... · Posted by u/notarobot123
LLMs is is here to stay and will change learning for the better (we will be full-scale disrupted 3-5yr from now in EDU), it is a self-guided tutor like never before and 100% Amazing, except for when it hallucinates.
I use it [Copilot / GPT / Khanmingo] all the time to figure out new tools and prototype workflows, check code for errors, and learn new stuff including those classes at universities which cost way too much.
If universities feel threatened by AI cry me a river.
No professor or TA was *EVER* able to explain calculus and differential equations to me, but Khanmingo and ChatGPT can. So the educational establishment can deal with this.
In your situation where LLMs can cover most material better than the university, what benefits does the university still provide you, if any?
edvardas commented on Dependency injection frameworks add confusion rednafi.com/go/di_framewo... · Posted by u/ingve
Mark Seemann has written extensively about the subject.
He a tremendous source of knowledge in that regard.
https://blog.ploeh.dk/2017/01/27/from-dependency-injection-t...
His AutoFixture C# NuGet takes away so much pain from unit test maintenance. It does have a learning curve.
edvardas commented on eInk Mode: Making web pages easier to read jackscogito.blogspot.com/... · Posted by u/amadeuspagel
While looking for a typeface for my terminal, I happened upon the Braille Institute's website (https://www.brailleinstitute.org/) which exemplifies more or less what you're describing. It is an aesthetically-pleasing site, with low visual and cognitive loads.
Granted, that is an example of a site and not a browser, but I would love it if a browser could magically transform websites to look like the Braille Institute's, where visual and cognitive accessibility are first-class citizens in the UX.
Do you happen to know how the Braille website's style is called? The high contrast, button shadows with big offsets. I've seen it in several places now and would like to use it myself
Succinct and rigorous. This article has a clear problem statement, explicitly calls out assumptions and expected properties, shows how to express them in TLA+/PlusCal, and even adds a sanity check by refining the mutex model. I wish I had seen this article when writing my BA thesis.
This may be a naïve reading of this, but I’m pretty sure this is a glowing recommendation for choosing the BEAM VM and the languages which run on it.
Can you elaborate on how you made the connection between the article and BEAM languages? I suppose you experienced a lot less friction when working with Erlang or similar, care to share your experience?
edvardas commented on Book Review: "Tidy First?" By Kent Beck pathsensitive.com/2024/04... · Posted by u/todsacerdoti
> He gives some examples of ways that programmers, even after being taught in intro classes not to use magic numbers, still litter their code with constants like 404. But I wish he’d tell Python programmers to stop designing APIs where you write string constants like “r--” and “bs” to denote that your scatterplot should use red dashes and blue squares.
Intriguing. I assume the author would prefer a stronger-typed alternative like explicit parameters and enums. Yet I wonder if having a small DSL-like syntax is actually the better for a scripting language. Most of these plots will be hacked together in a local notebook anyway.
What would be a better alternative to this terse DSL in such case?