Tootfinder

@… Yes, exactly! And I think that is closer to what Alexander meant about patterns, TBH.
But honestly, I don’t think he did a stellar job explaining patterns, and his other work is way better.
IIRC A City Is Not A Tree covers changes in the system over time (and how observing the system changes the system), even though its main point is that you …

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

#ndwgoecountdown Führungen durch das Max-Planck-Institut für Sonnensystemforschung
Ein Rundgang zu Laboren und Reinräumen des MPS Göttingen bietet Einblicke in Forschungsthemen, Arbeitsweise und aktuelle Weltraumprojekte des Instituts. Die Führungen dauern 60 Minuten und starten im 20-Minuten-Takt.
Teils enge Räumlichkeiten, Teilnehmerzahl beschränkt, Teilnahme nur nach…

This is Izzy's preferred way of telling me it's time to get off the computer and give her a tummy rub! #DogsofMastodon #RescueDogs #Mondog

Meet the Update Computer Club at #Uppsala Tech Conference today! We brought a #C64 and some #retrogames for you to play!

This is how we celebrate the 4th of July here in Aotearoa... With an Ōtautahi-brewed America Pale Ale, and gratitude that we took the precaution of drifting to the other end of the earth over the last few hundred million years.

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

@… @… I disagree, it's the best Turing-complete type system out there!

In 2005, Amazon launched Amazon Mechanical Turk, an online service using remote human labor hidden behind a computer interface to help employers perform tasks impossible for a true machine.

