bmc7505

13 ms·

91.
Transformers Learn Shortcuts to Automata(arxiv.org)
37 points by bmc7505 3y ago|2 comments
92.
by bmc7505 3y ago
With arbitrary-precision, you can essentially replace the entire neural network with a single trainable parameter. [1] Likewise, in model checking, one often uses bounded-length bitvectors, because even a PDA with two stacks is Turing-equiv
93.
by bmc7505 3y ago
See Merrill & Sabharwal (2023) [1]: A transformer N is a specific kind of a computation graph family over vectors of floating-point numbers with p precision. We work with fixed-precision transformers, i.e., we take p to be constant
94.
Tighter bounds on the expressivity of transformer encoders(arxiv.org)
76 points by bmc7505 3y ago|13 comments
95.
by bmc7505 4y ago
@dang The title should be changed from MILA to Mila/IQIA.
96.
by bmc7505 4y ago
Sören Laue, creator and first author of this work [1] gave a nice talk [2,3] about it at our reading group not long ago. He also has written about how automatic and symbolic differentiation are essentially equivalent. [4] [1]: https:/
97.
Computus(en.wikipedia.org)
2 points by bmc7505 4y ago|0 comments
98.
by bmc7505 4y ago
I found this book browsing through a cousin's bookshelf as an early teenager, and thereafter it left a lasting impression on me. The idea of a bidirectional communication link with a two-dimensional world and its strangely endearing in
99.
The Planiverse: Computer Contact with a Two-Dimensional World(cs.stanford.edu)
44 points by bmc7505 4y ago|23 comments
100.
by bmc7505 4y ago
You could have, the creature would just need a pair of zippers that unzip and zip the digestive tract as materials pass through, a bit like RNA polymerase unwinds and rewinds a strand of DNA. The zipper's teeth could act as conduits fo
101.
by bmc7505 4y ago
There is a similarly-themed short story by Liu Cixin, author of “The Three Body Problem”, called “The Poetry Cloud” [1, 2]. [1]: https://en.wikipedia.org/wiki/The_Poetry_Cloud [2]: https://www.cuhk.edu.hk&#x
102.
by bmc7505 4y ago
In classroom settings, slides are a poor local optimum. Personally I feel that professors rely on slides too heavily and would strongly them to use chalk. Writing in real-time forces you to teach at the pace of human thought. This also allo
103.
by bmc7505 4y ago
Fun fact: CZ is an alumnus of McGill University! Before he became a cryptocurrency tycoon, he was working on an EdTech platform called Classroom 2000. [1, 2] Maybe if he had devoted as much energy to replacing PowerPoint as fiat, we would h
104.
Trust in Automation (2017)(breandan.net)
1 points by bmc7505 4y ago|0 comments
105.
by bmc7505 4y ago
Monumental achievement, but what's really extraordinary here is that this monograph is completely written/illustrated/typeset using LaTeX. Can't even begin to imagine how much effort this took.
106.
Superlinear Speedup in HPC Systems: why and when? [pdf](annals-csis.org)
3 points by bmc7505 4y ago|0 comments
107.
by bmc7505 4y ago
Not quite, but close. True words are formidable things and some shapes are just whirlygigs. It's more like, are you building or just performing?
108.
by bmc7505 4y ago
Those two branches despise each other with intense passion. I never actually made this connection before, but having spent far too much time listening to both camps, this observation does ring true. Another observation I had is that
109.
by bmc7505 4y ago
I enjoyed your writing, but disagree with your premise that creationism and the steady-state model are at odds. In fact, Lemaître was opposed to mixing science with religion and insisted the two were never in conflict. Whether the universe
110.
by bmc7505 4y ago
* Not to be confused with the homonymous Sky News [1]. [1]: https://en.wikipedia.org/wiki/Sky_News
111.
by bmc7505 4y ago
jart may see her wish come true after all
112.
by bmc7505 4y ago
"Life imitates art far more than art imitates life." —Oscar Wilde, The Decay of Lying (1889)
113.
The Busy Beaver Challenge(bbchallenge.org)
67 points by bmc7505 4y ago|21 comments
114.
Skelet #34 Is Infinite(sligocki.com)
40 points by bmc7505 4y ago|7 comments
115.
A New Lower Bound in the ABC Conjecture(arxiv.org)
51 points by bmc7505 4y ago|14 comments
116.
by bmc7505 4y ago
https://link.springer.com/article/10.1007/s11229-020-02950-3
117.
Wittgenstein versus Turing on the nature of Church's thesis [pdf](projecteuclid.org)
3 points by bmc7505 4y ago|0 comments
118.
by bmc7505 4y ago
Tridactyl is awesome! There are also many similar plugins for different web browsers and text editors: https://github.com/acejump/AceJump#comparison
119.
Words Matter: Alternatives for Charged Terminology in the Computing Profession(acm.org)
2 points by bmc7505 4y ago|0 comments
120.
by bmc7505 4y ago
There are architectures with layers which can approximate MAXSAT [1] (or rather, an SDP relaxation thereof), but I doubt this is what OP was referring to. [1]: https://arxiv.org/abs/1905.12149

More ›