Tootfinder

@… Yes! I got interrupted during the elaboration.
https://mastodon.functional.computer/@samir/114671234006389616

Übernachtungsdienstleister Numa: CCC findet gesammelte Ausweisdaten
Ein Mitglied des Chaos Computer Clubs wollte eigentlich nur übernachten – und fand eine vollständige Kundendatensammlung.
ht…

dblp_coauthor_snap: DBLP authors (2012)
A coauthorship network extracted from the DBLP computer science manuscript database, in 2012. This network is a one-mode projection from the bipartite graph of computer scientists and their publications.
This network has 425957 nodes and 1049866 edges.
Tags: Social, Collaboration, Unweighted, Metadata, Projection

@… Don’t we all? 🙃

#ndwgoecountdown Die Sonne simulieren: Von der Oberfläche bis zur heißen Korona
Die Sonne ist ein wahrer Hexenkessel. Das dynamische Zusammenspiel aus Magnetfeldern und heißem Sonnenplasma simulieren Forschende am MPS am Computer – und können so das wahre Wesen unseres Sterns entschlüsseln. Am Computer können die Besucher*innen per Mausklick durch die heißen Feuerbögen der Son…

So I solved my mac-mini conundrum. It turned out that the problem originated from using 'wrong' computer monitor (a monitor attached to a docking station). When I hooked up the computer directly to the screen everything worked fine when holding the alt button. #linux #homeserver

@… Oh, I totally get this. We had the same problem at my last job. Until we get a new GHC with a server-client architecture, I’m not holding my breath on a fix. (I hope to replace Cabal one day, but I’m not going to go and make a Haskell compiler. MicroHs is cool though.)
Maybe I met your coworkers! I didn’t go to any workshops because I’m lazy, I ju…

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J. Weyuker
https://arxiv.org/abs/2506.08588

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
In his autobiographic essay written in 1999, ``From logic to computer science and back'', Martin David Davis (3/8/1928--1/1/2023) indicated that he viewed himself as a logician \emph{and} a computer scientist. He expanded the essay in 2016 and expressed a new perspective through a changed title, ``My life as a logician''. He points out that logic was the unifying theme underlying his scientific career. Our paper attempts to provide a consistent vision that illuminates Davis' successive contribu…

everyone knows it's bad when your computer is dereferencing small integers that aren't a multiple of 4
however right now i'm looking at a function that's dereferencing a floating point value that it just multiplied by a denormal

Canonical Partition Function on a Quantum Computer through Trotter Interpolation
Taozhi Guo, Gumaro Rendon, Rutuja Kshirsagar
https://arxiv.org/abs/2506.09318

Canonical Partition Function on a Quantum Computer through Trotter Interpolation
In this work, we present a Gibbs state observable estimation algorithm based on Trotter interpolation, which reaches a state-of-the-art quantum computational cost of $ \tilde{O}(β\log{1/ε})$. Our approach saves $\log(Γ)$ ancilla qubits compared with the qubitization-based methods for Hamiltonian with $Γ$ stages. To provide a robust assessment of our approach, we benchmark our results against state-of-the-art methodology using the SYK model as a testbed. Our method provides an efficient alte…

student_cooperation: Student cooperation (2012)
Network of cooperation among students in the "Computer and Network Security" course at Ben-Gurion University, in 2012. Nodes are students, and edges denote cooperation between students while doing their homework. The graph contains three types of links: Time, Computer, Partners.
This network has 185 nodes and 360 edges.
Tags: Social, Offline, Multigraph, Unweighted

At this time I would recommend against generating 11,000 files on the desktop of a macOS computer.

@… I must warn you that I don’t deliver. You have to show up.

Empirical and computer-aided robustness analysis of long-step and accelerated methods in smooth convex optimization
Pierre Vernimmen, Fran\c{c}ois Glineur
https://arxiv.org/abs/2506.09730

Empirical and computer-aided robustness analysis of long-step and accelerated methods in smooth convex optimization
This work assesses both empirically and theoretically, using the performance estimation methodology, how robust different first-order optimization methods are when subject to relative inexactness in their gradient computations. Relative inexactness occurs, for example, when compressing the gradient using fewer bits of information, which happens when dealing with large-scale problems on GPUs. Three major families of methods are analyzed: constant step gradient descent, long-step methods, and acc…