Should we teach vibe coding? Here's why not.
Should AI coding be taught in undergrad CS education?
1/2
I teach undergraduate computer science labs, including for intro and more-advanced core courses. I don't publish (non-negligible) scholarly work in the area, but I've got years of craft expertise in course design, and I do follow the academic literature to some degree. In other words, In not the world's leading expert, but I have spent a lot of time thinking about course design, and consider myself competent at it, with plenty of direct experience in what knowledge & skills I can expect from students as they move through the curriculum.
I'm also strongly against most uses of what's called "AI" these days (specifically, generative deep neutral networks as supplied by our current cadre of techbro). There are a surprising number of completely orthogonal reasons to oppose the use of these systems, and a very limited number of reasonable exceptions (overcoming accessibility barriers is an example). On the grounds of environmental and digital-commons-pollution costs alone, using specifically the largest/newest models is unethical in most cases.
But as any good teacher should, I constantly question these evaluations, because I worry about the impact on my students should I eschew teaching relevant tech for bad reasons (and even for his reasons). I also want to make my reasoning clear to students, who should absolutely question me on this. That inspired me to ask a simple question: ignoring for one moment the ethical objections (which we shouldn't, of course; they're very stark), at what level in the CS major could I expect to teach a course about programming with AI assistance, and expect students to succeed at a more technically demanding final project than a course at the same level where students were banned from using AI? In other words, at what level would I expect students to actually benefit from AI coding "assistance?"
To be clear, I'm assuming that students aren't using AI in other aspects of coursework: the topic of using AI to "help you study" is a separate one (TL;DR it's gross value is not negative, but it's mostly not worth the harm to your metacognitive abilities, which AI-induced changes to the digital commons are making more important than ever).
So what's my answer to this question?
If I'm being incredibly optimistic, senior year. Slightly less optimistic, second year of a masters program. Realistic? Maybe never.
The interesting bit for you-the-reader is: why is this my answer? (Especially given that students would probably self-report significant gains at lower levels.) To start with, [this paper where experienced developers thought that AI assistance sped up their work on real tasks when in fact it slowed it down] (https://arxiv.org/abs/2507.09089) is informative. There are a lot of differences in task between experienced devs solving real bugs and students working on a class project, but it's important to understand that we shouldn't have a baseline expectation that AI coding "assistants" will speed things up in the best of circumstances, and we shouldn't trust self-reports of productivity (or the AI hype machine in general).
Now we might imagine that coding assistants will be better at helping with a student project than at helping with fixing bugs in open-source software, since it's a much easier task. For many programming assignments that have a fixed answer, we know that many AI assistants can just spit out a solution based on prompting them with the problem description (there's another elephant in the room here to do with learning outcomes regardless of project success, but we'll ignore this over too, my focus here is on project complexity reach, not learning outcomes). My question is about more open-ended projects, not assignments with an expected answer. Here's a second study (by one of my colleagues) about novices using AI assistance for programming tasks. It showcases how difficult it is to use AI tools well, and some of these stumbling blocks that novices in particular face.
But what about intermediate students? Might there be some level where the AI is helpful because the task is still relatively simple and the students are good enough to handle it? The problem with this is that as task complexity increases, so does the likelihood of the AI generating (or copying) code that uses more complex constructs which a student doesn't understand. Let's say I have second year students writing interactive websites with JavaScript. Without a lot of care that those students don't know how to deploy, the AI is likely to suggest code that depends on several different frameworks, from React to JQuery, without actually setting up or including those frameworks, and of course three students would be way out of their depth trying to do that. This is a general problem: each programming class carefully limits the specific code frameworks and constructs it expects students to know based on the material it covers. There is no feasible way to limit an AI assistant to a fixed set of constructs or frameworks, using current designs. There are alternate designs where this would be possible (like AI search through adaptation from a controlled library of snippets) but those would be entirely different tools.
So what happens on a sizeable class project where the AI has dropped in buggy code, especially if it uses code constructs the students don't understand? Best case, they understand that they don't understand and re-prompt, or ask for help from an instructor or TA quickly who helps them get rid of the stuff they don't understand and re-prompt or manually add stuff they do. Average case: they waste several hours and/or sweep the bugs partly under the rug, resulting in a project with significant defects. Students in their second and even third years of a CS major still have a lot to learn about debugging, and usually have significant gaps in their knowledge of even their most comfortable programming language. I do think regardless of AI we as teachers need to get better at teaching debugging skills, but the knowledge gaps are inevitable because there's just too much to know. In Python, for example, the LLM is going to spit out yields, async functions, try/finally, maybe even something like a while/else, or with recent training data, the walrus operator. I can't expect even a fraction of 3rd year students who have worked with Python since their first year to know about all these things, and based on how students approach projects where they have studied all the relevant constructs but have forgotten some, I'm not optimistic seeing these things will magically become learning opportunities. Student projects are better off working with a limited subset of full programming languages that the students have actually learned, and using AI coding assistants as currently designed makes this impossible. Beyond that, even when the "assistant" just introduces bugs using syntax the students understand, even through their 4th year many students struggle to understand the operation of moderately complex code they've written themselves, let alone written by someone else. Having access to an AI that will confidently offer incorrect explanations for bugs will make this worse.
To be sure a small minority of students will be able to overcome these problems, but that minority is the group that has a good grasp of the fundamentals and has broadened their knowledge through self-study, which earlier AI-reliant classes would make less likely to happen. In any case, I care about the average student, since we already have plenty of stuff about our institutions that makes life easier for a favored few while being worse for the average student (note that our construction of that favored few as the "good" students is a large part of this problem).
To summarize: because AI assistants introduce excess code complexity and difficult-to-debug bugs, they'll slow down rather than speed up project progress for the average student on moderately complex projects. On a fixed deadline, they'll result in worse projects, or necessitate less ambitious project scoping to ensure adequate completion, and I expect this remains broadly true through 4-6 years of study in most programs (don't take this as an endorsement of AI "assistants" for masters students; we've ignored a lot of other problems along the way).
There's a related problem: solving open-ended project assignments well ultimately depends on deeply understanding the problem, and AI "assistants" allow students to put a lot of code in their file without spending much time thinking about the problem or building an understanding of it. This is awful for learning outcomes, but also bad for project success. Getting students to see the value of thinking deeply about a problem is a thorny pedagogical puzzle at the best of times, and allowing the use of AI "assistants" makes the problem much much worse. This is another area I hope to see (or even drive) pedagogical improvement in, for what it's worth.
1/2

Large Processor Chip Model
Kaiyan Chang, Mingzhi Chen, Yunji Chen, Zhirong Chen, Dongrui Fan, Junfeng Gong, Nan Guo, Yinhe Han, Qinfen Hao, Shuo Hou, Xuan Huang, Pengwei Jin, Changxin Ke, Cangyuan Li, Guangli Li, Huawei Li, Kuan Li, Naipeng Li, Shengwen Liang, Cheng Liu, Hongwei Liu, Jiahua Liu, Junliang Lv, Jianan Mu, Jin Qin, Bin Sun, Chenxi Wang, Duo Wang, Mingjun Wang, Ying Wang, Chenggang Wu, Peiyang Wu, Teng Wu, Xiao Xiao, Mengyao Xie, Chenwei Xiong, Ruiyuan Xu, Mingyu Yan, Xiaoc…

Large Processor Chip Model
Computer System Architecture serves as a crucial bridge between software applications and the underlying hardware, encompassing components like compilers, CPUs, coprocessors, and RTL designs. Its development, from early mainframes to modern domain-specific architectures, has been driven by rising computational demands and advancements in semiconductor technology. However, traditional paradigms in computer system architecture design are confronting significant challenges, including a reliance on…

A Review of Various Datasets for Machine Learning Algorithm-Based Intrusion Detection System: Advances and Challenges
Sudhanshu Sekhar Tripathy, Bichitrananda Behera
https://arxiv.org/abs/2506.02438

A Review of Various Datasets for Machine Learning Algorithm-Based Intrusion Detection System: Advances and Challenges
IDS aims to protect computer networks from security threats by detecting, notifying, and taking appropriate action to prevent illegal access and protect confidential information. As the globe becomes increasingly dependent on technology and automated processes, ensuring secured systems, applications, and networks has become one of the most significant problems of this era. The global web and digital technology have significantly accelerated the evolution of the modern world, necessitating the u…

Access Control Threatened by Quantum Entanglement
Zhicheng Zhang, Mingsheng Ying
https://arxiv.org/abs/2507.02622 https://arxiv.org/p…

Access Control Threatened by Quantum Entanglement
Access control is a cornerstone of computer security that prevents unauthorised access to resources. In this paper, we study access control in quantum computer systems. We present the first explicit scenario of a security breach when a classically secure access control system is straightforwardly adapted to the quantum setting. The breach is ultimately due to that quantum mechanics allows the phenomenon of entanglement and violates Mermin inequality, a multi-party variant of the celebrated Bell…

Top NFL football knockout, survivor pool picks, advice, strategy for Week 1, 2025: Avoid the Cardinals

https://www.cbssports.com/nfl/news/top-nfl

faculty_hiring: Faculty hiring networks (Comp. Sci., Business, History)
Three networks of faculty hiring in Computer Science Departments, Business Schools, and History Departments. Each node is a PhD-granting institution in the respective field, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2013). All data collected from faculty public rosters at the sampled institutions.
Thi…

