HackerTrans
TopNewTrendsCommentsPastAskShowJobs

mathematically

no profile record

Submissions

On advertising and what it does to us

niklasblog.com
3 points·by mathematically·قبل 5 سنوات·1 comments

An Ecology of Ideas

nickburdick.substack.com
1 points·by mathematically·قبل 5 سنوات·0 comments

Propositional logic exercises with the lean theorem prover

github.com
54 points·by mathematically·قبل 5 سنوات·8 comments

Every Model Learned by Gradient Descent Is Approximately a Kernel Machine

medium.com
13 points·by mathematically·قبل 5 سنوات·0 comments

Knowledge does not protect against illusory truth

psycnet.apa.org
2 points·by mathematically·قبل 5 سنوات·0 comments

Minds and Machines

springer.com
1 points·by mathematically·قبل 5 سنوات·0 comments

Arctic Azolla Event

theazollafoundation.org
2 points·by mathematically·قبل 5 سنوات·0 comments

Biological Batteries (1995)

elasmo-research.org
32 points·by mathematically·قبل 5 سنوات·4 comments

Conspiracy Theories: Evolved Functions and Psychological Mechanisms

firebasestorage.googleapis.com
3 points·by mathematically·قبل 5 سنوات·0 comments

Adventures in Category Theory – The algebra of types (2018)

miklos-martin.github.io
66 points·by mathematically·قبل 5 سنوات·12 comments

The Dawn of Cybernetic Civilization

permaculturenews.org
7 points·by mathematically·قبل 5 سنوات·2 comments

Scala 3: Introduction

docs.scala-lang.org
3 points·by mathematically·قبل 5 سنوات·0 comments

The implausibility of intelligence explosion

medium.com
1 points·by mathematically·قبل 5 سنوات·0 comments

Conspiracy Theories and Religion: Reframing Conspiracy Theories as Bliks

cambridge.org
37 points·by mathematically·قبل 5 سنوات·25 comments

The Exhibitionist Economy

quillette.com
2 points·by mathematically·قبل 5 سنوات·0 comments

Networked Planetary Governance

noemamag.com
1 points·by mathematically·قبل 5 سنوات·0 comments

Corporate Laws and Their Consequences

medium.com
3 points·by mathematically·قبل 5 سنوات·0 comments

The relentless rise of carbon dioxide

climate.nasa.gov
12 points·by mathematically·قبل 5 سنوات·0 comments

Could Future Homes on the Moon and Mars Be Made of Fungi?

nasa.gov
3 points·by mathematically·قبل 5 سنوات·0 comments

Can the US take the lead on cleaner lithium production?

canarymedia.com
1 points·by mathematically·قبل 5 سنوات·0 comments

comments

mathematically
·قبل 5 سنوات·discuss
> Part of me even thinks it’s a more straightforward “data science”-problem when you ask the user what they want instead of playing the guessing game with tensors. Instead of worrying about an optimal recommendation, maybe there’s something to be said to allow users to customize instead. But why would bol.com ever consider this? Allowing for customization might be something that users are interested in, but it may cause them to customize for products with lower margins.

Optimizing profits at the expense of everything else is a surprisingly large part of much dysfunction on the internet. Significant parts of the internet are sponsored by ads and this business model creates perverse incentives for the people operating the infrastructure that serves those ads [1]. This is most obvious in social media but it's starting to be the case for Google as well, the quality of their search is continuing to degrade and more of their results are sponsored ads or SEO optimized sites instead of actually useful or pertinent pages [2]. I now mostly look for academic articles when I want to do actual research because most sites matching the keywords I'm looking for almost never contain any semantically relevant content.

1: https://niklasblog.com/?p=25416