How to feel inadequate: TIL that Michael Holding — Whispering Death — preferred being a computer programmer to a professional cricketer, and worked as one well into his career. (This is from an article about the 1976 Oval match.) #Cricket

And, with all airborne balls in a relatively stable state, I'm calling it: beer o'clock.

The move to Windows 11 isn’t just about security updates.
It increases dependence on Microsoft through aggressive cloud integration,
forcing users to adopt Microsoft accounts and services.
It also leads to higher costs due to subscription and licensing models,
and reduces control over how your computer works and how your data is managed.
Furthermore, new hardware requirements will render millions of perfectly good PCs obsolete.
This is a turning point.

The end of Windows 10 is approaching, so it's time to consider Linux and LibreOffice - The Document Foundation Blog
The Document Foundation and LibreOffice support the international campaign @endof10 https://endof10.org/ The countdown has begun. On 14 October 2025, Microsoft will end support for Windows 10. This will leave millions of users and organisations with a difficult choice: should they upgrade to Windows 11, or completely rethink their work environment? The good news? You don’t […]

"Libki was born of the need to avoid interacting with teenagers and now allows librarians to avoid interacting with teenagers around the world!" 😄
Libki is a cross-platform Open Source computer reservation & time management system.
https://libki.org

Time to start making cold brew coffee. 😋

Und Menschen schauen mich mit großen Augen an, wenn ich ihnen sage, dass UUIDs ganz viel Security gratis mitbringen...
https://www.ccc.de/de/updates/2025/ausgecheckt-hotelkette-numa-veroffentlicht-ausweisdaten

Anyone with #ADHD or #ADD out there?
Does your work involve a computer with internet access?
How do you manage distractions?
How do you resist the impulse to go on hour long yak shaving tangents all the time?
I'm serious. It's gotten to a point where it threatens my employment.

IBM plans to build IBM Quantum Starling, a "fault-tolerant" quantum computer with 20,000x the power of today's quantum computers, in New York state by 2029 (Wall Street Journal)
https://www.wsj.com…

#generativeAI experiment : for the page of software package, I am trying to generate a woman computer vision scientist in a superman costume...
I tried different ways to force the generated images to depict a woman, but with no success : I only get the same male scientist!

Soon, I’ll be throwing away all my desktop computers as well, though I’m keeping my Lenovo Thinkpad around. I hate computers, yet I use them.
To me, computers are just junk nobody asked for. They’re glowing traps that keep us hooked, scrolling and clicking away our time for endless feeds. No matter the OS or hardware, it’s all distraction from reality.
Yes, Linux can free us and all that, and even the hardware can be part of that freedom. But the computers themselves remain a cir…

@… There are definitely massive downsides to using a niche language!
Last year I spent months having to deal with breaking changes in the Rust `http` package and all the knock-on effects though, so I’m not convinced it’s better elsewhere.
Haskell Language Server is in definite need of TLC, but there were some major QoL improvements made at Zuri…

All I want is a computer where the apps *keep up with me*. I’m not that fast, but don’t make me wait for context menus, app switches, text entry, etc.
There are so few that do that today. And it falls on app developers to keep their end of the bargain.

Deutschland hat die Marke von einer Million Balkonkraftwerken geknackt! 🌞
Zum Artikel: https://heise.de/-1043959?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon

I’m rewriting my logic language code in Haskell because I got frustrated with Rust’s verbosity and having to deal with garbage collection. I didn’t feel like it was adding enough, and I started to rethink my reasoning for using Rust (so it can be embedded anywhere). I don’t know if this language is going anywhere, maybe it’s fine if I have to rewrite it once it’s popular. It may never be.

Multivariate Long-term Time Series Forecasting with Fourier Neural Filter
Chenheng Xu, Dan Wu, Yixin Zhu, Ying Nian Wu
https://arxiv.org/abs/2506.09174 htt…

Multivariate Long-term Time Series Forecasting with Fourier Neural Filter
Multivariate long-term time series forecasting has been suffering from the challenge of capturing both temporal dependencies within variables and spatial correlations across variables simultaneously. Current approaches predominantly repurpose backbones from natural language processing or computer vision (e.g., Transformers), which fail to adequately address the unique properties of time series (e.g., periodicity). The research community lacks a dedicated backbone with temporal-specific inductiv…