Now in Katoen kamer at @… Lennart Benschop on "Agon, a modern 8-bit computer"
#tdose

Sad to hear that Maggie Boden has passed away. Her work on creativity e.g. her book "The Creative Mind" framed much of my work when I was a research student, bridging philosophy, psychology and computer science.
https://staff.sussex.ac.uk/news/articl

Der Youtuber Shadowman39 hat etwas geschafft, was auf den ersten Blick unmöglich erscheint: einen vollständig funktionsfähigen 8-Bit-Computer aus K'nex-Bauteilen. 🧩💻
Zum Artikel: https://heise.de/-10495869?wt_mc=sm.red.ho.mas…

During work (no technical hanky panky)

Point3R: Streaming 3D Reconstruction with Explicit Spatial Pointer Memory
Yuqi Wu, Wenzhao Zheng, Jie Zhou, Jiwen Lu
https://arxiv.org/abs/2507.02863 https…

Point3R: Streaming 3D Reconstruction with Explicit Spatial Pointer Memory
Dense 3D scene reconstruction from an ordered sequence or unordered image collections is a critical step when bringing research in computer vision into practical scenarios. Following the paradigm introduced by DUSt3R, which unifies an image pair densely into a shared coordinate system, subsequent methods maintain an implicit memory to achieve dense 3D reconstruction from more images. However, such implicit memory is limited in capacity and may suffer from information loss of earlier frames. We …

Niemand sollte die @… Senior*innen unterschätzen. Zum Abschied gestern nach einer ziemlich breit gefächerten Diskussion über Verwaltungsdigitalisierung, Überwachung, IT-Sicherheit, Gesundheitsdigitalisierung und und und gab's nicht die üblichen Pralinen, sondern die Erstauflage des "Chaos Computer Buchs" von 1988. <3
Die Leute h…

Tensor Renormalization Group Meets Computer Assistance
Nikolay Ebel, Tom Kennedy, Slava Rychkov
https://arxiv.org/abs/2506.03247 https://

Tensor Renormalization Group Meets Computer Assistance
Tensor renormalization group, originally devised as a numerical technique, is emerging as a rigorous analytical framework for studying lattice models in statistical physics. Here we introduce a new renormalization map - the 2x1 map - which coarse-grains the lattice anisotropically by a factor of two in one direction followed by a 90-degree rotation. We develop a novel graphical language that translates the action of the 2x1 map into a system of inequalities on tensor components, with rigorous e…

faculty_hiring: Faculty hiring networks (Comp. Sci., Business, History)
Three networks of faculty hiring in Computer Science Departments, Business Schools, and History Departments. Each node is a PhD-granting institution in the respective field, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2013). All data collected from faculty public rosters at the sampled institutions.
Thi…

@… Funny that some people now think that it’s “all computer-generated.” The hyper-real, my ass ;-)

