Portland Public Schools is trying to close the algebra access gap. Early evidence suggests it’s working

While studying salmon populations and designing amusement parks, these students are breaking barriers to advanced math that ...
GitHub

Mathematical Programming and Operations Research

The current release of this book can be found at here. This book was desigend originally for the undergraduete course ISE 3434 - "Deterministic Operations Research II" taught at Virginia Tech. I will ...
GitHub

[nnm] No Nonsense Math

NNM is a "No-Nonsense", C++ 17, single-header-only Math library geared towards graphics programming. Think of it as a lightweight, more readable alternative to a library like glm and inspired by the ...
Microsoft

Programming by Examples: PL meets ML

Programming by Examples (PBE) involves synthesizing intended programs in an underlying domain-specific programming language (DSL) from example-based specifications. This new frontier in AI enables ...
Microsoft

FlashFill++: Scaling Programming by Example by Cutting to the Chase

Programming-by-Examples (PBE) involves synthesizing an intended program from a small set of user-provided input-output examples. A key PBE strategy has been to restrict the search to a carefully ...