Repeated ancilla reuse for logical computation on a neutral atom quantum computer
J. A. Muniz, D. Crow, H. Kim, J. M. Kindem, W. B. Cairncross, A. Ryou, T. C. Bohdanowicz, C. -A. Chen, Y. Ji, A. M. W. Jones, E. Megidish, C. Nishiguchi, M. Urbanek, L. Wadleigh, T. Wilkason, D. Aasen, K. Barnes, J. M. Bello-Rivas, I. Bloomfield, G. Booth, A. Brown, M. O. Brown, K. Cassella, G. Cowan, J. Epstein, M. Feldkamp, C. Griger, Y. Hassan, A. Heinz, E. Halperin, T. Hofler, F. Hummel, M. Jaffe, E. …

Repeated ancilla reuse for logical computation on a neutral atom quantum computer
Quantum processors based on neutral atoms trapped in arrays of optical tweezers have appealing properties, including relatively easy qubit number scaling and the ability to engineer arbitrary gate connectivity with atom movement. However, these platforms are inherently prone to atom loss, and the ability to replace lost atoms during a quantum computation is an important but previously elusive capability. Here, we demonstrate the ability to measure and re-initialize, and if necessary replace, a …

[2025-06-12 Thu (UTC), 12 new articles found for cs.HC Human-Computer Interaction]
toXiv_bot_toot

After a couple of years of writing Rust for fun, writing Haskell feels like cheating.

@… @… @… @…

@… On the contrary, I will encourage it!

Huh. 76% of you are wrong.

@… We absolutely need more penguin comments!

arxiv_collab: Scientific collaborations in physics (1995-2005)
Collaboration graphs for scientists, extracted from the Los Alamos e-Print arXiv (physics), for 1995-1999 for three categories, and additionally for 1995-2003 and 1995-2005 for one category. For copyright reasons, the MEDLINE (biomedical research) and NCSTRL (computer science) collaboration graphs from this paper are not publicly available.
This network has 16726 nodes and 47594 edges.
Tags: Social, Collaboratio…

[2025-06-12 Thu (UTC), 6 new articles found for cs.LO Logic in Computer Science]
toXiv_bot_toot

@… Indeed, I’m going to have to replace my duck.

[2025-06-13 Fri (UTC), 4 new articles found for cs.LO Logic in Computer Science]
toXiv_bot_toot

Closing objectivity loophole in Bell tests on a public quantum computer
Adam Bednorz, Josep Batle, Tomasz Bia{\l}ecki, Jaros{\l}aw K. Korbicz
https://arxiv.org/abs/2506.08940

Closing objectivity loophole in Bell tests on a public quantum computer
We have constructed and run a Bell test of local realism focusing on the objectivity criterion. The objectivity means that the outcomes are confirmed macroscopically by a few observers at each of party. The IBM Quantum devices turn out to be sufficiently accurate to pass such an extended Bell-type test, although at the price of communication loopholes and residual but statistically significant signaling. The test serves also as the benchmark of entanglement spread across larger sets of qubits.

@… @… As Rachel Davies is fond of saying, you can’t really scale agile methods, no matter how “safe” you declare it.

cora: CORA citations (1998)
Citations among papers indexed by CORA, from 1998, an early computer science research paper search engine. If a paper i cites a paper j also in this data set, then a directed edge connects i to j. (Papers not in the data set are excluded.) Self-loops may be present. The dates of these snapshots are uncertain.
This network has 23166 nodes and 91500 edges.
Tags: Informational, Citation, Unweighted

@… @… Only one way to find out.
So, about that bug bounty… I think you have a case.

@… @… I love this. ^_^
This is the same GitHub where any commit on any fork is accessible in the forked repository, right?
I wonder if you can brick someone else's repo by forking, without even opening a PR…

@… I love this and I'm going to abuse it.

@… Ah yes, Confucious, right?

@… Oh yes, tokenization is important!

student_cooperation: Student cooperation (2012)
Network of cooperation among students in the "Computer and Network Security" course at Ben-Gurion University, in 2012. Nodes are students, and edges denote cooperation between students while doing their homework. The graph contains three types of links: Time, Computer, Partners.
This network has 185 nodes and 360 edges.
Tags: Social, Offline, Multigraph, Unweighted

@… I kind of like it. 😄

@… I can respect it.

I used to think it was "#", but it's such a useful character, I am now convinced I was wrong, and "--" is way better.

The best line comment prefix is

