Tootfinder

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

@fanf@mendeddrum.org
2026-01-19 18:42:03

from my link log —
Are arrays functions?
futhark-lang.org/blog/2026-01-
saved 2026-01-19

@sperbsen@discuss.systems
2026-01-20 13:11:15

Ich freue mich, mal wieder beim Software Architecture Summit in München dabei zu sein - ich mache einen Workshop zu "Data-Oriented Programming”, mithin zu High-Level-Domänenmodellierung.
software-architecture-summit.d

@datascience@genomic.social
2025-11-20 11:00:01

A curated list of awesome tools to assist 📦 development in R programming language. #rstats #📦

@arXiv_mathOC_bot@mastoxiv.page
2025-11-14 13:23:10

Replaced article(s) found for math.OC. arxiv.org/list/math.OC/new
[1/1]:
- A robust BFGS algorithm for unconstrained nonlinear optimization problems
Yaguang Yang
arxiv.org/abs/1212.5929
- Quantum computing and the stable set problem
Alja\v{z} Krpan, Janez Povh, Dunja Pucher
arxiv.org/abs/2405.12845 mastoxiv.page/@arXiv_mathOC_bo
- Mean Field Game with Reflected Jump Diffusion Dynamics: A Linear Programming Approach
Zongxia Liang, Xiang Yu, Keyu Zhang
arxiv.org/abs/2508.20388 mastoxiv.page/@arXiv_mathOC_bo
- Differential Dynamic Programming for the Optimal Control Problem with an Ellipsoidal Target Set a...
Sungjun Eom, Gyunghoon Park
arxiv.org/abs/2509.07546 mastoxiv.page/@arXiv_mathOC_bo
- On the Moreau envelope properties of weakly convex functions
Marien Renaud, Arthur Leclaire, Nicolas Papadakis
arxiv.org/abs/2509.13960 mastoxiv.page/@arXiv_mathOC_bo
- Automated algorithm design via Nevanlinna-Pick interpolation
Ibrahim K. Ozaslan, Tryphon T. Georgiou, Mihailo R. Jovanovic
arxiv.org/abs/2509.21416 mastoxiv.page/@arXiv_mathOC_bo
- Optimal Control of a Bioeconomic Crop-Energy System with Energy Reinvestment
Othman Cherkaoui Dekkaki
arxiv.org/abs/2510.11381 mastoxiv.page/@arXiv_mathOC_bo
- Point Convergence Analysis of the Accelerated Gradient Method for Multiobjective Optimization: Co...
Yingdong Yin
arxiv.org/abs/2510.26382 mastoxiv.page/@arXiv_mathOC_bo
- History-Aware Adaptive High-Order Tensor Regularization
Chang He, Bo Jiang, Yuntian Jiang, Chuwen Zhang, Shuzhong Zhang
arxiv.org/abs/2511.05788
- Equivalence of entropy solutions and gradient flows for pressureless 1D Euler systems
Jos\'e Antonio Carrillo, Sondre Tesdal Galtung
arxiv.org/abs/2312.04932 mastoxiv.page/@arXiv_mathAP_bo
- Kernel Modelling of Fading Memory Systems
Yongkang Huo, Thomas Chaffey, Rodolphe Sepulchre
arxiv.org/abs/2403.11945 mastoxiv.page/@arXiv_eessSY_bo
- The Maximum Theoretical Ground Speed of the Wheeled Vehicle
Altay Zhakatayev, Mukatai Nemerebayev
arxiv.org/abs/2502.15341 mastoxiv.page/@arXiv_physicscl
- Hessian stability and convergence rates for entropic and Sinkhorn potentials via semiconcavity
Giacomo Greco, Luca Tamanini
arxiv.org/abs/2504.11133 mastoxiv.page/@arXiv_mathPR_bo
- Optimizing the ground state energy of the three-dimensional magnetic Dirichlet Laplacian with con...
Matthias Baur
arxiv.org/abs/2504.21597 mastoxiv.page/@arXiv_mathph_bo
- A localized consensus-based sampling algorithm
Arne Bouillon, Alexander Bodard, Panagiotis Patrinos, Dirk Nuyens, Giovanni Samaey
arxiv.org/abs/2505.24861 mastoxiv.page/@arXiv_mathNA_bo
- A Novel Sliced Fused Gromov-Wasserstein Distance
Moritz Piening, Robert Beinert
arxiv.org/abs/2508.02364 mastoxiv.page/@arXiv_csLG_bot/
- Minimal Regret Walras Equilibria for Combinatorial Markets via Duality, Integrality, and Sensitiv...
Alo\"is Duguet, Tobias Harks, Martin Schmidt, Julian Schwarz
arxiv.org/abs/2511.09021 mastoxiv.page/@arXiv_csGT_bot/
toXiv_bot_toot

@cdamian@rls.social
2025-11-21 12:40:28

