steego

12 ms·

91.
by steego 3y ago
Check out this paper: https://leandojo.org/ People have already trained models to assist suggestion tactics. They then linked it up to ChatGPT to interactively solve proofs. In this scenario, ChatGPT asks the model for tact
92.
by steego 3y ago
No, but most people tend to make a mental note of which companies tend to deliver and which ones work hard to mislead them. You do understand the concept of reputation, right?
93.
by steego 3y ago
There’s no such thing as bad publicity only applies to people and companies that know how to spin it. Reading the comments of all these disillusioned developers, it’s already damaged them because now smart people will be extra dubious when
94.
by steego 3y ago
Even from a “planning” perspective, that comment is about as unconstructive as they come. How does it suggest we actually go about modeling missing values in the database? I can think of a dozen ways to go about it and each one has its own
95.
by steego 3y ago
Rather than make you deal with those pesky errors, we could suppress the errors and only process the records we know how to decide. Win-win?
96.
by steego 3y ago
While I’m sure NULLs nary be found in the ivory tower, you should know they are pervasive in the rest of the kingdom amongst us common folk.
97.
by steego 3y ago
Clay is very malleable and has all sorts of wonderful properties. As a building material it has fundamental limitations as it’s less suited for tensile loads. It’s funny, because you can continue the analogy and compare optionally typed lan
98.
by steego 3y ago
Ok there buddy
99.
by steego 3y ago
Honestly, I’ve been meaning to check out BLC encoding some and I really appreciate you posting this. It’s a great read! I can’t speak to the practical nature of my encoding, but I wanted it to be air tight and to only encode closed terms. F
100.
by steego 3y ago
I’m glad I came across someone else who’s interested in the idea of having a large compendium of well tested functions. I’ve been tinkering with an idea where we could compactly map the set of these functions to the set of integers so they’
101.
by steego 3y ago
I came across this repo where someone actually took the time to convert Frink's unit data to F# (which also supports units of measure) and I got to wondering if Frink's inspired it. https://github.com/avestura&#x2F
102.
by steego 3y ago
Thank you for taking the time to elaborate. I always appreciate an historic connection.
103.
by steego 3y ago
While I wouldn’t recommend it, it wouldn’t be that crazy as there’s an experimental F# to Rust compiler that’s part of the Fable compiler.
104.
by steego 3y ago
Here’s my counter argument: Since the popularization of the internet, we have experienced unprecedented levels of free speech that’s never been enjoyed throughout all history and the ability to broadcast the most offensive and unpopular ide
105.
by steego 3y ago
You’re right that this would likely exacerbate the housing market in Canada, but it’s also worth pointing out that you’re looking at it from a demand perspective while the market suffers from an artificially constrained supply of housing. W
106.
by steego 3y ago
Seeing how the platforms accounting for the bulk of time are YouTube and TikTok, which are predominantly passive forms of consumption (compared to social media platforms that promote higher levels of engagement), I think comparing it to TV
107.
by steego 3y ago
The phenomenon doesn’t require for enforcement to become increasingly intense. Enforcement just needs to be consistently intense enough to create an incentive for traffickers to opt for less bulky alternatives over bulkier alternatives.
108.
by steego 3y ago
Thank you. I knew it read like a PR piece.
109.
by steego 3y ago
I hate these types of articles that spend a bulk of your attention telling you nothing new before they spend less than a paragraph glossing over the conclusion of the study, right before they tell you to eat more protein. I’m sorry, but nit
110.
by steego 3y ago
I suspect the motivation of this project is a lot more practical than what you’re projecting onto it, and I suspect you might be discounting how often law is transformed into code that runs on state IT systems. As someone who is familiar wi
111.
by steego 3y ago
I know a few people from Jane Street so I can easily see why one might come to that conclusion, but I also appreciate your point. Comparing yourself against others can rob you in more than one way.
112.
by steego 3y ago
I understood the vibes it was giving off. Initially, it wasn't very interesting to me because I didn't relate to it. But then, I remembered I have friends and family who've shared this epiphany well into their adulthood, some
113.
by steego 3y ago
So what if we he was depressed? Maybe he is depressed, or in the process of trying to get over depression. At some point, most people have this epiphany. His may be now. If so, I'm happy for him. There's a part of me that wouldn&
114.
by steego 3y ago
This story you read is on NPR, not a crowdfunding website. The executives have most certainly come across this because every public company of this size employs some type of public communications professional to monitor things like this. B
115.
by steego 4y ago
Funny you say that: When I was 13, my first real job was at a trap shooting club and it was considered “farm work”. For less than minimum wage, I sat in a tiny concrete building down range from 5 shooters and reloaded a mechanical arm with
116.
by steego 4y ago
Collusion and price fixing in the food industry is not without precedence. https://en.m.wikipedia.org/wiki/Lysine_price-fixing_conspira...
117.
by steego 4y ago
Why would would the price of diesel fuel disproportionately affect eggs? If the author is economically illiterate, should we assume you’re statistically illiterate?
118.
by steego 4y ago
Those stimulus checks from March 2021 have some amazing longevity. And watching the elastic effects target thisThe particular commodity disproportionately way has been a big eye opening.
119.
by steego 4y ago
It’s how you think. People plan and choose to exit early all the time. Some people don’t want to live, even when death is nowhere near, but stick around because they don’t want to devastate their family. Honestly, you sound like someone who
120.
by steego 4y ago
Fine - Which crypto critics do you take seriously?

More ›