@… Funny that some people now think that it’s “all computer-generated.” The hyper-real, my ass ;-)

A graph neural network based on feature network for identifying influential nodes
Yanmei Hu, Siyuan Yin, Yihang Wu, Xue Yue, Yue Liu
https://arxiv.org/abs/2508.01278 https://

A graph neural network based on feature network for identifying influential nodes
Identifying influential nodes in complex networks is of great importance, and has many applications in practice. For example, finding influential nodes in e-commerce network can provide merchants with customers with strong purchase intent; identifying influential nodes in computer information system can help locating the components that cause the system break down and identifying influential nodes in these networks can accelerate the flow of information in networks. Thus, a lot of efforts have …

I’ve never seen this memory issue on #MacOS before. I had left Safari with Mela’s share sheet/importer app snippet open overnight and came back to a nearly unresponsive computer. I assume one of these has a memory leak. I was able to reboot via the shell using SSH from another device.

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

Ich habe ja die etwas unpopuläre Meinung, dass diejenigen Menschen, die sich Computer verkaufen lassen, auf denen ihnen mit Technikverhinderung und Gängelei die Entscheidung darüber verwehrt werden soll, welche Software sie darauf ausführen (die meisten so genannten »Smartphones« zum Beispiel), dass alle diese Menschen ein bisschen das Recht verwirkt haben, sich über staatliche Überwachungsschadsoftware zu beklagen. Sie bekommen genau das, was sie bezahlen: Wanzen.

The Classification of the Stable Marked Reduction of Genus 2 Curves in Residue Characteristic 2
Tim Gehrunger
https://arxiv.org/abs/2507.02426 https://

The Classification of the Stable Marked Reduction of Genus 2 Curves in Residue Characteristic 2
Consider a hyperelliptic curve of genus $2$ over a field $K$ of characteristic zero. After extending $K$ we can view it as a marked curve with its $6$ Weierstrass points. We classify the structure of the stable reduction of such curves for a valuation of residue characteristic~$2$ over a finite extension of~$K$. We implement this classification into a computer algebra system and compute it for all curves defined over $\BQ$ with conductor at most $2^{20}$.

I assume people who use #ai for programming would use a computer to solve a #sudoku puzzle then brag to others about being great at solving sudoku puzzles.

#RFK #Kennedy #Humor #Politics

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

Dhvani: A Weakly-supervised Phonemic Error Detection and Personalized Feedback System for Hindi
Arnav Rustagi, Satvik Bajpai, Nimrat Kaur, Siddharth Siddharth
https://arxiv.org/abs/2506.02166

Dhvani: A Weakly-supervised Phonemic Error Detection and Personalized Feedback System for Hindi
Computer-Assisted Pronunciation Training (CAPT) has been extensively studied for English. However, there remains a critical gap in its application to Indian languages with a base of 1.5 billion speakers. Pronunciation tools tailored to Indian languages are strikingly lacking despite the fact that millions learn them every year. With over 600 million speakers and being the fourth most-spoken language worldwide, improving Hindi pronunciation is a vital first step toward addressing this gap. This …

"It's this brutal fragility of vector stacks — which are used by most modern computer languages — which makes software people so wary of fully exploiting the beauty and power of recursion, and I really think that's a shame"
#Lisp

This https://arxiv.org/abs/2503.17270 has been replaced.
initial toot: https://mastoxiv.page/@arXi…

The Free-Energy Barrier of Precritical Nuclei in Hard Spheres is Consistent with Predictions
Predicting crystal nucleation is among the most significant long--standing challenges in condensed matter. In the system most studied (hard sphere colloids), the comparison between experiments performed using static light scattering and computer simulations is woeful, with a discrepancy of over 10 orders of magnitude. The situation with other well-studied materials (such as water and sodium chloride) is no better. It has thus far proven impossible to access the regime of this discrepancy with p…

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

SmartCourse: A Contextual AI-Powered Course Advising System for Undergraduates
Yixuan Mi, Yiduo Yu, Yiyi Zhao
https://arxiv.org/abs/2507.22946 https://arxi…

SmartCourse: A Contextual AI-Powered Course Advising System for Undergraduates
We present SmartCourse, an integrated course management and AI-driven advising system for undergraduate students (specifically tailored to the Computer Science (CPS) major). SmartCourse addresses the limitations of traditional advising tools by integrating transcript and plan information for student-specific context. The system combines a command-line interface (CLI) and a Gradio web GUI for instructors and students, manages user accounts, course enrollment, grading, and four-year degree plans,…

