haskellandchill

11 ms·

91.
Why Creativity Trumps IQ(medium.com)
3 points by haskellandchill 4y ago|0 comments
92.
Why Universality Trumps IQ(medium.com)
1 points by haskellandchill 4y ago|0 comments
93.
by haskellandchill 4y ago
Because they are wrong? Read the article. > to make a proof of it would be to show why a^2 + b^2 = c^2 That's what the article shows as a final step. And it outlines what assumptions are made and how the final step is demonstrated.
94.
U.S. charges Frank financial aid startup's founder with defrauding JPMorgan(reuters.com)
7 points by haskellandchill 4y ago|0 comments
95.
Watchmen’s Fearful Symmetry: (almost) frame by frame(medium.com)
2 points by haskellandchill 4y ago|0 comments
96.
Distilling Text into Circuits [pdf](arxiv.org)
3 points by haskellandchill 4y ago|0 comments
97.
by haskellandchill 4y ago
> We would still be using candles today. well the earth wouldn't be fucked then. that's the basis for an argument against technological progress.
98.
by haskellandchill 4y ago
> it doesn't make you stop wanting to change how you feel that's actually one of the things buprenorphine and methadone help with, but as you point out it's easier for that part to work if you have a good life already
99.
Number Theory for Programmers(number-theory.itscomputers.lol)
4 points by haskellandchill 4y ago|0 comments
100.
by haskellandchill 4y ago
I was trying to get it to teach me Ordinary Differential Equations and it just kept getting everything wrong. It has no concept of checking its work etc, that example makes it appear like it can but I guess it's just getting lucky for
101.
by haskellandchill 4y ago
> Except when you try to move it, or copy it to a different location. The article says it is explicitly not designed for that: "One point I would like to make is how virtual environments are designed to be disposable and not relocat
102.
by haskellandchill 4y ago
you can do anything if you are able to convince your interviewer that hiring you will work out. I transitioned from web dev to data science by getting a VP of data science to work with me as lead engineer on their projects then studying in
103.
by haskellandchill 4y ago
so could it easily be tricked by putting a finger over it and quickly removing it in front of a light? or it's too small of a window to trick? a strobe light could fool it?
104.
by haskellandchill 4y ago
I'm responding to the first point: > Anyone can post anything, but Musk can and has systemically prioritized his tweets over organic content.
105.
by haskellandchill 4y ago
> I'd be interested in any sort of proof. Have you been paying attention? https://www.theverge.com/2023/2/14/23600358/elon-musk-tweets... "This story is based on interviews with people famil
106.
by haskellandchill 4y ago
I found this, https://github.com/peter-shoes/plankalkul , a Java implementation based on the 2000 modernization by Raul Rojas. And another one, https://github.com/Hovestar/Plankalkul , based on a ba
107.
by haskellandchill 4y ago
VP Eng, CFO, VP client sales, VP customer success, numerous other Sr Dirs and Sr Mngrs and source is me I work at 300 person-ish company I'm talking about.
108.
by haskellandchill 4y ago
> knowing a word by the company it keeps I'm still shocked no one has developed language learning software along these lines. I had a prototype in the works for thai years ago but never got time to get it off the ground. using stati
109.
by haskellandchill 4y ago
a chunk of our executive team is resigning, that's how it should be done
110.
by haskellandchill 4y ago
Bookface links aren't shareable? "Bookface access is only for YC founders."
111.
by haskellandchill 4y ago
I would have gone with the small village in Germany! But yes, formal methods will likely be eclipsed by machine learning applications due to the investment in skills required and time consuming nature of the activities.
112.
by haskellandchill 4y ago
You don't really want to work with those people anyway. Some hiring managers will see it as a cool thing. As long as you do a project in whatever you want to target next to stay fresh you shouldn't have any problems except from th
113.
by haskellandchill 4y ago
I did some application tests recently. I don't think I can even get an interview right now. Maybe if I tried python/node/javascript/ruby I could, but typed languages are tight competition for not many offerings. Update:
114.
Locus Solum: From the rules of logic to the logic of rules (2001) [pdf](nguyentito.eu)
1 points by haskellandchill 4y ago|0 comments
115.
by haskellandchill 4y ago
We do have a way to verify understanding: causality. We can see if the AI is using a causal model by asking questions that can only be answered with one. Take the theory of mind questions that reveal the LLMs do have a basic theory of mind:
116.
by haskellandchill 4y ago
Is there a cheaper way to make circuits? Those printers are apparently in the $200k range?
117.
Theorem Proving and Algebra book (2006) [pdf](arxiv.org)
3 points by haskellandchill 4y ago|0 comments
118.
Distilling Abstract Machines (2018) [pdf](arxiv.org)
3 points by haskellandchill 4y ago|0 comments
119.
On Theories with a Combinatorial Definition of “Equivalence” (1941) [pdf](ens-lyon.fr)
11 points by haskellandchill 4y ago|0 comments
120.
Connection Graphs (1986) [pdf](dl.acm.org)
2 points by haskellandchill 4y ago|0 comments

More ›