2: https://www.washingtonpost.com/news/arts-and-entertainment/w...
mathematically
·قبل 5 سنوات·discuss
We're not actually and assuming that is the case is why we're in the mess we're in right now facing an existential risk from global warming and potential ecological collapse.
mathematically
·قبل 5 سنوات·discuss
Yes, that's the usual assumption when working with Turing machines and proofs. But I guess you could also allow infinite inputs and it wouldn't make that much difference, e.g. computing exp(x) for some real x as input.
mathematically
·قبل 5 سنوات·discuss
It's very fun. Thanks for putting it together.
mathematically
·قبل 5 سنوات·discuss
Yup, transposition error.
mathematically
·قبل 5 سنوات·discuss
Related: https://theanarchistlibrary.org/library/david-graeber-after-.... It's cool to see people waking up and getting organized.
mathematically
·قبل 5 سنوات·discuss
Just a heads up, worksheet 5 has an error: (P ↔ Q) → (R ↔ S) → (P ∧ Q ↔ R ∧ S). That proposition is not actually true.
mathematically
·قبل 5 سنوات·discuss
I mean by looking at the source code for the neural network someone can give an upper bound on how many steps will be required before the entire network halts and gives an answer and they can prove that their upper bound is really an upper bound.
mathematically
·قبل 5 سنوات·discuss
Ya, it could be more concise but I think that would require more prerequisites from the reader in terms of model theory and formal logic.
mathematically
·قبل 5 سنوات·discuss
At the rate things are going large parts of India will become uninhabitable: https://phys.org/news/2021-06-india-climate.html, https://www.dw.com/en/india-climate-change-ipcc/a-58822174. Similar things can be said for many other places that are currently near tipping points in terms of frequency and duration of heat waves and droughts.
mathematically
·قبل 5 سنوات·discuss
So then in the statement of the theorem the agent A can determine how many cycles the unit will run before halting, correct?
mathematically
·قبل 5 سنوات·discuss
So how do you get a value out of an LSTM?
mathematically
·قبل 5 سنوات·discuss
Ya, it's not looking good.
mathematically
·قبل 5 سنوات·discuss
Have you read the referenced article?
mathematically
·قبل 5 سنوات·discuss
Unrelated to the article but I ran across an interesting result recently that is related to AI (and the hype surrounding it): Let A be an agent and let S be a Turing machine deductive system. If A correctly understands S, then A can correctly deduce that S does not have A’s capability for solving halting problems. [1]

One way to interpret this is that all existing AI systems are obviously halting computations simply because they are acyclic dataflow graphs of floating point operations and this fact is both easy to state and to prove in any formal system that can express the logic of contemporary AI models. So no matter how much Ray Kurzweil might hope, we are still very far from the singularity.

1: https://link.springer.com/article/10.1007/s11023-014-9349-3
mathematically
·قبل 5 سنوات·discuss
Direct link: https://www.city-journal.org/california-switch-to-primarily-...

Really nice analysis of the non-viability of wind and solar:

> Such realities expose the silliness of the oft-repeated claim that solar or wind power have achieved “grid parity,” meaning that they can produce electricity for about the same cost per kilowatt-hour as a conventional machine—when they’re running. To match the energy produced by one conventional machine each year, and for years on end, you need at least two solar/wind machines, plus the batteries. That combination puts the sun/wind/battery option at roughly triple the capital cost of grid-scale conventional power. Even so, the cost for 12 hours of storage at U.S. grid-level alone would be about $1.5 trillion, and that would still leave the nation episodically in the dark. The alternative? A conventional grid with about $100 billion worth of conventional backup/peakers.

The only really sensible option at this point is nuclear and then maybe eventually hydrogen and fusion.
mathematically
·قبل 5 سنوات·discuss
2 years and still recovering.
mathematically
·قبل 5 سنوات·discuss
Good example. TypeScript is a great language.
mathematically
·قبل 5 سنوات·discuss
Software engineering is a form of process automation which by its nature is a form of productivity improvement. So if some teams are not streamlining and consistently improving business processes then asking another team to help them do so with more software is kinda nonsensical.

For a while I worked on build tools and CI pipelines and I can honestly say that I never improved anyone's productivity. Most of my work was figuring out how to remove performance bottlenecks that unwitting software engineers would invariably add to the build and test process because a manager was breathing down their neck about delivering some feature yesterday. If business processes are dysfunctional then that's not a software productivity problem and can not be fixed by adding more software.
mathematically
·قبل 5 سنوات·discuss
Do you have an example of something these teams have developed that has actually made software engineers more productive?