Während ich mir einen neuen Computer nach kurzer Recherche und an einem nachmittag kaufe, brauche ich für die Entscheidung zu einem neuen Multitool grad schon mehr als eine Woche .... #firstworldproblems

On en trouve encore ?
Small Computer System Interface — Wikipédia
https://fr.m.wikipedia.org/wiki/Small_Computer_System_Interface

Small Computer System Interface — Wikipédia

Towards a Periodic Table of Computer System Design Principles
Joy Arulraj
https://arxiv.org/abs/2507.22098 https://arxiv.org/pdf/2507.22098

Towards a Periodic Table of Computer System Design Principles
System design is often taught through domain-specific solutions specific to particular domains, such as databases, operating systems, or computer architecture, each with its own methods and vocabulary. While this diversity is a strength, it can obscure cross-cutting principles that recur across domains. This paper proposes a preliminary "periodic table" of system design principles distilled from several domains in computer systems. The goal is a shared, concise vocabulary that helps students, r…

Next try.
Restarted the computer, lowered some settings, and crossed my fingers 🤞
#OBS seems to be quite prone to hiccups, despite people online singing its praise.

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
Lalita Na Nongkhai, Jingyun Wang, Takahiko Mendori
https://arxiv.org/abs/2507.19728

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
This paper introduces an ontology-based approach within an adaptive learning support system for computer programming. This system (named ADVENTURE) is designed to deliver personalized programming exercises that are tailored to individual learners' skill levels. ADVENTURE utilizes an ontology, named CONTINUOUS, which encompasses common concepts across multiple programming languages. The system leverages this ontology not only to visualize programming concepts but also to provide hints during pra…

OK.. now this episode of "Tasting History" got me.
I've always been very interested in most historical periods. Ranging from the first organisms to 20th century.
One particular detail in history I always found fascinating was submarine warfare in WW1/WW2... including computer games.
In the early 2000s I was part of the "Pacific Thunder Campaigns" .. which was basically a bunch of "Silent Hunter I" gamers introducing multiplayer experience …

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

Found a way to make a scammer to hang up on me. She was calling from 'Microsoft' and wanted me to download a file so she could remove a virus from my computer.
So I told her that I had to go to my computer, and continued to ask her what she was wearing, if she touched her self while she was working and so on. Success! The 'dirty man' trick worked! She hung up on me 😂

25 Jahre "Diablo 2": Klick, Klick, Klick, Klick, Klick…
Die Jagd auf das allgegenwärtige Böse ist eines der zentralen Themen von Computer- und Videospielen. Wurde es jemals fesselnder als vor 25 Jahren in "Diablo 2"?

Scientists were preparing an experiment to ask the ultimate question.
They had worked for months gathering one each of every computer that was
built. Finally the big day was at hand. All the computers were linked
together. They asked the question, "Is there a God?". Lights started
blinking, flashing and blinking some more. Suddenly, there was a loud
crash, and a bolt of lightning came down from the sky, struck the
computers, and welded all the conn…

Ah, current plans for today: find some way to get Microsoft Flight Sim 2024 running on my computer. So far I've managed to select my starting airport/airfield and then the game hangs. It's progress, but I have a feeling this fight is going to go on for awhile considering the game hangs immediately afterwards.
#linux

Alan Sutcliffe remembered https://www.eventbrite.co.uk/e/eva-london-2025-alan-sutcliffe-remembered-computer-arts-social-evening-registration-1363127183099

Neben dem regelmäßig stattfindenden #LinuxCafé #Graz gibt's nun auch einen #Linux-Installing-Workshop von @…

After weeks of use, I have now discovered that the exotic WiFi module installed in my mini PC is not recognized by Debian and cannot be used, as I was connected to the Internet via cable the whole time.
I only noticed this yesterday when I wanted to send a file to my computer via Localsend, which requires a connection via the same WLAN network. My ThinkPad T490s is also running Debian, and the WLAN module doesn't cause any problems there, and since I've only ever sent files ba…

Ah yes, the curious device called the "Turboencabulator" developed General Electric in 1962. Attached is a datasheet describing this marvel of electrical engineering from decades past. There are many of these devices working in power plants around the world! :data_pipe: :troll:
#turboencabulator

Generation of Indoor Open Street Maps for Robot Navigation from CAD Files
Jiajie Zhang, Shenrui Wu, Xu Ma, S\"oren Schwertfeger
https://arxiv.org/abs/2507.00552