Friday Links 25-27
This week, I enjoyed the blog about chat programming, and coding at work, which is probably related.
christof.damian.net/2025/11/fr

@timbray@cosocial.ca
2025-11-17 18:29:21

In which Nick Radcliffe goes very deep for a month with Claude Code and reports back. I’m convinced by some but not all of what he says, and found the whole thing a stimulating read: checkeagle.com/checklists/njr/

@frankel@mastodon.top
2026-01-17 17:19:46

Which programming languages are most token-efficient?
martinalderson.com/posts/which

@blakes7bot@mas.torpidity.net
2026-01-20 22:36:41

Series A, Episode 03 - Cygnus Alpha
BLAKE: And we can't hold out much longer. That's certain.
VILA: And they'll be getting reinforcements.
blake.torpidity.net/m/103/547 B7B6

Claude Haiku 4.5 describes the image as: "# Scene Description

This image appears to be from a science fiction television production, showing three men in what looks like an underground or industrial setting with dark, weathered walls in the background. The lighting is dim and atmospheric, creating a tense mood typical of dramatic sci-fi programming.

The three actors are positioned closely together, engaged in what appears to be an intense conversation or confrontation. Their costumes consist …
@cketti@int21.dev
2025-11-20 17:42:29

I very much enjoyed the first third of the book "Crafting Interpreters". It's about building a tree-walk interpreter for Lox, a programming language specifically created for this book. The interpreter in the book is implemented in Java. I, of course, used Kotlin for my implementation.
craftinginterpreters.com/

@lil5@social.linux.pizza
2025-11-21 13:21:43

hemaks.org/posts/why-your-obse
Consider these questions when evaluating your linting setup:
- Does this rule prevent actual bugs? If not, consider removing it.
- Would a new team member understand …

@nobodyinperson@fosstodon.org
2025-11-21 12:28:14

My very first programming projects when I started self-teaching around 15 years ago were about accounting. I was unhappy with keeping track of expenses in a physical notebook, and the spreadsheet I made was also very limited. And existing #FOSS solutions like #GnuCash felt too weird for my use case and its…

simbuto example screenshot. some CSV on the left specifying recurring monetary transactions with time and amount uncertsinties, and a plot with a monte-carlo simulation of those on the right.
@cyrevolt@mastodon.social
2025-11-19 14:55:35

Rython?
phoronix.com/news/Proposal-Rus

@toxi@mastodon.thi.ng
2025-11-20 09:44:59

Wow, just noticed #ThingUmbrella reached 3700 stars on GitHub — I'm celebrating... 🤩🫠
Heartfelt thanks to all of you who've been helping along the way (in any shape & form) and been supporting this work for all these years and across different programming languages/camps! Merci beaucoup!!! Esp. big Thank You's to fellow fediverse people/supporters from various stages…

(2 statistics profs, arguing.)
Don't try to tell ME that homo and hetero are the only kinds of skedasticity out here!
RRRRRR. I got your skedastic package RIGHT HERE!
#Maths #Statistics #Programming

@primonatura@mstdn.social
2026-01-19 15:00:44

"Climate change is melting glaciers and ice sheets faster than they can regrow"
#Climate #ClimateChange #Glaciers

@qurlyjoe@mstdn.social
2025-11-17 16:51:18

#Programming #coding #codeReview

Single panel comic.
The only valid measurement of code quality: WTFs/minute.
Image is two closed doors, both have a sign that says “Code Review”. Left door has two WTFs coming out of it, right door has several WTFs. Under left door it says, Good Code, under right door it says Bad Code.
@boris@cosocial.ca
2026-01-17 17:30:39

@chadfowler.com's second post in his new Phoenix Architecture blog, called The Death and Rebirth of Programming.
Lots of quotable quotes, so hard to choose. "Soft skills" more important than ever, and this is all be a shock to people who self-identify as programmers.
aicoding…

@netzschleuder@social.skewed.de
2025-11-19 07:00:21

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
networks.skewed.de/net/google_

google_web: Old Google web graph (2002). 916428 nodes, 5105039 edges. https://networks.skewed.de/net/google_web
@soundclamp@mastodon.xyz
2025-12-17 21:50:51

@… 👀
mastodon.social/@kottke/115735

@datascience@genomic.social
2025-12-19 11:00:01

If you just need a pretty figure from a dataset and not the full power of R, have a look at #gui

@johl@mastodon.xyz
2026-01-18 15:12:16

This is so niche and yet so relevant to my interests: "Kip is an experimental programming language that combines Turkish grammar rules with a type system. Case endings, vowel harmony, and other Turkish morphological features are an integral part of Kip's type-checking process."
github.com/kip-dili/kip/…

@elduvelle@neuromatch.social
2025-11-19 14:21:15

