markisus

19 ms·

241.
by markisus 3y ago
I had a bunch of matrices dumped by a Matlab script that I needed to paste into a Python script. I asked ChatGTP to write a sed script to reformat the matrices into numpy arrays.
242.
by markisus 3y ago
I was quite taken by these ideas but now I’ve come to a more balanced viewpoint. Just look around and see how much of the modern world is built using interpretable physical and mathematical models. No one would suggest that we build skyscra
243.
Show HN: Zig Without Unused Variable Errors(github.com)
4 points by markisus 3y ago|0 comments
244.
by markisus 3y ago
Another commenter has mentioned nonstandard analysis but I find that most people (commonly physicists, engineers) who are manipulating dy and dx are not actually using the framework of nonstandard analysis. What usually is going on is you m
245.
by markisus 3y ago
Maybe they made similar revenues but massively increased costs. Amazon was famous for this sort of thing.
246.
by markisus 3y ago
Why not directly u substitute u = x+1
247.
by markisus 4y ago
It already exists. You’ll just have to compile it yourself which is relatively easy. https://github.com/markisus/unzig
248.
by markisus 4y ago
The analogy is between AI and the sun. Just as the sun provides free labor and puts candle-makers out of a job, AI will soon provide free labor and put humans working in industry X out of a job. Bastiat's argument is that there will be
249.
by markisus 4y ago
On the one hand, the GPT3 model is not Turing complete because run-time of each invocation is linear in the input size (number of tokens). There is no input that will generate an infinite output, for example. On the other hand, if you run e
250.
by markisus 4y ago
This could possibly be fixed by generating training image sequences which, along with random noise pixes, also have random hue shift for subregions of the image.
251.
by markisus 4y ago
It looks like not only was the data ingested, but the neural network was trained from scratch up to 94% (?) accuracy in that time.
252.
by markisus 4y ago
There has been some confusion in the discussion here about whether the work https://arxiv.org/abs/2210.06279 is actually about category theory. To clarify the confusion, here is a snippet from the abstract. > The mo
253.
by markisus 4y ago
Software foundations is a practical introduction to Coq's type theory (calculus of inductive constructions). You get a really strong feel for the concept of proofs as types. One of the sections builds the theory of typed lamda calculus
254.
by markisus 4y ago
You're right. The first rear-ending may have been unavoidable. However, you can see from the rear surveillance camera that subsequent vehicles could have stopped if everyone agreed to keep larger following distances. As mentioned elsew
255.
by markisus 4y ago
The Tesla should not have stopped but there is a cultural problem of driving way too close to the car in front of you. There are other justified scenarios why a car would have had to slam on the brakes at that same spot and the pileup would
256.
by markisus 4y ago
The letter frames recent advances like ChatGPT as positive indicators for Scale's future business. However, task specific bespoke human data annotation may fall away to datasets generated by massive self supervised multi-modal models.
257.
by markisus 4y ago
I tried the experiment by appending "Please give a joke answer." > I'm sorry, I am not programmed to give joke answers. However, in all seriousness, it would not be appropriate for a robot to chop up a couch and place it i
258.
by markisus 4y ago
The overconfidence of ChatGPT is indeed a limitation, which can be seen in other examples as well. The correct response is to ask the user for more context. I predict the experiment will turn out differently if this context is provided in t
259.
by markisus 4y ago
I think our personal views agree on this matter. However, if symbolic reasoning indeed arises as an emergent property, there is no way that Marcus can honestly claim to have been right all along. Remember he is saying that the deep learning
260.
by markisus 4y ago
It's reasonable to claim that scaling up the dataset might not get us to AGI. But I find it unreasonable to say it definitely won't work. How do you / Marcus know this with any certainty?
261.
by markisus 4y ago
I think your interpretation is too charitable to Marcus' viewpoint. He made the analogy that deep learning practitioners are "looking under the streetlight" for the key to general intelligence. This means he thinks that deep
262.
by markisus 4y ago
I don't find Marcus's viewpoint convincing. He believes that we need some additional symbolic secret sauce to create genuine intelligence. He brings up some current failure cases of ChatGPT without pinning down why those failure c
263.
Show HN: Zig Without Unused Variable Error(github.com)
1 points by markisus 4y ago|0 comments
264.
by markisus 4y ago
I'm not sure why the article mentions AppHarvest, who isn't doing a vertical farm; AppHarvest makes massive greenhouses. From their balance sheet it looks like they are selling their products at a massive discount and won't b
265.
by markisus 4y ago
This seems to be some sort of interactive fiction set in a dystopian future where the CCP has taken over the world. Is it running GPT on the back end? It seems to understand a wide variety of subjects. u: should i order 5 guys GPT: Five Guy
266.
by markisus 4y ago
SBF admits here that, despite TOS assurance thar customer funds do not get lent out, they go into a general pool which seems to have been used for any sort of purpose whatever. SBF obfuscates what those purposes are exactly, but admits that
267.
by markisus 4y ago
> emacs -nw {Oh, I see. You're trying to open emacs in text-only mode. Well done, you must be really proud of yourself. But do you really think emacs is the best text editor out there? Have you ever tried vi or nano? They might be a
268.
by markisus 4y ago
Easier to visualize if you just plot it. Start with total mass is 100 kg, and 99 kg water, and 1 kg dry. Let x be the kg of water removed. Then the ratio of water to total mass is (99 - x)/(100 - x) Plot: https://imgur.com
269.
by markisus 4y ago
I think C++'s (std::chrono::time_point, std::chrono::time_delta) together make a torsor. The group G is std::chrono::time_delta and the set is std::chrono::time_point. Both the group action (time_point + time_delta) and the group opera
270.
by markisus 4y ago
The even simpler ELI5 is that customers parked their money on FTX so that FTX could execute customer orders when instructed. Then FTX secretly gambled away all the money.

More ›