@… I love this piece. Thanks for sharing it. I'd not heard of Ink & Switch, and I'm going to enjoy browsing their work. Their spreadsheet ideas are really fascinating.
People seem to be pushing LLMs as the saviour to this problem. I think Lisp and Prolog are probably better answers.

@… I like this. But what about `# Headings`?

@… I’m glad I’m not the only one. I worry the next version of iOS is going to make it completely unusable.

@… @… @… If it’s closed as “not a security vulnerability”, you can publish it freely, right?

@… Sure, I think we can happily abandon the rest of Fortran. 😜

@… @… I will hopefully read the whole thing soon!

@… @… I would like to add “if the steering wheel behaves differently every day, that’s not your fault either”.
Of course, Larry probably wrote this before that particular issue became such a big deal.

@… @… And when in doubt, blame Google/Microsoft/Amazon/Apple.

@… Even the UK, famously mild, had cold winters, and at least one heavy snowfall per year when I was a child.
Not any more.

@… If you don’t get one that way, check Boots. They often have them.

Last day of ZuriHac! I had to leave early yesterday but hopefully today, I’ll stick around for the whole thing.

@… All my toots are supertoots. 😎

(Is it a subtoot if it’s referencing literally everyone?)

Your feelings are valid.
Just because your feelings are valid, it doesn’t mean your thinkings are valid.
I would very much like people to learn the difference.

@… I remember my old boss, who’s a white Brazilian, telling me:
“I didn’t know I wasn’t white until I moved to the UK.”
With an accent like that, you can’t really be “white” in the UK. I imagine a lot of US Americans think the same way.

@… This is so cool. 😊
We live close to Lake Zürich and often, when it’s raining, the mallards will come to visit us, because they know we’ll throw bird food over the balcony.
At this time of year, because they’re nesting, a male will fly up, stake out the area, and wait for their mate. When their mate comes too, the male will start hollering until we no…

I'm trying out the Dusa programming language (https://dusa.rocks/), so I made a baby 4x4 Sudoku.
It was fun. ^_^
I'd love some array/list functionality; I wouldn't want to tackle a regular 9x9 Sudoku through copy-pasta. But I appreciate how easy this was with the `forbid` directive.

@… @… I think you are spot on with regards to AI. I cannot see how LLMs will get us anywhere close to what you’re describing, and I am sad that all the funding for AI/ML is now being steered in this direction.

@… Did you know that Haskell’s `do` notation started out as a generalisation of list comprehensions?
Now list comprehensions are a specialisation of `do` notation, and most people don’t bother with them.

@… @…

@… Enjoy that one more beer. 🍻

@… Alcohol is overrated. Causes hangovers. You know what fixes them?

@… I have asked my partner to make her own coffee, and I’m gonna take your advice. 🙌🏾

My gut has been uncomfortable since this morning (and for some reason, I woke up at 06:00). This is *not* a good time to drink a coffee.
Someone please stop me from making a coffee.

@… Espresso, confidence, same thing, right?
Now I just need to figure out how to get it delivered to you.

@… Would you like to borrow some?

@… So I just looked up “fibration” and now I think I need to lie down in the dark for a while.

@… This is very cool!
I did something similar for PostgreSQL last month.
https://codeberg.org/ooble/tremuloides

@… Works much better if you openshit, I tried to closedshit once and it ended very badly.

@… I need you to hold my drink so I can belly-laugh, please.

@… @… Not what I had in mind, but that'd work!

@… You helped me answer a question about “why a relational language for build systems?” that a friend asked me 7 months ago, so thanks!

@… Yes plz

@… Agreed, I like this way of thinking about it.

@… Yes, compose with existing tech!
GNU Parallel and Make do good job control.

@… I think you’re thinking of “Calpol”.

One more day to ZuriHac. ^_^

@… I approve this message.

@… Fuck yeah.
This reminds me of “C is not a low-level language”: https://queue.acm.org/detail.cfm?id=3212479
We could have intere…

@… There are also derpy cats!

@… You don't know that, maybe they're a dick.

@… I know but a poll amuses me more.

The dual of inviting someone for dinner is

@… @… Right! My goal with mentoring a human is to get them to the point where they don’t need me any more.
Not so with a word generator.

@… But unfortunately, 2 double espressos = weird stomach problems for me. 😕
(He says, having had 3 coffees today.)

@… Now we’re getting somewhere!

@… I shall do!