Any #Python newbies out there? (Or experts that need to teach Python)
Would you have a specific online tutorial to recommend for someone who wants to learn Python without any prior programming experience? One that also explains how to install it ?
I was thinking of something like this:

@fanf@mendeddrum.org
2025-12-16 15:42:01

from my link log —
The Worst programming language.
worst.mitten.party/
saved 2020-03-02 dotat.at/:/8G9PB.html

@Mediagazer@mstdn.social
2026-01-14 09:36:02

Some local TV stations are ending their network affiliations, freeing up money for new hires and programming, as network fees rise due to sports rights costs (Amos Barshad/Columbia Journalism Review)
cjr.org/analysis/unaffiliated-

@rperezrosario@mastodon.social
2026-01-14 19:15:03

Installing Visual Studio 2026 to see what all the buzz is about. Planning to migrate my project data web api from .NET 9 to 10, along with the new ide.
#programming #visualstudio #dotnet <…

@kubikpixel@chaos.social
2025-12-12 21:45:03

These are three arguments for web dev serv. APIs, even if you have to take a critical look at them in detail:
»Speed Comparison: Benchmarking programming languages using the Leibniz formula for calculating π«
— 2025-12-12
📊 niklas-heer.github.io/speed-co

@crell@phpc.social
2025-12-05 02:03:34

Programming peaked
#javascript #k8s

@frankel@mastodon.top
2025-12-13 09:30:04

Patterns for Defensive Programming in #Rust
corrode.dev/blog/defensive-pro

@jamesthebard@social.linux.pizza
2026-01-15 19:30:35

This weekend went from programming EPROMs to playing Final Fantasy 6. Not a bad way to end things overall. It also means I get to keep my cache of 27C322s for other custom carts. However, it looks great and gets to go back up on the shelf.
#retrogaming #snes

A picture of the box and cartridge for the custom FF6 SNES game.
@ErikJonker@mastodon.social
2025-12-12 07:56:47

Nice blog in the discussion about AI & coding,
"AI can replace most of programming, but programming isn’t the job.
Programming is a task. It’s one of many things you do as part of your work. But if you’re a software engineer, your actual job is more than typing code into an editor."

@tgpo@social.linux.pizza
2026-01-13 14:05:55

Happy National Rubber Ducky Day!
Today is the day to celebrate a programmer's best debugging tool!
#programming #rubberduckday #rubberduckyday

@mariyadelano@hachyderm.io
2025-11-14 15:29:31

I’ve been testing a theory: many people who are high on #AI and #LLMs are just new to automation and don’t realize you can automate processes with simple programming, if/then conditions, and API calls with zero AI involved.
So far it’s been working!
Whenever I’ve been asked to make an AI flow or find a way to implement AI in our work with a client, I’ve returned back with an automation flow that uses 0 AI.
Things like “when a new document is added here, add a link to it in this spreadsheet and then create a task in our project management software assigned to X with label Y”.
And the people who were frothing at the mouth at how I must change my mind on AI have (so far) all responded with resounding enthusiasm and excitement.
They think it’s the same thing. They just don’t understand how much automation is possible without any generative tools.

@timbray@cosocial.ca
2026-01-14 23:53:49

