426 karma · joined March 24, 2021
Maybe in some time we also do an online workshop about it.
It's annoying. A lot of features (video cropping, changing slide master title, ...) do not work in the online version. I literally had to ask a colleague to edit the slidemaster title for me.
Also, it's quite slow in loading pictures, videos.
Has been published in 2021. Also here https://news.ycombinator.com/item?id=29399828
I literally get only 1-3 real spam mails per month without any filter.
Now I have to use different apps for Signal, Element, Slack, Discord, WhatsApp, Telegram, ...
Those blogs are always philosophical. Same is true for myself, I don't have formal training in biology or group theory and hence I talk nonsense when it comes to that. The only difference is: I can say that I don't know it whereas LLMs are hallucinating still too much.
> LLMs Aren't Thinking, They're Just Counting Votes
Same is kind of true for neurons in your brain. (let's see if I'm hallucinate or if it's true :p)
could you please share the two papers?
An old PC draws easily 5-10 times more energy.
Depending on your location, the yearly cost of running a Pi is around ~10$. The big machine then 50-100$. So energy wise, a small power efficient machine might be more expensive but the running cost could be lower.
But recently I switched to fish shell which seems to be a lot nicer in terms of setup and default options. Also a faster launch time.
Also I'm a bit disappointed because I noticed that oh-my-zsh messed up my history file and I lost 300k shell entries (75% of my history) and because of an unlucky backup incident a lot of my history is lost forever :(
But maybe there is not many (critical) ones out there. Otherwise, I believe we would encounter more often those kind of situations.
A bit like Google Scholar. Papers are indexed and you can access the references easily. And you would be able to comment and review certain lines. Everyone could add notes that certain equations are wrong, etc. In best case authors would engage in the discussion too.
But obviously this won't work because some papers are behind paywalls :/
It's clear that the algorithm needs at least O(N^2) because to access each element of the matrices once, you need a double for loop, which is O(N^2).
for i in rows
for j in cols
# do something with element matrix1 [i, j], matrix2[i, j],...
so it has to be j >= 0Prompt engineering is still important.
From a philosophical point, it always makes a difference how you phrase a problem. If you formalize a problem in Lean code, it's easy to understand for a proof assistant but not for most humans (even mathematicians or programmers).
So rephrasing the problem in human language makes it easier to grasp and comprehend. And given the dataset the AI is trained on, there might be certain style it prefers. If you train it on Lean code, better input lean code. Also, more context makes it usually easier to solve the problem.
Much safer than anything like Xak1k99u??.1 which no one can remember efficiently
Also my slow-mo phone video confirms it.
It's not even a year old.