Y
Hacker News
new
|
ask
|
show
|
jobs
user:
jorgegalindo
created:
2018-01-15
karma:
172
submissions:
0 points
|
0 comments
0 points
|
0 comments
AI thinks your code is correct, but it can not prove it
4 points
|
1 comments
0 points
|
0 comments
Fundamental Principles Behind a Trustworthy AI Code Verification Platform
1 points
|
1 comments
0 points
|
0 comments
0 points
|
0 comments
How to improve your productivity by 200% in just 9 months
2 points
|
2 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Do not try to be the smartest in the room; try to be the kindest
455 points
|
247 comments
0 points
|
0 comments
Food, Love, and Team-Building: Bringing People Together
1 points
|
1 comments
0 points
|
0 comments
The Enjoyable Challenge of Managing Uncertainty
2 points
|
1 comments
0 points
|
0 comments
What we learned organizing conferences. A look inside Lambda World
1 points
|
1 comments
0 points
|
0 comments