Generation of Indoor Open Street Maps for Robot Navigation from CAD Files
The deployment of autonomous mobile robots is predicated on the availability of environmental maps, yet conventional generation via SLAM (Simultaneous Localization and Mapping) suffers from significant limitations in time, labor, and robustness, particularly in dynamic, large-scale indoor environments where map obsolescence can lead to critical localization failures. To address these challenges, this paper presents a complete and automated system for converting architectural Computer-Aided Desi…

Generalized ODE reduction algorithm for bounded degree transformation
Shaoxuan Huang
https://arxiv.org/abs/2507.01878 https://arxiv.o…

Generalized ODE reduction algorithm for bounded degree transformation
The integrability problem of rational first-order ODEs $y^{\prime}=\frac{M(x,y)}{N(x,y)}$, where $M,N \in \mathbb{R}[x,y]$ is a long-term research focus in the area of dynamical systems, physics, etc. Although the computer algebra system such as Mathematica, Maple has developed standard algorithms to tackle its first integral expressed by Liouvillian or special function, this problem is quite difficult and the general method requires specifying a tight degree bound for the Darboux polynomial. C…

🏳️‍🌈 My flags are a total disaster, it looks gloriously bad in here, and honestly, I live for that chaotic energy.
🏳️‍⚧️ I’m so unapologetically gay and proudly gender-fluid, you wouldn’t even believe it.
#PrideFlag #Pride

How to tell a vibe coder of lying when they say they check their code.
People who will admit to using LLMs to write code will usually claim that they "carefully check" the output since we all know that LLM code has a lot of errors in it. This is insufficient to address several problems that LLMs cause, including labor issues, digital commons stress/pollution, license violation, and environmental issues, but at least it's they are checking their code carefully we shouldn't assume that it's any worse quality-wise than human-authored code, right?
Well, from principles alone we can expect it to be worse, since checking code the AI wrote is a much more boring task than writing code yourself, so anyone who has ever studied human-computer interaction even a little bit can predict people will quickly slack off, stating to trust the AI way too much, because it's less work. I'm a different domain, the journalist who published an entire "summer reading list" full of nonexistent titles is a great example of this. I'm sure he also intended to carefully check the AI output, but then got lazy. Clearly he did not have a good grasp of the likely failure modes of the tool he was using.
But for vibe coders, there's one easy tell we can look for, at least in some cases: coding in Python without type hints. To be clear, this doesn't apply to novice coders, who might not be aware that type hints are an option. But any serious Python software engineer, whether they used type hints before or not, would know that they're an option. And if you know they're an option, you also know they're an excellent tool for catching code defects, with a very low effort:reward ratio, especially if we assume an LLM generates them. Of the cases where adding types requires any thought at all, 95% of them offer chances to improve your code design and make it more robust. Knowing about but not using type hints in Python is a great sign that you don't care very much about code quality. That's totally fine in many cases: I've got a few demos or jam games in Python with no type hints, and it's okay that they're buggy. I was never going to debug them to a polished level anyways. But if we're talking about a vibe coder who claims that they're taking extra care to check for the (frequent) LLM-induced errors, that's not the situation.
Note that this shouldn't be read as an endorsement of vibe coding for demos or other rough-is-acceptable code: the other ethical issues I skipped past at the start still make it unethical to use in all but a few cases (for example, I have my students use it for a single assignment so they can see for themselves how it's not all it's cracked up to be, and even then they have an option to observe a pre-recorded prompt session instead).

Israeli cyber and computer science experts phished by Iran-linked APT42 https://therecord.media/israel-cyber-experts-computer-scientists-phished-iran

Replaced article(s) found for cs.HC. https://arxiv.org/list/cs.HC/new
[1/1]:
- An Efficient Intelligent Semi-Automated Warehouse Inventory Stocktaking System
Chunan Tong

@… reminds me of a minitel (french only, internet before the internet computer)

Leveraging a Multi-Agent LLM-Based System to Educate Teachers in Hate Incidents Management
Ewelina Gajewska, Michal Wawer, Katarzyna Budzynska, Jaros{\l}aw A. Chudziak
https://arxiv.org/abs/2506.23774

Leveraging a Multi-Agent LLM-Based System to Educate Teachers in Hate Incidents Management
Computer-aided teacher training is a state-of-the-art method designed to enhance teachers' professional skills effectively while minimising concerns related to costs, time constraints, and geographical limitations. We investigate the potential of large language models (LLMs) in teacher education, using a case of teaching hate incidents management in schools. To this end, we create a multi-agent LLM-based system that mimics realistic situations of hate, using a combination of retrieval-augmented…

Noch einige der zuletzt hier besonders häufig geteilten #News:
Datensparsamkeit Fehlanzeige: Datenleck bei Corplife, Lieferdiensten & Webshops

