presheaf

9 ms·

1.
by presheaf 4y ago
That's great. Why don't they produce the next one if they're so good at it?
2.
by presheaf 4y ago
Can't be done. The state is the one that produces the chips (Intel is just another branch of the government). Software is just a layer on top that can always be subverted with hardware by someone who knows the sequence of operations th
3.
Introduction to Cubical Type Theory(1lab.dev)
12 points by presheaf 4y ago|0 comments
4.
Category Theory Library for Agda(github.com)
3 points by presheaf 4y ago|0 comments
5.
by presheaf 4y ago
I figured. Good luck on becoming one.
6.
Social Media and Mental Health(papers.ssrn.com)
2 points by presheaf 4y ago|0 comments
7.
Accountability, and Other Myths of Old Earth(clarkesworldmagazine.com)
1 points by presheaf 4y ago|0 comments
8.
by presheaf 4y ago
Not everything is indexed. This isn't documented anywhere.
9.
by presheaf 4y ago
Going down this path then you might as well become a cyborg.
10.
by presheaf 4y ago
> We can solve these problems because "Either a given technology is possible, or else there must be some reason (say, of physics or logic) why it isn’t possible". Knowledge is what allows us to develop solutions to all our prob
11.
AI is cognitive automation, not cognitive autonomy(fchollet.substack.com)
2 points by presheaf 4y ago|0 comments
12.
by presheaf 4y ago
> Money should not be the primary goal, but rather a by-product of pursuing your passions. This is very wise.
13.
Dedukti: Logical Framework Based on the λΠ-Calculus(deducteam.github.io)
1 points by presheaf 4y ago|0 comments
14.
Collective intelligence for deep learning: A survey of recent developments(journals.sagepub.com)
1 points by presheaf 4y ago|0 comments
15.
Gradient boosting performs gradient descent(explained.ai)
1 points by presheaf 4y ago|0 comments
16.
by presheaf 4y ago
Watch a lot of movies. It's a surprisingly effective way to learn.
17.
by presheaf 4y ago
This is interesting. Recently had the idea of making up an instruction set for bit-strings so that I could generate a bunch of programs w/ the instruction set to compress bit-strings where short instruction sequences would get high sco
18.
Decision Transformer: Reinforcement Learning via Sequence Modeling(arxiv.org)
2 points by presheaf 4y ago|1 comments
19.
How to Bundle Fibers(worldscientific.com)
1 points by presheaf 4y ago|0 comments
20.
by presheaf 4y ago
This is very cool.
21.
Information-Geometric Optimization Algorithms(jmlr.org)
1 points by presheaf 4y ago|0 comments
22.
Kolmogorov Complexity and Compressible Integers (Via GPT-3)(medium.com)
1 points by presheaf 4y ago|0 comments
23.
by presheaf 4y ago
That's a good point but that's the case with all fraud because the digital tokens have to be converted back into fiat at some point. FTT was created without much oversight because no one had enough experience to properly audit ano
24.
by presheaf 4y ago
Just curious how the dominoes will fall but it does seem like the people that invested in cryptocurrencies underestimated the risks of corruption. It looks like programmable money and clever financial engineering makes embezzling money a lo
25.
by presheaf 4y ago
Good point.
26.
AlphaFold System Could Enhance Development of New Drugs(foxchase.org)
1 points by presheaf 4y ago|0 comments
27.
by presheaf 4y ago
Looks like Paul Graham's friend was correct: https://mobile.twitter.com/paulg/status/1594446009010212865 .
28.
by presheaf 4y ago
This is my usual recommendation: http://www.aosabook.org/en/index.html .
29.
by presheaf 4y ago
One nice aspect of z-lib was that they would provide recommendations for books on the download page. I found a bunch of books on category theory that I wouldn't have found any other way. Not sure what they were using for the recommenda
30.
by presheaf 4y ago
AI training as a service. Seems like whatever expertise OpenAI has developed for managing workloads for AI is now being rolled into Microsoft to be offered as another Azure service. Are there any existing companies that offer a service like

More ›