yeesian

9 ms·

61.
Learning Transformer Programs(arxiv.org)
1 points by yeesian 3y ago|0 comments
62.
The highest-paying degree in America is in a field with only 100k jobs(finance.yahoo.com)
1 points by yeesian 3y ago|1 comments
63.
Great Coffee at Home – pseudorandom (2020)(aaronbuxbaum.com)
1 points by yeesian 3y ago|0 comments
64.
Combinatorial optimization and reasoning with graph neural networks (2022)(arxiv.org)
2 points by yeesian 3y ago|0 comments
65.
A Constraint Programming Solver Guided by Reinforcement Learning (2021)(arxiv.org)
3 points by yeesian 3y ago|1 comments
66.
On technical debt in mathematical programming: An exploratory study(link.springer.com)
4 points by yeesian 3y ago|0 comments
67.
How to solve the two language problem(scientificcoder.com)
3 points by yeesian 3y ago|3 comments
68.
Stumbling Towards Rightness(nathanbrixius.wordpress.com)
2 points by yeesian 3y ago|1 comments
69.
Creating the NFL Schedule with Gurobi [video](youtube.com)
1 points by yeesian 3y ago|0 comments
70.
NFL Schedule for 2023: The Large-Scale Optimization Behind It(miketalksai.substack.com)
2 points by yeesian 3y ago|0 comments
71.
The Battle over Tech's Values(nayafia.substack.com)
5 points by yeesian 3y ago|1 comments
72.
Friend Groups (2021)(nayafia.substack.com)
2 points by yeesian 3y ago|0 comments
73.
Silicon Valley's Civil War(tabletmag.com)
8 points by yeesian 3y ago|0 comments
74.
by yeesian 3y ago
Previous discussion: https://news.ycombinator.com/item?id=12399580
75.
Not just argument and critique? (2010)(kmjn.org)
2 points by yeesian 3y ago|0 comments
76.
The convergence of notability and verifiability on Wikipedia (2011)(kmjn.org)
1 points by yeesian 3y ago|0 comments
77.
NP-hard problems aren't always hard (2010)(kmjn.org)
1 points by yeesian 3y ago|0 comments
78.
Most Programmers Can't Read Code (2012)(gamedeveloper.com)
2 points by yeesian 3y ago|0 comments
79.
TLA in Pictures [pdf](lamport.azurewebsites.net)
2 points by yeesian 3y ago|0 comments
80.
Automated and Assisted Design (2011)(kmjn.org)
2 points by yeesian 3y ago|0 comments
81.
What We Talk About When We Talk About Computation (2016)(pron.github.io)
1 points by yeesian 3y ago|1 comments
82.
Finite of Sense and Infinite of Thought: Computation, Logic and Algebra(pron.github.io)
2 points by yeesian 3y ago|0 comments
83.
Why did Prolog lose steam? (2010)(kmjn.org)
152 points by yeesian 3y ago|176 comments
84.
Building Syntax Trees in Prolog with DCGs [video](youtube.com)
3 points by yeesian 4y ago|0 comments
85.
The New XOR Problem(blog.wtf.sg)
199 points by yeesian 4y ago|87 comments
86.
Between Rest and Overdrive: Are Great Investors Lazy?(neckar.substack.com)
2 points by yeesian 4y ago|0 comments
87.
Vertex Covers and Independent Sets in game level design (2020)(mareknarozniak.com)
1 points by yeesian 4y ago|0 comments
88.
Constraint Programming (2020)(mareknarozniak.com)
102 points by yeesian 4y ago|27 comments
89.
Quantum Adiabatic Optimization (2020)(mareknarozniak.com)
1 points by yeesian 4y ago|0 comments
90.
Constraints and Predicates: A Brief Tutorial (Part 1) (2001)(brcommunity.com)
1 points by yeesian 4y ago|0 comments

More ›