you know, maybe we should listen to people when they’re telling us something

SMT-LIB is an international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT). Since its inception in 2003, the initiative has pursued these aims by focusing on the following concrete goals.

Provide standard rigorous descriptions of background theories used in SMT systems.
Develop and promote common input and output languages for SMT solvers.
Connect developers, researchers and users of SMT, and develop a community around it.
Establish and make available to the research community a large library of benchmarks for SMT solvers.
Collect and promote software tools useful to the SMT community.

Fruity Loops FL Studio web

A small, fast, pure JavaScript type-stripper that uses the official TypeScript parser.

On Linux machines I keep my passwords in GPG encrypted and Gitsynchronized format using pass command.Recently I needed to share a large amount of passwords and other secrets.I have exported passwords to CSV and imprted them to KeePassXCdatabase file that is easy to share.To generate the CSV I have written a simple Rust program.

About half of Asian adults who have heard of affirmative action say it is a good thing. But about three-quarters of all Asian adults say race or ethnicity should not factor into college admissions decisions.

Does no one actually understand what the hell affirmative action is, or are Pew awful at asking about opinions on this topic?

No court case in recent history has propelled Asian Americans into the political sphere like Students for Fair Admissions v. Harvard, and no issue has galvanized them like affirmative action. Asian Americans have taken center stage in the latest battle over affirmative action, yet their voices have been muted in favor of narratives that paint them as victims of affirmative action who ardently oppose the policy.

Very provocative essay which I’m struggling to fully believe.

So, you say

Kostenlose und benutzerfreundliche Online-PDF-Tools

E-Rechnung erstellen Generator zum Erstellen von elektronischen Rechnungen wie XRechnung und ZUGFeRD

interesting history of lua

note: does not cover lua 5+

Can’t fully understand because there are no words, but the author looks to be making a very neat connection between coalgebras and the executions (here “traces”) of transition systems. Became aware of her work through Adjoint School 2026.

via: https://www.cs.uni-salzburg.at/~anas/talks.html

Ben Sparks uses simulations for a new insight into Möbius loops.

Very nice video demonstating the power of using the computer when doing mathematics.

see: https://www.geogebra.org/m/v5z33vth

Free implementation of Play Services