Tootfinder

Opt-in global Mastodon full text search. Join the index!

@shriramk@mastodon.social
2025-10-24 00:54:03

Kathi asks ChatGPT "how to test a graph algo".
Repeats the query 6 months later…now it mentions PBT.
Huh! We ask it why it mentioned PBT. It cites back…
Our own papers and blog, and specifically mentions our own education research work on why graph algos are a great eg.
Moving the needle!

You said: I'm surprised you mentioned property-based testing. when I asked you a year ago this was not part of your answer. What changed? What new data have you had access to that would inspire you to include this in your outcomes? Have you come across any papers or the like on PBT for education? ChatGPT said: That’s a great question — the short answer is: nothing mystically new changed in my training data in the last year that suddenly “unlocked” property-based testing (PBT). Rather, the world…
@ruari@velocipederider.com
2025-11-20 14:44:16

It is cold in northern parts of the world. Studded tyres are awesome. If you do not have them, forgot to mount them or cannot afford to invest for your usage, I am here for you.
The number of times I have been caught out and unicycled on snow and ice is quite high. If I can do it, you can do it. Just take it easy! Oh and wear a helmet, even if you do not normally. That kind of a fall is exactly what they are for.

Cycling on regular/unstudded tyres Riding on ice with normal tyres is entirely possible in much the same way that walking on ice is, so long as you are careful. The key is to avoid sudden movements, such as changes in direction and speed. With that in mind, here is a quick summary of some tips. Cycle slower: This gives you more time to observe problems and means less harsh braking. Keep it consistent: Try and keep your speed as consistent as possible. When you do need to stop, slow down very…
Looking down at a unicycle from the rider's perspective. There is a very light dusting of snow on the ground.
@UP8@mastodon.social
2025-10-20 02:27:03

Army № 39 Anthony Paradiso jumps in front of Cornell Quarterback № 18 Stefano Luis moments after Luis passed the ball in Sprint Football under the lights this Friday
#photo #photography #football

In the center number 39 in a white shirt is flying throw the air away from us towards red 18 who is facing us and looking in our general direction where he fuel the ball (not visible) and mostly red player swarm around except forn one in white while two people look on from the stands on the opposite side
@aredridel@kolektiva.social
2025-10-19 14:59:58

Man I hate the new language for a task one doesn't want to do — "aversive”.
Primary reason is that it externalizes the problem. It's fixed mindset framing, that something _else_ has to change to make the situation better, that it's the task's fault for being aversive, instead of our own for not working on the aversion to the needed task.
We have a bad habit lately of attributing relational traits to the party in a relationship, rather than to the relationship itself and it weakens our thinking about things. Noticing this pattern really changes how you think, because you can start attributing things better and noticing the contexts — and contexts are often things that can be changed!

@awinkler@openbiblio.social
2025-11-07 11:20:48
Content warning:

#FAIR enough.
(referring to purlz.org/ ; it's known that it doesn't work any longer, it's just ironic it's still in the list on the FAIR page)

The image is a list of services that supply globally unique and persistent identifiers. The heading reads “Example services that supply globally unique and persistent identifiers”. Below this are bullet points listing these services and their corresponding URLs. The first bullet point states "Identifiers.org provides resolvable identifiers in the form of URLs and CURIEs: http://identifiers.org". The second bullet point states “Universally unique identifier: http://en.wikipedia.org/wiki/Univer…
An image depicting a 404 error page from Google. The page features the Google logo in blue at the top left corner. Below the logo is the text "404. That's an error." and underneath that, “The requested URL was not found on this server. That’s all we know.” To the right of the text is a cartoon-style drawing of a disassembled robot, with various parts scattered around it, including a head, arms, legs, and cylindrical components. The robot appears to be broken or taken apart, and the overall aest…
@blakes7bot@mas.torpidity.net
2025-12-08 19:14:47

Series D, Episode 04 - Stardrive
PLAXTON: I, I do not know these people.
ATLAN: DO not or WILL not?
[Underground hangar. Tarrant is still beaming the wall.]
[Research lab]
blake.torpidity.net/m/404/360 B7B5

Claude Sonnet 4.5 describes the image as: "This image shows a woman in profile with an elaborate 1970s-style hairstyle featuring rolled curls on top and a long ponytail at the back. She has dark reddish-brown hair and is wearing what appears to be a white and dark-colored uniform or costume with a structured collar. The styling and aesthetic suggest this is from a science fiction television production, likely from the 1970s era based on the hair and makeup choices typical of that period's futur…
@doktrock@toad.social
2025-11-05 22:22:45

