Gecode is an open source C++ toolkit for developing constraint-based systems (2019) https://www.gecode.org/
www.gecode.org
GECODE - An open, free, efficient constraint solving toolkit
Gecode is an open source C++ toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.
Build Systems à la Carte (2018) [pdf] https://www.microsoft.com/en-us/research/wp-content/uploads/2018/03/build-systems.pdf
How to not pay your taxes legally, apparently https://mrsteinberg.com/how-to-not-pay-your-taxes-legally-apparently/
Mrsteinberg
How to not pay your taxes legally, apparently –
A new law in Sweden makes it illegal to buy custom adult content https://www.euronews.com/next/2025/06/22/takes-away-our-safest-option-adult-creators-react-to-law-banning-online-sex-purchases-in-s
euronews
Adult content creators warn new Swedish law ‘takes away safest option’
Adult content creators in Sweden are pushing back against new legislation that makes it illegal to buy online adult content.
Seine reopens to Paris swimmers after century-long ban https://www.lemonde.fr/en/france/article/2025/07/05/seine-reopens-to-paris-swimmers-after-century-long-ban_6743058_7.html
Le Monde.fr
Seine reopens to Paris swimmers after century-long ban
The swimming spots along the famous river are open to the public for free until August 31.
Speeding up PostgreSQL dump/restore snapshots https://xata.io/blog/behind-the-scenes-speeding-up-pgstream-snapshots-for-postgresql
Xata
Behind the scenes: Speeding up pgstream snapshots for PostgreSQL by Esther Minano Sanz
How targeted improvements helped us speed up bulk data loads and complex schemas.
Eastern Baltic cod grow much smaller than they did due to overfishing https://www.smithsonianmag.com/smart-news/these-cod-have-been-shrinking-dramatically-for-decades-now-scientists-say-theyve-solved-the-mystery-180986920/
Smithsonian Magazine
These Cod Have Been Shrinking Dramatically for Decades. Now, Scientists Say They've Solved the Mystery
Eastern Baltic cod grow to much smaller sizes than they did just 30 years ago, because overfishing altered their genes, according to new research
QSBS Limits Raised https://www.mintz.com/insights-center/viewpoints/2906/2025-06-25-qsbs-benefits-expanded-under-senate-finance-proposal
Mintz
QSBS Benefits Expanded Under Senate Finance Proposal
On June 16, 2025, the Senate Finance Committee released its own version of proposed legislation following the House’s passage of the “One Big Beautiful Bill Act” (H.R. 1). While the House bill did not introduce any changes to Section[1] 1202 for “qualified…
Hidden interface controls that affect usability https://interactions.acm.org/archive/view/july-august-2025/stop-hiding-my-controls-hidden-interface-controls-are-affecting-usability
ACM Interactions
Stop Hiding My Controls: Hidden Interface Controls Are Affecting Usability | IX Magazine Issue XXXII.4 July - August 2025
In the early 1960s, Douglas Engelbart [1] first introduced the notion of
Pet ownership and cognitive functioning in later adulthood across pet types https://www.nature.com/articles/s41598-025-03727-9
Nature
Longitudinal relationships between pet ownership and cognitive functioning in later adulthood across pet types and individuals’…
Scientific Reports - Longitudinal relationships between pet ownership and cognitive functioning in later adulthood across pet types and individuals’ ages
Techno-feudalism and the rise of AGI: A future without economic rights? https://arxiv.org/abs/2503.14283
arXiv.org
Techno-Feudalism and the Rise of AGI: A Future Without Economic Rights?
The rise of Artificial General Intelligence (AGI) marks an existential rupture in economic and political order, dissolving the historic boundaries between labor and capital. Unlike past...
Optimizing Tool Selection for LLM Workflows with Differentiable Programming https://viksit.substack.com/p/optimizing-tool-selection-for-llm
Substack
Optimizing Tool Selection for LLM Workflows: Differentiable Programming with PyTorch and DSPy
How local, learnable routers can reduce token overhead, lower costs, and bring structure back to agentic workflows.