packet_delays: Internet packet delays (2002)
A network representing the difference in delay observed by packet probes sent from a computer at Rice University to similar machines at different universities, in c.2002. The edge weight denotes the difference in delay of the packet in milliseconds.
This network has 10 nodes and 9567 edges.
Tags: Technological, Communication, Weighted

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 31163 nodes and 120029 edges.
Tags: Social, Collaborati…

@… Yeah, they got some cool features in there, such as const array sizes… why not push the boat a little?
But I can see why they shy away from them; it’s not like we *know* how to do dependent types well yet, and Rust has already made a couple of big type system bets.
(I found myself wishing for “shared xor mutable” in Haskell the other day.)…

I have to use like four or five lamps to light up my whole sanctuary, just to capture the perfect photo, LMAO!
The glowing neon Debian swirls on my screens, the anarchist and pride flags that remind me who I am, my bike resting nearby, and all the little things that make this space truly mine.
And yep, if it’s not totally obvious by now, I’m #ActuallyAutistic, so, deal wi…

Phi-Ground Tech Report: Advancing Perception in GUI Grounding
Miaosen Zhang, Ziqiang Xu, Jialiang Zhu, Qi Dai, Kai Qiu, Yifan Yang, Chong Luo, Tianyi Chen, Justin Wagle, Tim Franklin, Baining Guo
https://arxiv.org/abs/2507.23779

Phi-Ground Tech Report: Advancing Perception in GUI Grounding
With the development of multimodal reasoning models, Computer Use Agents (CUAs), akin to Jarvis from \textit{"Iron Man"}, are becoming a reality. GUI grounding is a core component for CUAs to execute actual actions, similar to mechanical control in robotics, and it directly leads to the success or failure of the system. It determines actions such as clicking and typing, as well as related parameters like the coordinates for clicks. Current end-to-end grounding models still achieve less than 65\…

Youtuber baut mechanischen 8-Bit-Computer aus K’nex
Shadowman39 hat einen 8-Bit-Rechner mithilfe von K'nex-Konstruktionsspielzeug aufgebaut. Trotz ungenauer Mechanik löst die Maschine einfache Rechenaufgaben.
https:…

Choreographies as Macros
Alexander Bohosian (Department of Computer Science,Engineering University at Buffalo), Andrew K. Hirsch (Department of Computer Science,Engineering University at Buffalo)
https://arxiv.org/abs/2505.20845

Choreographies as Macros
Concurrent programming often entails meticulous pairing of sends and receives between participants to avoid deadlock. Choreographic programming alleviates this burden by specifying the system as a single program. However, there are more applications than implementations of choreographies, and developing new implementations takes a lot of time and effort. Our work uses Racket to expedite building a new choreographic language called Choret. Racket has a powerful macro system which allows Choret t…

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

Kind of amazing that you can dot a couple of messages like this around the internet https://post.lurk.org/@yaxu/114188134015638878
and then end up with ~40 lovely people hanging out with their computers in the middle of nowhere, what a great thing

faculty_hiring: Faculty hiring networks (Comp. Sci., Business, History)
Three networks of faculty hiring in Computer Science Departments, Business Schools, and History Departments. Each node is a PhD-granting institution in the respective field, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2013). All data collected from faculty public rosters at the sampled institutions.
Thi…

@… I shall rephrase.
It pisses me off that I have to choose between invasion of privacy in my browser, or invasion of privacy in my operating system.

40 Jahre Amiga: Die Musik-Maschine für den Schreibtisch
Erstmals konnte man am Computer eigene, echt klingende Songs erstellen – der Amiga machte es möglich. Zudem war er die Keimzelle der Tracker-Kultur.
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

The first thing I do when I install Windows 10 or 11 on someone's computer is that my autistic brain has simply memorized the command "irm https:// christitus.com/win | iex". Without me really thinking about it or even being aware in the moment, I just run it automatically. Suddenly, before I even realize it, their new windows install is already debloated and cleaned up.

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

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 31163 nodes and 120029 edges.
Tags: Social, Collaborati…

Meta macht das Handgelenk zur Computerschnittstelle
Meta will mit einem EMG-Armband die Mensch-Computer-Interaktion erweitern. In einer Forschungsarbeit gibt Meta interessante, neue Einblicke in die Technik.
http…

@… It definitely lessens with practice and familiarity (and an editor that gives you lots of hints), but I don’t think it goes away entirely.
I definitely prefer to have my static type system and wrestle with it sometimes, but not always.
And I appreciate that Haskell, for example, *will* allow me to ignore cases in pattern-matching with a warnin…

