coolvision

11 ms·

91.
Ask HN: How do you think software development will look in 20 years?
62 points by coolvision 6y ago|39 comments
92.
by coolvision 6y ago
Unfortunately, it's probably still in relatively far future, ~10-20 yrs...
93.
Ask HN: Idea of “Riskipedia”, or “Wikichance”
4 points by coolvision 6y ago|10 comments
94.
I ignored my mental health, and got hit hard by OCD (a cautionary tale)(grgv.xyz)
6 points by coolvision 6y ago|1 comments
95.
by coolvision 6y ago
Nearly 20% of people have some form of mental illness, and some of the issues might not seem like a big deal until they hit hard.
96.
by coolvision 6y ago
an alternative approach is to use an SMT solver, finding a valid program that satisfies some constraints (like, program syntax). Also deep learning has been showing promising results. But the most impressive results that I have seen are sti
97.
by coolvision 6y ago
yes, this is already possible, and a good application is teaching assistants that give tips on how to solve such problems.
98.
Show HN: Automatically Generating Algorithmic Art(grgv.xyz)
5 points by coolvision 6y ago|0 comments
99.
by coolvision 6y ago
Hill climbing works in some cases, but not very well. eventually it still goes towards full direct search. One of the interesting approaches, is hierarchical search, where first some smaller subroutines are found, and then they are included
100.
by coolvision 6y ago
Hill climbing works in some cases, but not very well. eventually it still goes towards full direct search. One of the interesting approaches, is hierarchical search, where first some smaller subrotines are found, and then they are included
101.
by coolvision 6y ago
Yes, I hope so, first I hope that we will be using more DSLs (with easier ways to design them), and with DSLs program synthesis becomes more tractable.
102.
by coolvision 6y ago
yes, it's a common problem with inductive approach, can be resolver with adding more exammples.
103.
by coolvision 6y ago
Thanks! Will try to be ready!
104.
Best way to stick to new year resolutions, and be much more productive(own2020s.com)
3 points by coolvision 6y ago|0 comments
105.
Deep Learning's Most Important Ideas – A Brief Historical Review(dennybritz.com)
12 points by coolvision 6y ago|0 comments
106.
Ask HN: Preparations for welcoming a child in few months
5 points by coolvision 6y ago|2 comments
107.
by coolvision 6y ago
Program synthesis is an emerging field, but I feel like there is not enough awareness of how many various applications are there
108.
I ignored my slowly worsening mental health, and got hit hard by OCD (a caution)(grgv.xyz)
8 points by coolvision 6y ago|1 comments
109.
by coolvision 6y ago
Nearly 20% of people have some form of mental illness, and some of the issues might not seem like a big deal until they hit hard. As a tale of caution, I have some advice, which I will follow religiously in future. This is relatively obviou
110.
by coolvision 6y ago
This post is about one of the most simple and straightforward methods of automatic program synthesis: inductive synthesis based on input-output examples specification and brute-force enumerative search.
111.
Show HN: JavaScript Program Synthesis(grgv.xyz)
139 points by coolvision 6y ago|17 comments
112.
by coolvision 6y ago
The idea is to generate (relatively) random code based on a graphics framework (for example Three.js). When evaluated, generated programs should create interesting 3d scenes and images.
113.
Show HN: Automatic Creative Code Generation(grgv.xyz)
1 points by coolvision 6y ago|1 comments
114.
by coolvision 6y ago
The idea is to generate (relatively) random code based on a graphics framework (for example Three.js). When evaluated, generated programs should create interesting 3d scenes and images.
115.
Creative Code Synthesis(grgv.xyz)
2 points by coolvision 6y ago|1 comments
116.
Inductive Program Synthesis in JavaScript(grgv.xyz)
3 points by coolvision 6y ago|1 comments
117.
by coolvision 6y ago
This post is about one of the most simple and straightforward methods of automatic program synthesis: inductive synthesis based on input-output examples specification and brute-force enumerative search.
118.
by coolvision 6y ago
It's strange that engineers are giving in to this biased and non-rational mental model, treating this situation as linear and robust. It is non-linear and non-robust system. The main problem is that mortality rate even among young peop
119.
by coolvision 7y ago
Ultraworking.com, sign up for their activities and use goal setting and habit tracking tools. Works for me.
120.
by coolvision 7y ago
Working on computer vision & perception system that allows delivery robots to drive autonomously 99% of the time, with only occasional remote human assistance. Making sure robots need less and less assistance, and this is while having h

More ›