Top New Best Ask Show Jobs

yeesian

557 karma · joined November 5, 2017

yeesian.com

submissions comments

Why the progress of Optimization alarms Yurii Nesterov

nccr-automation.ch·1 pts·yeesian·

A Silent revolution in mathematics (2013)

onlinelibrary.wiley.com·1 pts·yeesian·

Dis-Unification (Computer Science)

en.wikipedia.org·3 pts·yeesian·

Unifying Theories: A Personal Statement (1996)

dl.acm.org·1 pts·yeesian·

Quantum computational phase transition in combinatorial problems (2022)

nature.com·2 pts·yeesian·

Building the Mathematical Library of the Future (2020)

quantamagazine.org·6 pts·yeesian·

The Mechanics of Proof

hrmacbeth.github.io·5 pts·yeesian·

Theorem Proving in Lean 4

leanprover.github.io·3 pts·yeesian·

Jump, GAMS, and the Ijklm Model

jump.dev·1 pts·yeesian·

Teams Remember

howteamsremember.com·2 pts·yeesian·

Our Journey with Apache Arrow (Part 2): Adaptive Schemas and Sorting

arrow.apache.org·125 pts·yeesian·

Atmospheric Carbon Dioxide Tagged by Source

svs.gsfc.nasa.gov·2 pts·yeesian·

Artificial Intelligence in Mathematical Modeling (1991)

nap.nationalacademies.org·1 pts·yeesian·

Jack Dongarra: A Not So Simple Matter of Software (2022)

hpcwire.com·2 pts·yeesian·

The Evolution of Mathematical Software: Follow the Hardware (2022) [pdf]

netlib.org·3 pts·yeesian·

Synthesizing MILP Constraints for Efficient and Robust Optimization

dl.acm.org·2 pts·yeesian·

The Distributed Tensor Algebra Compiler (2022)

arxiv.org·40 pts·yeesian·

The Expressiveness of LARA: A Unified Language for Linear and Relational Algebra

arxiv.org·12 pts·yeesian·

Expressive Power of SQL (2003)

sciencedirect.com·1 pts·yeesian·

Format Abstraction for Sparse Tensor Algebra Compilers (2018)

arxiv.org·3 pts·yeesian·

Correct Compilation of Semiring Contractions (2022)

arxiv.org·2 pts·yeesian·

Ghost: Create an AI replica of yourself that is accessible via SMS

github.com·23 pts·yeesian·

Learning Transformer Programs

arxiv.org·1 pts·yeesian·

The highest-paying degree in America is in a field with only 100k jobs

finance.yahoo.com·1 pts·yeesian·

Great Coffee at Home – pseudorandom (2020)

aaronbuxbaum.com·1 pts·yeesian·

Combinatorial optimization and reasoning with graph neural networks (2022)

arxiv.org·2 pts·yeesian·

A Constraint Programming Solver Guided by Reinforcement Learning (2021)

arxiv.org·3 pts·yeesian·

On technical debt in mathematical programming: An exploratory study

link.springer.com·4 pts·yeesian·

How to solve the two language problem

scientificcoder.com·3 pts·yeesian·

Stumbling Towards Rightness

nathanbrixius.wordpress.com·2 pts·yeesian·

← PreviousPage 2 of 3Next →