In which I build Unicode character tables and fail to serialize large automata, “Losing 1½ Million Lines of Go“:
tbray.org/ongoing/When/202x/20
(And in which I find myself sliding into the

Confession: My title is clickbait-y, this is really about building on the Unicode Character Database to support character-property regexp features in Quamina. Just halfway there, I’d already got to 775K lines of generated code so I abandoned that particular approach. Thus, this is about (among other things) avoiding those 1½M lines. And really only of interest to people whose pedantry includes some combination of Unicode, Go programming, and automaton wrangling. Oh, and GenAI, which (*gasp*) I …
@UP8@mastodon.social
2025-12-26 06:45:40

🔧 Antifragile Programming and Why AI Won’t Steal Your Job
#programming

@Mediagazer@mstdn.social
2025-12-16 23:30:48

Nielsen ratings for Bari Weiss' town hall with Erika Kirk were 11% below total viewership for CBS News' standard programs in the same time slot, year to date (Justin Baragona/The Independent)
independent.co.uk/news/world/a

@arXiv_csGT_bot@mastoxiv.page
2025-12-10 07:58:51

Beyond Revenue and Welfare: Counterfactual Analysis of Spectrum Auctions with Application to Canada's 3800MHz Allocation
Sara Jalili Shani, Kris Joseph, Michael B. McNally, James R. Wright
arxiv.org/abs/2512.08106 arxiv.org/pdf/2512.08106 arxiv.org/html/2512.08106
arXiv:2512.08106v1 Announce Type: new
Abstract: Spectrum auctions are the primary mechanism through which governments allocate scarce radio frequencies, with outcomes that shape competition, coverage, and innovation in telecommunications markets. While traditional models of spectrum auctions often rely on strong equilibrium assumptions, we take a more parsimonious approach by modeling bidders as myopic and straightforward: in each round, firms simply demand the bundle that maximizes their utility given current prices. Despite its simplicity, this model proves effective in predicting the outcomes of Canada's 2023 auction of 3800 MHz spectrum licenses. Using detailed round-by-round bidding data, we estimate bidders' valuations through a linear programming framework and validate that our model reproduces key features of the observed allocation and price evolution. We then use these estimated valuations to simulate a counterfactual auction under an alternative mechanism that incentivizes deployment in rural and remote regions, aligning with one of the key objectives set out in the Canadian Telecommunications Act. The results show that the proposed mechanism substantially improves population coverage in underserved areas. These findings demonstrate that a behavioral model with minimal assumptions is sufficient to generate reliable counterfactual predictions, making it a practical tool for policymakers to evaluate how alternative auction designs may influence future outcomes. In particular, our study demonstrates a method for counterfactual mechanism design, providing a framework to evaluate how alternative auction rules could advance policy goals such as equitable deployment across Canada.
toXiv_bot_toot

@knurd42@social.linux.pizza
2025-11-12 15:14:21

#RedHat Enterprise #Linux 10.1 is out. It among others brings:
* Soft-reboots. This new systemd capability cuts downtime by letting administrators alter system state without fully rebooting.
* Reproducible builds for container tools in image mode.
* Cloud-crossing consistency w…

@arXiv_mathOC_bot@mastoxiv.page
2025-11-14 10:04:30

Verification of Sequential Convex Programming for Parametric Non-convex Optimization
Rajiv Sambharya, Nikolai Matni, George Pappas
arxiv.org/abs/2511.10622 arxiv.org/pdf/2511.10622 arxiv.org/html/2511.10622
arXiv:2511.10622v1 Announce Type: new
Abstract: We introduce a verification framework to exactly verify the worst-case performance of sequential convex programming (SCP) algorithms for parametric non-convex optimization. The verification problem is formulated as an optimization problem that maximizes a performance metric (e.g., the suboptimality after a given number of iterations) over parameters constrained to be in a parameter set and iterate sequences consistent with the SCP update rules. Our framework is general, extending the notion of SCP to include both conventional variants such as trust-region, convex-concave, and prox-linear methods, and algorithms that combine convex subproblems with rounding steps, as in relaxing and rounding schemes. Unlike existing analyses that may only provide local guarantees under limited conditions, our framework delivers global worst-case guarantees--quantifying how well an SCP algorithm performs across all problem instances in the specified family. Applications in control, signal processing, and operations research demonstrate that our framework provides, for the first time, global worst-case guarantees for SCP algorithms in the parametric setting.
toXiv_bot_toot

@datascience@genomic.social
2025-11-14 11:00:01

r-charts.com provides example code for a variety of chart types, both in base R and ggplot: #rstats #ggplot

@shriramk@mastodon.social
2025-11-04 16:09:43

Have expertise with functional programming, interpreters, and Web technology? Like Rust, wasm, etc.? Looking for a job with a great team? Please see this job ad, and share with others you might know!
zoo.dev/jobs/4619187005?gh_src

@fanf@mendeddrum.org
2026-01-12 21:42:01

from my link log —
The road to the Erlang JIT.
blog.erlang.org/the-road-to-th
saved 2020-12-01 dotat.at/:/BQA2J…

@privacity@social.linux.pizza
2025-12-09 14:28:21

Future of Privacy Forum Appoints Matthew Reisman as Vice President of U.S. Policy
fpf.org/press-releases/future-

@cyrevolt@mastodon.social
2025-11-09 07:54:55

Consume some more #retro #BIOS stuff for your Sunday!
int10h.org/blog/2025/11/lost-i

@jamesthebard@social.linux.pizza
2026-01-14 04:54:50

Started the official rewrite of the Sisyphus client in #golang, working on getting the Ffmpeg command-line tasks parsed and validated against the schema. This should make things easier to distribute with respect to the client as I can just distribute static binaries.
#programming

A screenshot of the Ffmpeg structures in Golang that will store job information and be used to construct command-line arguments.
@Archivist@social.linux.pizza
2025-12-01 16:35:33

Game design stream, come say hi, either in english or french.
Working on a transmedia project entry to the Barely A TTRPG Game jam with @…
twitch.tv/archivist0628

@inthehands@hachyderm.io
2025-10-31 21:53:43

Yarg. My good people, my fellow Musk-loathers, arrrgh
ARGH
•••You cannot ask an LLM to explain its own programming.•••
It doesn’t work that way. It’s like asking a human to explain how their own brain works because they must know because they’re using it to think.
1/ newsie.social/@servelan/115470

@blakes7bot@mas.torpidity.net
2026-01-13 16:24:11

Series B, Episode 06 - Trial
BLAKE: Servalan's headquarters.
[Hearing room]
SAMOR: You may begin.
blake.torpidity.net/m/206/447 B7B4

Claude Sonnet 4 describes the image as: "This image appears to be from the classic British science fiction television series "Blake's 7" from the late 1970s. The scene shows what appears to be the interior of a spacecraft, likely the Liberator, with its characteristic futuristic set design featuring curved walls and control panels visible in the background. The lighting and production values are typical of BBC science fiction programming from that era. The setting suggests this is from one of t…
@sascha_wolfer@fediscience.org
2025-12-16 14:56:49

When #teaching #Rstats / #statistics courses, I (and several colleagues of mine) made the experience that it is indeed pretty hard for a lot of students to cope with the file system on their computer. They have questions like: How do I know the "path" of a file? How do I control in which directory something is saved? WHY DO I NEED THIS?!?
I don't want to make fun of these students because I know that this could be because operating systems are increasingly obscuring file/directory systems from their users.
But if I want to teach students to use a scripting/ #programming language independently, that's a real problem!
So my questions to you are: Do you have the same impression when teaching? And if so: How do you deal with this from a teaching perspective? To be honest, I don't want to use precious course time to teach the absolute basics of computers' file systems in the first session(s).

@metacurity@infosec.exchange
2025-10-29 20:50:59

Open-source security group pulls out of U.S. grant, citing DEI restrictions
cyberscoop.com/python-software

@kubikpixel@chaos.social
2025-12-10 06:05:32

»Introduction to CSS if() Statements and Conditional Logic«
CSS will probably become logically structurable after a long time. It's not a programming language and that's why it's all the more exciting.
🖌️ markodenic.com/introduction-to

@arXiv_mathOC_bot@mastoxiv.page
2025-11-14 09:37:40

Locally Linear Convergence for Nonsmooth Convex Optimization via Coupled Smoothing and Momentum
Reza Rahimi Baghbadorani, Sergio Grammatico, Peyman Mohajerin Esfahani
arxiv.org/abs/2511.10239 arxiv.org/pdf/2511.10239 arxiv.org/html/2511.10239
arXiv:2511.10239v1 Announce Type: new
Abstract: We propose an adaptive accelerated smoothing technique for a nonsmooth convex optimization problem where the smoothing update rule is coupled with the momentum parameter. We also extend the setting to the case where the objective function is the sum of two nonsmooth functions. With regard to convergence rate, we provide the global (optimal) sublinear convergence guarantees of O(1/k), which is known to be provably optimal for the studied class of functions, along with a local linear rate if the nonsmooth term fulfills a so-call locally strong convexity condition. We validate the performance of our algorithm on several problem classes, including regression with the l1-norm (the Lasso problem), sparse semidefinite programming (the MaxCut problem), Nuclear norm minimization with application in model free fault diagnosis, and l_1-regularized model predictive control to showcase the benefits of the coupling. An interesting observation is that although our global convergence result guarantees O(1/k) convergence, we consistently observe a practical transient convergence rate of O(1/k^2), followed by asymptotic linear convergence as anticipated by the theoretical result. This two-phase behavior can also be explained in view of the proposed smoothing rule.
toXiv_bot_toot

@migueldeicaza@mastodon.social
2025-12-23 01:29:25

John is blending the world of Godot and SwiftUI-style programming in SwiftGodotBuilder, it is crazy cool and he is writing a book/guide as he goes along:
swiftgodotbuilder.com/

@deprogrammaticaipsum@mas.to
2025-11-02 19:56:09

"Programmers, as users of compilers, experience Wittgenstein’s observation every day; newer programming languages provide more sophisticated ways to express algorithms, thereby expanding the limits of their own programming capacity, LLMs and “vibe coding” notwithstanding."
deprogrammaticaipsum.com/vikra…

@elduvelle@neuromatch.social
2025-12-12 13:37:50

Between #Matlab and #Python, which one would you recommend to learn, for a student who wants to learn programming (from scratch) to do data analysis? And why?
I am conflicted because I think Matlab is maybe slightly more straightforward to learn, but Python should be more useful in the long …

@stf@chaos.social
2025-11-27 02:08:10

wow, #zig moves it's repo from #github to #codeberg:

@Techmeme@techhub.social
2025-12-23 12:15:45

China's MiniMax releases M2.1, an upgrade to its open-source M2 model that it says has "significantly enhanced" coding capabilities in Rust, Java, and others (MiniMax)
minimax.io/news/minimax-m21

@boris@cosocial.ca
2025-12-08 17:30:00

I did not know the Semble logo was a cairn.
Now I want a pet rock mascot. With googly eyes.
(I should make sure we have googly eyes at the conference)
Also a very good post by @wesleyfinck.org on naming in interfaces and products.
notes.wesleyfinck.org/3m6mpbih

@grahamperrin@bsd.cafe
2025-11-26 19:46:02

@… thanks, some discussion with William J. Franck at <reddit.com/r/freebsd/comments/

@crell@phpc.social
2026-01-08 16:34:19

Code is not always a liability. Code does have value. The value of code is measured by how much other code doesn't need to exist as a result.
#Programming #Software

@yaxu@post.lurk.org
2026-01-01 21:14:09

V excited for the new AdaCAD v5 pre-release !
If you're interested in weaving and comfortable with box-and-wire style programming, it's a weird and fun way into it. I'm happy to have contributed a bitfield generator to this release !
- main doc website for people new to adacad: docs.adacad.org/

@idbrii@mastodon.gamedev.place
2025-12-11 09:42:04

Wow, if you have a friend who is curious about programming, send them this video! Professor Chasins is charismatic and answers some common questions with great analogies and examples. I wish more of my profs were this engaging.
Professor Answers Coding Questions | Tech Support | WIRED - YouTube
m.youtube.com/watch?…

@arXiv_csGT_bot@mastoxiv.page
2025-12-08 08:40:30

On Dynamic Programming Theory for Leader-Follower Stochastic Games
Jilles Steeve Dibangoye, Thibaut Le Marre, Ocan Sankur, Fran\c{c}ois Schwarzentruber
arxiv.org/abs/2512.05667 arxiv.org/pdf/2512.05667 arxiv.org/html/2512.05667
arXiv:2512.05667v1 Announce Type: new
Abstract: Leader-follower general-sum stochastic games (LF-GSSGs) model sequential decision-making under asymmetric commitment, where a leader commits to a policy and a follower best responds, yielding a strong Stackelberg equilibrium (SSE) with leader-favourable tie-breaking. This paper introduces a dynamic programming (DP) framework that applies Bellman recursion over credible sets-state abstractions formally representing all rational follower best responses under partial leader commitments-to compute SSEs. We first prove that any LF-GSSG admits a lossless reduction to a Markov decision process (MDP) over credible sets. We further establish that synthesising an optimal memoryless deterministic leader policy is NP-hard, motivating the development of {\epsilon}-optimal DP algorithms with provable guarantees on leader exploitability. Experiments on standard mixed-motive benchmarks-including security games, resource allocation, and adversarial planning-demonstrate empirical gains in leader value and runtime scalability over state-of-the-art methods.
toXiv_bot_toot

@johl@mastodon.xyz
2025-10-24 19:00:51

TIL/Aujourd'hui j'ai appris: LSE en.wikipedia.org/wiki/LSE_(pro

@netzschleuder@social.skewed.de
2025-12-10 13:00:21

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
networks.skewed.de/net/google_

google_web: Old Google web graph (2002). 916428 nodes, 5105039 edges. https://networks.skewed.de/net/google_web
@arXiv_physicsoptics_bot@mastoxiv.page
2025-11-25 09:57:52

Multi-port programmable silicon photonics using low-loss phase change material Sb$_2$Se$_3$
Thomas W. Radford, Idris A Ajia, Latif Rozaqi, Priya Deoli, Xingzhao Yan, Mehdi Banakar, David J Thomson, Ioannis Zeimpekis, Alberto Politi, Otto L. Muskens
arxiv.org/abs/2511.18205 arxiv.org/pdf/2511.18205 arxiv.org/html/2511.18205
arXiv:2511.18205v1 Announce Type: new
Abstract: Reconfigurable photonic devices are rapidly emerging as a cornerstone of next generation optical technologies, with wide ranging applications in quantum simulation, neuromorphic computing, and large-scale photonic processors. A central challenge in this field is identifying an optimal platform to enable compact, efficient, and scalable reconfigurability. Optical phase-change materials (PCMs) offer a compelling solution by enabling non-volatile, reversible tuning of optical properties, compatible with a wide range of device platforms and current CMOS technologies. In particular, antimony tri-selenide ($\text{Sb}_{2}\text{Se}_{3}$) stands out for its ultra low-loss characteristics at telecommunication wavelengths and its reversible switching. In this work, we present an experimental platform capable of encoding multi-port operations onto the transmission matrix of a compact multimode interferometer architecture on standard 220~nm silicon photonics using \textit{in-silico} designed digital patterns. The multi-port devices are clad with a thin film of $\text{Sb}_{2}\text{Se}_{3}$, which can be optically addressed using direct laser writing to provide local perturbations to the refractive index. A range of multi-port geometries from 2$\times$2 up to 5$\times$5 couplers are demonstrated, achieving simultaneous control of up to 25 matrix elements with programming accuracy of 90% relative to simulated patterns. Patterned devices remain stable with consistent optical performance across the C-band wavelengths. Our work establishes a pathway towards the development of large scale PCM-based reconfigurable multi-port devices which will allow implementing matrix operations on three orders of magnitude smaller areas than interferometer meshes.
toXiv_bot_toot

@arXiv_csLG_bot@mastoxiv.page
2025-12-22 10:33:40

Easy Adaptation: An Efficient Task-Specific Knowledge Injection Method for Large Models in Resource-Constrained Environments
Dong Chen, Zhengqing Hu, Shixing Zhao, Yibo Guo
arxiv.org/abs/2512.17771 arxiv.org/pdf/2512.17771 arxiv.org/html/2512.17771
arXiv:2512.17771v1 Announce Type: new
Abstract: While the enormous parameter scale endows Large Models (LMs) with unparalleled performance, it also limits their adaptability across specific tasks. Parameter-Efficient Fine-Tuning (PEFT) has emerged as a critical approach for effectively adapting LMs to a diverse range of downstream tasks. However, existing PEFT methods face two primary challenges: (1) High resource cost. Although PEFT methods significantly reduce resource demands compared to full fine-tuning, it still requires substantial time and memory, making it impractical in resource-constrained environments. (2) Parameter dependency. PEFT methods heavily rely on updating a subset of parameters associated with LMs to incorporate task-specific knowledge. Yet, due to increasing competition in the LMs landscape, many companies have adopted closed-source policies for their leading models, offering access only via Application Programming Interface (APIs). Whereas, the expense is often cost-prohibitive and difficult to sustain, as the fine-tuning process of LMs is extremely slow. Even if small models perform far worse than LMs in general, they can achieve superior results on particular distributions while requiring only minimal resources. Motivated by this insight, we propose Easy Adaptation (EA), which designs Specific Small Models (SSMs) to complement the underfitted data distribution for LMs. Extensive experiments show that EA matches the performance of PEFT on diverse tasks without accessing LM parameters, and requires only minimal resources.
toXiv_bot_toot

@Mediagazer@mstdn.social
2026-01-10 04:51:02

PBS says it is ending PBS News Weekend, due to federal budget cuts; anchor John Yang says he'll be leaving PBS but many members of the show's team will remain (Alyssa Ray/The Wrap)
yahoo.com/news/articles/pbs-ne

@fanf@mendeddrum.org
2026-01-12 12:42:03

from my link log —
A unique performance optimization for a 3D geometry language.
cprimozic.net/notes/posts/pers
saved 2026-01-11

@crell@phpc.social
2025-10-30 18:58:10

Of course this exists...
#Cobol #Programming

@Archivist@social.linux.pizza
2025-11-30 16:48:29

Streaming some gamedev, come say hi, I will be saying some terrible puns and the game is full of terrible puns (albeit in French)
twitch.tv/archivist0628

@netzschleuder@social.skewed.de
2025-11-09 16:00:23

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
networks.skewed.de/net/google_

google_web: Old Google web graph (2002). 916428 nodes, 5105039 edges. https://networks.skewed.de/net/google_web
@qurlyjoe@mstdn.social
2025-10-31 15:50:57

A hyper-logical Halloween
#programming

Meme showing six logical operators illustrated with jack-o’-lantern images.
trick OR treat
trick AND treat
trick XOR treat
trick NOR treat
trick NAND treat
trick XNOR treat
@sperbsen@discuss.systems
2025-10-31 18:43:55

Pedro Abreu aka #TypeTheoryForall had an epic conversation with me about all things programming languages, out now on the podcast.
typetheoryforall.com/…

@fanf@mendeddrum.org
2025-11-02 15:42:02

from my link log —
Thinking with Types: type-level programming in Haskell.
thinkingwithtypes.com/
saved 2019-05-26 dotat.at/:/PZEX4.html

@crell@phpc.social
2026-01-02 02:00:02

Programming language tradeoffs.
garfieldtech.com/blog/language

@datascience@genomic.social
2025-10-27 11:00:01

Getting started with Shiny to make interactive web-apps with R: #rstats

@Mediagazer@mstdn.social
2025-11-07 16:56:05

Boston's GBH plans to cut 15 positions by January, the fourth round of layoffs in 2025; GBH was set to receive 8% of its budget, or ~$18M, in federal funding (Julian Wyllie/Current)
current.org/2025/11/gbh-plans-

@boris@cosocial.ca
2026-01-01 17:31:23

On compute as a commodity “people might be open to a new bespoke pickle vendor. So we're pickling some compute and selling that.”
And
“Our mission is to spread the joy of programming, both in people's personal lives and at work.”
[contains quote post or other embedded content] bsky.app/pro…

@deprogrammaticaipsum@mas.to
2025-11-02 19:55:03

"The study of programming history might not be the solution to all the problems in our industry, for sure. It is also worth pointing out that most university curricula simply do not include any mention whatsoever of such subjects. Maybe it is time to start providing such information to students."
dep…

@frankel@mastodon.top
2025-11-25 17:30:08

Why Engineers Can't Be Rational About #ProgrammingLanguages
spf13.com/p/the-hidden-convers

@blakes7bot@mas.torpidity.net
2025-11-06 13:12:45

Series A, Episode 08 - Duel
SINOFAR: No.
GIROC: [Laughs] The weapon built into that hand will not work here, primitive.
SINOFAR: Nor will brute force, until *I* allow it.
GIROC: His impulse to kill is primitive.
SINOFAR: As ours was not?
blake.torpidity.net/m/108/218

Claude Sonnet 4.0 describes the image as: "I can see two figures in what appears to be a dramatic scene. One person is wearing a light-colored, flowing garment and has an ornate headpiece or crown. The other figure is dressed in dark, hooded robes and is holding what looks like a wooden staff or walking stick. The lighting and staging suggest this is from a television production, with dramatic shadows and atmospheric lighting typical of science fiction or fantasy programming from that era. The …
@fanf@mendeddrum.org
2025-11-03 21:42:03

from my link log —
Control structures in programming languages: from goto to algebraic effects.
xavierleroy.org/control-struct
saved 2025-11-03

@datascience@genomic.social
2025-11-01 11:00:01

Primer to get you started with Optimization and Mathematical Programming in R #rstats

@fanf@mendeddrum.org
2025-10-26 21:42:01

from my link log —
A bestiary of single-file programming language implementations.
github.com/marcpaq/b1fipl
saved 2020-02-13 dotat.at…

@Mediagazer@mstdn.social
2025-11-07 07:36:15

USAGM Acting CEO Kari Lake plans to shut down Szabad Europa, RFE/RL's Hungarian service, for programming that has "undermined" Trump policy by opposing PM Orban (Ja'han Jones/MSNBC)
msnbc.com/top-stories/latest/k

@fanf@mendeddrum.org
2026-01-01 15:42:01

from my link log —
Zig programming language 0.6.0 release notes.
ziglang.org/download/0.6.0/rel
saved 2020-04-14

@netzschleuder@social.skewed.de
2025-10-31 19:00:24

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
networks.skewed.de/net/google_

google_web: Old Google web graph (2002). 916428 nodes, 5105039 edges. https://networks.skewed.de/net/google_web
@fanf@mendeddrum.org
2025-12-08 15:42:03

from my link log —
The IMP programming language and compiler.
ancientgeek.org.uk/EMAS/EMAS_P
saved 2025-12-07

@Mediagazer@mstdn.social
2026-01-06 14:40:35

Netflix and WWE expand their partnership, making Netflix "the home of WWE's library in the US", as Peacock's five-year deal for the WWE video library expires (Georg Szalai/The Hollywood Reporter)
hollywoodreporter.com/tv/tv-ne

@datascience@genomic.social
2025-11-24 11:00:00

Do you (sometimes) use print() or message() for debugging your code? Next time you can use {icecream} instead: #rstats

@fanf@mendeddrum.org
2025-12-22 09:42:01

from my link log —
The Austral programming language. (linear types and capability security)
austral-lang.org/
saved 2023-05-06 dotat.at/:/XU0X…

@netzschleuder@social.skewed.de
2025-11-28 08:00:23

google_web: Old Google web graph (2002)
A web graph representing a crawl of a portion of the general WWW, from a 2002 Google Programming contest.
This network has 916428 nodes and 5105039 edges.
Tags: Informational, Web graph, Unweighted
networks.skewed.de/net/google_

google_web: Old Google web graph (2002). 916428 nodes, 5105039 edges. https://networks.skewed.de/net/google_web
@fanf@mendeddrum.org
2025-12-24 12:42:01

from my link log —
psychec: ML-style type inference for C.
github.com/ltcmelo/psychec
saved 2019-09-09 dotat.at/:/GN6G4.html

@fanf@mendeddrum.org
2025-10-23 08:42:04

from my link log —
Advanced self-aware ed(1).
aartaka.me/advanc-ed.html
saved 2025-10-22 dotat.at/:/IPPZT.html

@Mediagazer@mstdn.social
2025-12-22 00:45:37

CBS postpones a 60 Minutes segment on El Salvador's CECOT prison, which houses people deported by the Trump administration, just hours before it was set to air (Julia Ornedo/The Daily Beast)
thedailybeast.com/60-minutes-s

@fanf@mendeddrum.org
2025-11-27 18:42:03

from my link log —
Swift regrets: a programming language design retrospective.
belkadan.com/blog/tags/swift-r
saved 2025-11-26

@fanf@mendeddrum.org
2025-10-26 18:42:01

from my link log —
Index 1,600,000,000 keys with finite state automata and Rust.
blog.burntsushi.net/transducer
saved 2021-08-21

@fanf@mendeddrum.org
2025-10-24 11:42:04

from my link log —
I spent a year of my life making an ASN.1 compiler in the D programming language.
bradley.chatha.dev/blog/dlang-
saved 2025-10-23