yeesian

6 ms·

31.
The decline of computers as a general-purpose technology (2021)(cacm.acm.org)
242 points by yeesian 3y ago|231 comments
32.
God Give Me a Sine: Adventures in Interval Arithmetic (2021)(samlikes.pizza)
3 points by yeesian 3y ago|0 comments
33.
by yeesian 3y ago
https://cloud.google.com/vertex-ai/docs/start/explore-models...
34.
by yeesian 3y ago
https://cloud.google.com/vertex-ai/docs/start/explore-models...
35.
A worker-centered approach to convex optimization in engineering design [video](youtube.com)
2 points by yeesian 3y ago|0 comments
36.
Structuring Technical Blog Posts(buttondown.email)
3 points by yeesian 3y ago|0 comments
37.
NP-hard does not mean easy(buttondown.email)
4 points by yeesian 3y ago|0 comments
38.
Why the progress of Optimization alarms Yurii Nesterov(nccr-automation.ch)
1 points by yeesian 3y ago|0 comments
39.
A Silent revolution in mathematics (2013)(onlinelibrary.wiley.com)
1 points by yeesian 3y ago|0 comments
40.
Dis-Unification (Computer Science)(en.wikipedia.org)
3 points by yeesian 3y ago|0 comments
41.
Unifying Theories: A Personal Statement (1996)(dl.acm.org)
1 points by yeesian 3y ago|0 comments
42.
Quantum computational phase transition in combinatorial problems (2022)(nature.com)
2 points by yeesian 3y ago|0 comments
43.
Building the Mathematical Library of the Future (2020)(quantamagazine.org)
6 points by yeesian 3y ago|1 comments
44.
The Mechanics of Proof(hrmacbeth.github.io)
5 points by yeesian 3y ago|0 comments
45.
Theorem Proving in Lean 4(leanprover.github.io)
3 points by yeesian 3y ago|0 comments
46.
Jump, GAMS, and the Ijklm Model(jump.dev)
1 points by yeesian 3y ago|0 comments
47.
Teams Remember(howteamsremember.com)
2 points by yeesian 3y ago|0 comments
48.
Our Journey with Apache Arrow (Part 2): Adaptive Schemas and Sorting(arrow.apache.org)
125 points by yeesian 3y ago|7 comments
49.
Atmospheric Carbon Dioxide Tagged by Source(svs.gsfc.nasa.gov)
2 points by yeesian 3y ago|0 comments
50.
Artificial Intelligence in Mathematical Modeling (1991)(nap.nationalacademies.org)
1 points by yeesian 3y ago|0 comments
51.
Jack Dongarra: A Not So Simple Matter of Software (2022)(hpcwire.com)
2 points by yeesian 3y ago|0 comments
52.
The Evolution of Mathematical Software: Follow the Hardware (2022) [pdf](netlib.org)
3 points by yeesian 3y ago|0 comments
53.
by yeesian 3y ago
(This is more of a link-dump than a paper discussion --) For the line of inquiry w.r.t tensor compilers and MLIR/LLVM (linalg, polyhedral, [sparse_]tensor, etc), I personally found the following really helpful: https://news.
54.
Synthesizing MILP Constraints for Efficient and Robust Optimization(dl.acm.org)
2 points by yeesian 3y ago|0 comments
55.
The Distributed Tensor Algebra Compiler (2022)(arxiv.org)
40 points by yeesian 3y ago|6 comments
56.
The Expressiveness of LARA: A Unified Language for Linear and Relational Algebra(arxiv.org)
12 points by yeesian 3y ago|1 comments
57.
Expressive Power of SQL (2003)(sciencedirect.com)
1 points by yeesian 3y ago|0 comments
58.
Format Abstraction for Sparse Tensor Algebra Compilers (2018)(arxiv.org)
3 points by yeesian 3y ago|0 comments
59.
Correct Compilation of Semiring Contractions (2022)(arxiv.org)
2 points by yeesian 3y ago|0 comments
60.
Ghost: Create an AI replica of yourself that is accessible via SMS(github.com)
23 points by yeesian 3y ago|10 comments

More ›