joaogui1

10 ms·

91.
A Brief Overview of Webstrates(webstrates.net)
1 points by joaogui1 4y ago|1 comments
92.
by joaogui1 4y ago
"We’ve very quickly gotten used to real-time collaborative software on the Web. We can write together in Google Docs, make interface mockups in Figma, edit computational notebooks in Observable, and we can share our documents simply by
93.
by joaogui1 4y ago
This biggest most is high-quality data. Both their proprietary datasets (WebText, WebText2 etc), but also now their human-annotated data. Another secondary moat is their expertise with training models using PPO (their RL method), they can
94.
by joaogui1 4y ago
Generally something like "neurosymbolic"
95.
by joaogui1 4y ago
RL is an immense field with lots of sub-areas and for the vast majority transformers are not SOTA. I believe they're only state of the art for Offline RL and even then there are some caveats
96.
by joaogui1 4y ago
There's been work combining GA's and Architecture search for neural networks, the main keyword to search is NeuroEvolution, with NEAT being one of the first "good" algorithms for that (though scaling it up is hard)
97.
by joaogui1 4y ago
Chinchilla is trained with substantially more tokens then Gopher, 1.4T Vs 300B
98.
by joaogui1 4y ago
AlphaCode is solving much harder problems than these first few days of AoC
99.
by joaogui1 4y ago
What's TFA?
100.
by joaogui1 4y ago
What difficulties did you face using Coq?
101.
Margaret Hamilton Takes Software Engineering to the Moon and Beyond (2018)(hackaday.com)
3 points by joaogui1 4y ago|0 comments
102.
by joaogui1 4y ago
Not just DDG, there has been an increase in search engine startups, some with pretty well-known people taking the lead, that probably got them worried
103.
by joaogui1 4y ago
TL;DR: Homa implements a novel and effective form of bipartite matching that allows it to achieve high network utilization while also respecting message priorities.
104.
by joaogui1 4y ago
Julia is more for Scientific Computing than Data Science, think weather prediction and fluid simulations vs data visualization and gradient boosted trees. In that niche Julia is doing pretty well in fact. Also it's an interesting langu
105.
by joaogui1 4y ago
It has friction because you're not working in a vacuum, pun intended. The more people you're working with, the more friction/overhead there is. The trick is trying to automate as much of it as possible, and to batch what&#x27
106.
by joaogui1 4y ago
Julia has this
107.
by joaogui1 4y ago
That guy is a famous Kaggler that works for Nvidia, not a minor Twitter user
108.
by joaogui1 4y ago
This would be amazing, please try releasing some of these blog posts :D
109.
by joaogui1 5y ago
Wasn't there a reduction in suicides? Not that that's the only factor when it comes to mental health, but it's probably something to take into account when you talk about the mental health toll of the past 2 years
110.
by joaogui1 5y ago
Except for LeCun that defends Facebook even more than their PR team (denying Facebook's use in the Rohingya genocide even after FB apologized)
111.
by joaogui1 5y ago
It's not a vanity division, but I would definitely put Facebook in fourth, below Google Research, DeepMind and Microsoft, so definely not safely on second place
112.
Christopher Alexander Has Died(en.wikipedia.org)
22 points by joaogui1 5y ago|3 comments
113.
by joaogui1 5y ago
Christopher Alexander was the author of A Pattern Language, The Timeless Way of Building, and many other architecture books. His work has influenced Computer Science through the idea of design patterns, games by being the main inspiration f
114.
Tiny, Solid-State Lidar Raises Stakes in the Megapixel Race(spectrum.ieee.org)
2 points by joaogui1 5y ago|0 comments
115.
by joaogui1 5y ago
There is much more rationalising about death being good in Christianity (with the notion of a heaven for the believers) than in Judaism (no set beliefs on the after life) or even many pagan religions of that time (Greek life after death is
116.
by joaogui1 5y ago
Idris, some Haskell extension, and Agda
117.
by joaogui1 5y ago
I think that means Mastodon also doesn't count as a social media (not disagreeing)
118.
by joaogui1 5y ago
There is an initial version of Roc, though the repo is private and you need to ask Richard Feldman for access
119.
GÖTZ Bachmann’s Ethnographic Research on Dynamicland(christophlabacher.com)
1 points by joaogui1 5y ago|0 comments
120.
Build Embedded Systems with Erlang and Elixir(grisp.org)
3 points by joaogui1 5y ago|0 comments

More ›