Honestly? I couldn’t care less! I’m living my loudest, proudest queer fantasy right now and absolutely loving it! 🏳️‍🌈💖✨
https://pixelfed.social/p/midtsveen/844676788557967111

webkb: WebKB graphs (1998)
Web graphs crawled from four Computer Science departments in 1998, with each page manually classified into one of 7 categories: course, department, faculty, project, staff, student, or other. All graphs included in a single .zip; also included are 'co-citation' graphs, which links i and j if they both point to some k. Edge weights count the number of links from i to j.
This network has 286 nodes and 1002 edges.
Tags: Informational, Web gra…

I think this is related to the issue that some people have with static typing: it’s a series of micro-interruptions that serve to distract from the goal.
While I never found this to be a problem in somewhat-typed languages such as Java, and I no longer have this problem most of the time in Haskell, I still experience it in Rust, where the borrow checker might require me to totally rethink my approach.
I can absolutely see why some people prefer not to have a type system.

webkb: WebKB graphs (1998)
Web graphs crawled from four Computer Science departments in 1998, with each page manually classified into one of 7 categories: course, department, faculty, project, staff, student, or other. All graphs included in a single .zip; also included are 'co-citation' graphs, which links i and j if they both point to some k. Edge weights count the number of links from i to j.
This network has 300 nodes and 1155 edges.
Tags: Informational, Web gra…

I had a little vacation this weekend, and I have a longer one booked around the end of July start of August when a friend visits for a week.
I will not make a build system until after that vacation.
But but but my friend Nick is working on one and I think it’s a strong contender for something very useful. I plan on trying it in earnest soon.

Österreichs Regierung beschließt Bundestrojaner für Messenger-Überwachung
Handys und Computer sollen mit Malware infiziert werden, damit Österreichs Dienste Informationen einsehen können. Die Regierungskoalition ist sich einig.

faculty_hiring: Faculty hiring networks (Comp. Sci., Business, History)
Three networks of faculty hiring in Computer Science Departments, Business Schools, and History Departments. Each node is a PhD-granting institution in the respective field, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2013). All data collected from faculty public rosters at the sampled institutions.
Thi…

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

packet_delays: Internet packet delays (2002)
A network representing the difference in delay observed by packet probes sent from a computer at Rice University to similar machines at different universities, in c.2002. The edge weight denotes the difference in delay of the packet in milliseconds.
This network has 10 nodes and 9567 edges.
Tags: Technological, Communication, Weighted

@… The purpose of the system is what it does.

faculty_hiring: Faculty hiring networks (Comp. Sci., Business, History)
Three networks of faculty hiring in Computer Science Departments, Business Schools, and History Departments. Each node is a PhD-granting institution in the respective field, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2013). All data collected from faculty public rosters at the sampled institutions.
Thi…

webkb: WebKB graphs (1998)
Web graphs crawled from four Computer Science departments in 1998, with each page manually classified into one of 7 categories: course, department, faculty, project, staff, student, or other. All graphs included in a single .zip; also included are 'co-citation' graphs, which links i and j if they both point to some k. Edge weights count the number of links from i to j.
This network has 300 nodes and 1155 edges.
Tags: Informational, Web gra…

faculty_hiring: Faculty hiring networks (Comp. Sci., Business, History)
Three networks of faculty hiring in Computer Science Departments, Business Schools, and History Departments. Each node is a PhD-granting institution in the respective field, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2013). All data collected from faculty public rosters at the sampled institutions.
Thi…

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

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 8361 nodes and 15751 edges.
Tags: Social, Collaboration…

packet_delays: Internet packet delays (2002)
A network representing the difference in delay observed by packet probes sent from a computer at Rice University to similar machines at different universities, in c.2002. The edge weight denotes the difference in delay of the packet in milliseconds.
This network has 10 nodes and 9567 edges.
Tags: Technological, Communication, Weighted

webkb: WebKB graphs (1998)
Web graphs crawled from four Computer Science departments in 1998, with each page manually classified into one of 7 categories: course, department, faculty, project, staff, student, or other. All graphs included in a single .zip; also included are 'co-citation' graphs, which links i and j if they both point to some k. Edge weights count the number of links from i to j.
This network has 346 nodes and 26832 edges.
Tags: Informational, Web gr…

cs_department: Aarhus Computer Science department relationships
Multiplex network consisting of 5 edge types corresponding to online and offline relationships (Facebook, leisure, work, co-authorship, lunch) between employees of the Computer Science department at Aarhus. Data hosted by Manlio De Domenico.
This network has 61 nodes and 620 edges.
Tags: Social, Relationships, Multilayer, Unweighted

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