Not sure if Denver Fowler is on Mastodon. He posted a thread on this recent paper about dinosaur reproduction over on bsky. #fossilfriday

Denver Fowler Ph.D @denverfowler.bsky.social CLUMSY MALE DINOSAURS INJURED FEMALES DURING MATING: Our new paper (Filippo Bertozzo et al. 2025), shows that a common tail injury seen in duckbilled dinosaurs was probably caused by heavy male dinosaurs clumsily crushing the spines of females during mating. DECIPHERING CAUSES AND BEHAVIORS: A RECURRENT PATTERN OF TAIL INJURIES IN HADROSAURID DINOSAURS Several diagrams illustrating the concept
@aredridel@kolektiva.social
2025-11-28 16:19:02
Content warning: open source whinging

Ugh why is this always the way. I evaluated like 25 authentication servers for a small scale web project — I do want to support things like OIDC and Passkeys, so this is not something I really want to make myself like the old days of “use crypt() on the passwords and just make a simple database”.
5 of them are just dev mode garbage that will never see the light of day as a thing people use.
2 of them are home network nonsense for people who want enterprise login for their family, but where One Nerd controls the whole user-list.
15 of them are freemium "open source" where they withhold features for their enterprise tier and make them so unfortunately difficult to deploy, all requiring postgresql databases and a complex containerization setup and helm charts and oh so much.
and then there's kanidm, which is great except its opinions make it completely unusable for a community project, it's really more trying to fit the ‘enterprise unix authentication' space. Kudos to them for communicating it but it's the wrong tool, even if it is really good.
And then there's rauthy. Which is exactly what I want, well built and delightful, uses a lightweight embedded database, and even has a peer-to-peer sync for scalability. But customizing it is going to be a lesson in building it from source repeatedly, and its configuration is just a bit strange, and its frontend is extremely Backend Developer Wrote A Web UI. I guess I got a second project. And maybe a third to make debian packages of it.
Yet it really is the best of the options _by far_.
NLNet supported projects continue to punch above their weight class.

@arXiv_csLG_bot@mastoxiv.page
2025-09-25 10:47:12

Time-adaptive H\'enonNets for separable Hamiltonian systems
Konrad Janik, Peter Benner
arxiv.org/abs/2509.20212 arxiv.org/pdf/2509.2021…

Time-adaptive HénonNets for separable Hamiltonian systems
Measurement data is often sampled irregularly, i.e., not on equidistant time grids. This is also true for Hamiltonian systems. However, existing machine learning methods, which learn symplectic integrators, such as SympNets [1] and HénonNets [2] still require training data generated by fixed step sizes. To learn time-adaptive symplectic integrators, an extension to SympNets called TSympNets is introduced in [3]. The aim of this work is to do a similar extension for HénonNets. We propose a nov…

@blakes7bot@mas.torpidity.net
2025-10-05 18:25:55

Series D, Episode 04 - Stardrive
PLAXTON: If they've any left.
ATLAN: Oh yes, they have, but not for long. How soon can this be fitted to our space choppers?
PLAXTON: Napier. [Napier exits.]
ATLAN: Well?
blake.torpidity.net/m/404/304 B7B5

Claude 3.7 describes the image as: "This image shows a person with an upswept hairstyle wearing what appears to be a distinctive costume with a white tunic featuring a navy blue and black V-shaped collar design. The outfit has navy blue sleeves contrasting with the white body of the garment. They appear to be in what looks like a futuristic or stylized set with white panels and dark green or black framing visible in the background. The aesthetic suggests this is from a science fiction televisio…
@blakes7bot@mas.torpidity.net
2025-11-01 10:11:55

Series D, Episode 04 - Stardrive
PLAXTON: I am a scientist, not a production engineer. And the other reason why this can't be fitted to your space choppers is quite simply it won't fit!
ATLAN: Why not?!
blake.torpidity.net/m/404/320 B7B2

@aredridel@kolektiva.social
2025-10-05 17:55:18

Another way this plays out is I’m usually quite willing to do something that might wreck tomorrow, and then have a 'fuck it' day. (I do however not tend to be able to wreck multiple future days, nor suffer that much when I wreck one. Just to the level of needing to cancel plans)