trenchgun

8 ms·

91.
by trenchgun 2y ago
Meta creates top models, Groq has the hardware to run them. Whats not to like?
92.
by trenchgun 2y ago
Yeah, also the submission headline is wrong. He was using Haskell only for the toy example. He is using HVM for the actual Discrete Program Search. See also the follow up post: https://x.com/VictorTaelin/status/181
93.
by trenchgun 2y ago
Alright, I will finally read the book. It has been collecting dust in my bookshelf for a while.
94.
by trenchgun 2y ago
That is not dead which can eternal lie, And with strange aeons even death may die
95.
by trenchgun 2y ago
Just send Lisp.
96.
by trenchgun 2y ago
Prediction: Pretty much everybody here would pass.
97.
by trenchgun 2y ago
But also: "why can so many of my skilled colleagues not get hired?" It is not just about the absolute scarcity of resource, it is about the ratio between bad and good. Needle in a haystack problem.
98.
by trenchgun 2y ago
> If we have so much solar generation during summer, why isn't my energy free or nearly so? In general, as variable renewable energy penetration in grid increases, the cost will be more dominated by distribution of electricity, not
99.
by trenchgun 2y ago
>With a simple comment section, this would be trivial to filter out. Pubpeer.com + browser plugin
100.
by trenchgun 2y ago
> but also don't know what would be better. References. Ie. a directed graph.
101.
by trenchgun 2y ago
Integration for pubpeer.com?
102.
by trenchgun 2y ago
pubpeer.com integration?
103.
by trenchgun 2y ago
> I could use to make this into an actual "mat" for kids to play on. Ok so what I actually would for something like this, is having the traditional play mat, and in addition to that, have a digital-physical hybrid traffic simul
104.
by trenchgun 2y ago
> Ahh, not even 32bit? This is a proof of concept version which focuses on the provable correctness of the parallel compiler.
105.
by trenchgun 2y ago
Erlang-like actor models would be well suited, so yeah, you could use it for web servers (assuming they are able to finish the language). It's a general purpose high level programming language.
106.
by trenchgun 2y ago
It is pretty cool milestone achieved, just not production ready.
107.
by trenchgun 2y ago
Linux Winamp?
108.
by trenchgun 2y ago
Ciel looks awesome
109.
by trenchgun 2y ago
>I think you can store energy here not just in the gravitational potential energy of the water, but also in the compression of the air. I _think_ this means that you can get away with a smaller cavern than you could for just pumped hydro
110.
by trenchgun 2y ago
He does not hate poor people. > Instead of looking to self proclaimed leaders of various marginalized and dispossessed groups, we need to actually ask those groups themselves. It’s worth collecting data, looking at surveys, speaking with
111.
by trenchgun 2y ago
Interesting section: > Relying only on ingredient and food names extracted from a recipe database would limit the ability to capture a broader range of culinary terms, since there could exist food-related assertions that do not necessari
112.
by trenchgun 2y ago
TikTok is your top competitor. Your edge aganst it is that you are focused on musicians only. BTW TikTok has swiping down to go to next video, up to go back, left to go to live, and the like, follow, comment etc. But yeah, "don't
113.
by trenchgun 2y ago
Tree of knowledge - thats obviously a syntax tree. Garden of Eden was a simulation. Getting into computing could crash it.
114.
by trenchgun 2y ago
Did you miss this? > ... and you're asked to onboard their replacements, people told to take those very same roles just in a different country who are not any happier about it.
115.
by trenchgun 2y ago
Already is. Check Lean blueprints. https://terrytao.wordpress.com/2023/11/18/formalizing-the-pr...
116.
by trenchgun 2y ago
Really? Thats awesome, and unexpected! Got to try it out today then.
117.
by trenchgun 3y ago
Have you considered packaging this as a VSCode extension?
118.
by trenchgun 3y ago
It is open-source though. Just rip it off and make that PDF() class.
119.
by trenchgun 3y ago
This is great idea! I actually have several potential improvement ideas. 1. Put the walkthrough it in a graph, or a minimap to see the whole picture easily? Or in a https://c4model.com/ visualization 2. Why not make clickab
120.
by trenchgun 3y ago
He popularized and advanced the concept, but originally it was by von Neumann.

More ›