| 31. | | Why the progress of Optimization alarms Yurii Nesterov (nccr-automation.ch) |
| 1 point by yeesian on Aug 25, 2023 | past |
|
| 32. | | A Silent revolution in mathematics (2013) (wiley.com) |
| 1 point by yeesian on Aug 13, 2023 | past |
|
| 33. | | Dis-Unification (Computer Science) (wikipedia.org) |
| 3 points by yeesian on Aug 11, 2023 | past |
|
| 34. | | Unifying Theories: A Personal Statement (1996) (acm.org) |
| 1 point by yeesian on Aug 11, 2023 | past |
|
| 35. | | Quantum computational phase transition in combinatorial problems (2022) (nature.com) |
| 2 points by yeesian on Aug 11, 2023 | past |
|
| 36. | | Building the Mathematical Library of the Future (2020) (quantamagazine.org) |
| 6 points by yeesian on Aug 2, 2023 | past | 1 comment |
|
| 37. | | The Mechanics of Proof (hrmacbeth.github.io) |
| 5 points by yeesian on Aug 2, 2023 | past |
|
| 38. | | Theorem Proving in Lean 4 (leanprover.github.io) |
| 3 points by yeesian on Aug 2, 2023 | past |
|
| 39. | | Jump, GAMS, and the Ijklm Model (jump.dev) |
| 1 point by yeesian on July 22, 2023 | past |
|
| 40. | | Teams Remember (howteamsremember.com) |
| 2 points by yeesian on July 16, 2023 | past |
|
| 41. | | Our Journey with Apache Arrow (Part 2): Adaptive Schemas and Sorting (apache.org) |
| 125 points by yeesian on July 5, 2023 | past | 7 comments |
|
| 42. | | Atmospheric Carbon Dioxide Tagged by Source (nasa.gov) |
| 2 points by yeesian on June 19, 2023 | past |
|
| 43. | | Artificial Intelligence in Mathematical Modeling (1991) (nationalacademies.org) |
| 1 point by yeesian on June 18, 2023 | past |
|
| 44. | | Jack Dongarra: A Not So Simple Matter of Software (2022) (hpcwire.com) |
| 2 points by yeesian on June 18, 2023 | past |
|
| 45. | | The Evolution of Mathematical Software: Follow the Hardware (2022) [pdf] (netlib.org) |
| 3 points by yeesian on June 18, 2023 | past |
|
| 46. | | Synthesizing MILP Constraints for Efficient and Robust Optimization (acm.org) |
| 2 points by yeesian on June 16, 2023 | past |
|
| 47. | | The Distributed Tensor Algebra Compiler (2022) (arxiv.org) |
| 40 points by yeesian on June 16, 2023 | past | 6 comments |
|
| 48. | | The Expressiveness of LARA: A Unified Language for Linear and Relational Algebra (arxiv.org) |
| 12 points by yeesian on June 16, 2023 | past | 1 comment |
|
| 49. | | Expressive Power of SQL (2003) (sciencedirect.com) |
| 1 point by yeesian on June 16, 2023 | past |
|
| 50. | | Format Abstraction for Sparse Tensor Algebra Compilers (2018) (arxiv.org) |
| 3 points by yeesian on June 14, 2023 | past |
|
| 51. | | Correct Compilation of Semiring Contractions (2022) (arxiv.org) |
| 2 points by yeesian on June 14, 2023 | past |
|
| 52. | | Ghost: Create an AI replica of yourself that is accessible via SMS (github.com/ccurme) |
| 23 points by yeesian on June 14, 2023 | past | 10 comments |
|
| 53. | | Learning Transformer Programs (arxiv.org) |
| 1 point by yeesian on June 7, 2023 | past |
|
| 54. | | The highest-paying degree in America is in a field with only 100k jobs (yahoo.com) |
| 1 point by yeesian on June 7, 2023 | past | 1 comment |
|
| 55. | | Great Coffee at Home – pseudorandom (2020) (aaronbuxbaum.com) |
| 1 point by yeesian on June 7, 2023 | past |
|
| 56. | | Combinatorial optimization and reasoning with graph neural networks (2022) (arxiv.org) |
| 2 points by yeesian on June 7, 2023 | past |
|
| 57. | | A Constraint Programming Solver Guided by Reinforcement Learning (2021) (arxiv.org) |
| 3 points by yeesian on June 7, 2023 | past | 1 comment |
|
| 58. | | On technical debt in mathematical programming: An exploratory study (springer.com) |
| 4 points by yeesian on May 24, 2023 | past |
|
| 59. | | How to solve the two language problem (scientificcoder.com) |
| 3 points by yeesian on May 24, 2023 | past | 3 comments |
|
| 60. | | Stumbling Towards Rightness (nathanbrixius.wordpress.com) |
| 2 points by yeesian on May 19, 2023 | past | 1 comment |
|
|
| More |
