fennecs

5 ms·

1.
by fennecs 2y ago
Not sure that’s quite equivalent; Megacorp scraping the entire internet vs individuals sharing knowledge on a platform are a completely different scale.
2.
by fennecs 2y ago
What’s more, if you need to compute F_n, you can do the matrix power by exponentiation by squaring. It can speed up the calculation quite a bit.
3.
by fennecs 2y ago
When did society previously embrace difference?
4.
by fennecs 3y ago
Vast sprawling suburban wastelands with no services is not the solution. Just build houses is easily said but it’s not necessarily where people want to live.
5.
by fennecs 3y ago
I don’t fear AI, I fear capitalism.
6.
by fennecs 3y ago
Electric vehicles are a failure lol.
7.
by fennecs 3y ago
Wow editing files and navigating directories, that sounds so fun these days /s Build a redstone computer in minecraft
8.
by fennecs 3y ago
Switching to EV is an infrastructure problem just like public transport. Guess it’s doomed because it’s not driven by profit.
9.
by fennecs 3y ago
I don’t want cities to build stupid EV charging crap everywhere. They could invest that in public transport instead. EVs have all the same social problems as cars.
10.
Holbert: An Interactive Theorem Prover(github.com)
68 points by fennecs 4y ago|9 comments
11.
by fennecs 4y ago
Use a programming that is decoupled from stateful manipulations and control flow? Programming does not need to involve itself with the hardware, that’s just a tool for evaluation. A program is an idea expressed in a language. It’s some for
12.
by fennecs 4y ago
Why are there so many water from x devices from MIT. Water from air, water from salt water etc. Is this all they do lol? Is there a group of people responsible?
13.
by fennecs 4y ago
The whole point of Algebraic Geometry is to describe geometry using algebra. It’s is a very deep, successful and important subject in modern mathematics. I wouldn’t say it needs to recover it’s geometric routes, it’s sort of the whole point
14.
by fennecs 4y ago
Why does it have to be so siloed? What if I want documents with a slight bit of inactivity? Why must I go through two different protocols? What if I want to read a paper next to the Juyter notebook that made it? I think it should be the cli
15.
by fennecs 4y ago
I disagree on it being the OS maintainers job, for the reason of duplication of effort. Packaging every single package or library individually for every distro is a colossal waste of person power. But I agree that there should be a securit
16.
by fennecs 4y ago
Yes I would say most of physics we currently can make predictions with are just effective models that are only applicable at some certain scale. Certainly there may be some underlying ideas that get shared around but doing calculations and
17.
by fennecs 4y ago
Basically approximating a solution, and then finding an equation from some data. Nothing wrong with writing down an approximation to some problem. An approximation can be very useful. As long as you know it’s limitations it’s fine to answer
18.
by fennecs 4y ago
Honestly why not, actions can have consequences.
19.
by fennecs 4y ago
For b) most people do not read a paper linearly, you look at maybe the intro, skim around a bit, and then maybe go to an appropriate section. If you are really invested then maybe you go through the whole thing. A graph would be a much bett
20.
by fennecs 4y ago
Dynamic typing failures come up in math too. People love to ignore precisely where functions are defined, and then try to dynamically extend it elsewhere and are surprised when it spits out nonsense. Another example, saying a function has a
21.
by fennecs 4y ago
Basically the article is just lazy evaluation like in Haskell working with infinite lists. Numbers like Pi, e, sqrt(2) are the programs that generate them. However we use syntactic sugar, or just a compact notation, to represent that progra
22.
by fennecs 4y ago
Not very hard to achieve similar results with LaTeX, just make liberal use of mathrm, custom commands and spacing, eg \mathrm{det}(A) shorten to \det{A}
23.
by fennecs 4y ago
Does someone have an example where the ability to “differentiate” a program gets you something interesting? I understand perfectly what it means for a neural network, but how about more abstract things. Im not even sure as currently present
24.
by fennecs 4y ago
I had a similar idea that I would just add daily notes to in markdown/tex to add to a knowledge graph, but then I lost motivation. I just started using the iPad to make handwritten notes. What I really want is a way for the handwritten
25.
by fennecs 4y ago
I can teach plenty of things to a first year student, it will just take a few years.
26.
by fennecs 4y ago
I too burn $100 notes for fuel.
27.
by fennecs 4y ago
I’m not that worried about random bacteria and microbes, people are covered in them. As long as it isn’t too much, we don’t need our buildings to be 100% sterile, except in certain locations like a Hospital. Mould, micro plastics, pm 2.5, m
28.
by fennecs 4y ago
Nope everything needs to be completely intuitive, explaining in detail is completely wrong /s I think both can complement each other, but it is definitely nice to go into the details. Watch the Feynman explanation then try to use that
29.
by fennecs 4y ago
On the contrary what people do to the atmosphere is everyone’s business. I can empathise or understand if they need it for good work and can’t afford a new one. Unfortunately a lot of society has been misdirected into being over reliant on
30.
by fennecs 4y ago
Why do you drive a 30 year old van?

More ›