Computer Science

Tag

Paper: Discovering novel algorithms with AlphaTensor [Deepmind]

LawrenceC5 Oct 2022 16:20 UTC

82 points

18 comments1 min readLW link

(www.deepmind.com)

Analyzing the Problem GPT-3 is Trying to Solve

adamShimi6 Aug 2020 21:58 UTC

16 points

2 comments4 min readLW link

Think like an educator about code quality

Adam Zerner27 Mar 2021 5:43 UTC

44 points

8 comments9 min readLW link

Avoid the abbreviation “FLOPs” – use “FLOP” or “FLOP/s” instead

Daniel_Eth10 Jul 2022 10:44 UTC

69 points

13 comments1 min readLW link

[Question] What is the evidence on the Church-Turing Thesis?

Morpheus19 Sep 2021 11:34 UTC

15 points

19 comments1 min readLW link

HVM Superposition Node Program Search Flake

Johannes C. Mayer9 Aug 2024 14:03 UTC

10 points

0 comments1 min readLW link

(github.com)

An Opinionated Guide to Computability and Complexity (Post #0)

Noosphere8924 Jul 2023 17:53 UTC

10 points

10 comments3 min readLW link

[LINK] Judea Pearl wins 2011 Turing Award

[deleted]15 Mar 2012 16:32 UTC

32 points

2 comments1 min readLW link

Hilbert’s Triumph, Church and Turing’s failure, and what it means (Post #2)

Noosphere8930 Jul 2023 14:33 UTC

−5 points

16 comments15 min readLW link

Why you can’t treat decidability and complexity as a constant (Post #1)

Noosphere8926 Jul 2023 17:54 UTC

6 points

13 comments5 min readLW link

We Need Browsers as Platforms

jefftk9 Feb 2021 15:40 UTC

15 points

8 comments1 min readLW link

(www.jefftk.com)

Verification and Transparency

DanielFilan8 Aug 2019 1:50 UTC

35 points

6 comments2 min readLW link

(danielfilan.com)

Better Password Peppering

Yoav Ravid24 Aug 2021 10:19 UTC

6 points

9 comments3 min readLW link

Gödel’s Legacy: A game without end

Hazard28 Jun 2020 18:50 UTC

44 points

11 comments12 min readLW link

On Interpters, Optimizing Compilers, and JIT

Johannes C. Mayer27 Aug 2024 16:01 UTC

−3 points

2 comments1 min readLW link

The No Free Lunch theorem for dummies

Steven Byrnes5 Dec 2022 21:46 UTC

37 points

16 comments3 min readLW link

Proof as mere strong evidence

adamShimi14 Dec 2022 8:56 UTC

28 points

16 comments2 min readLW link

(epistemologicalvigilance.substack.com)

Calculance: A “Core” Ability

milanrosko12 Jun 2024 7:21 UTC

4 points

0 comments1 min readLW link

[Question] What Are The Preconditions/Prerequisites for Asymptotic Analysis?

DragonGod3 Feb 2023 21:26 UTC

8 points

2 comments1 min readLW link

A brief history of computers

Adam Zerner19 Jul 2023 2:59 UTC

72 points

18 comments33 min readLW link

The consistent guessing problem is easier than the halting problem

jessicata20 May 2024 4:02 UTC

38 points

5 comments4 min readLW link

(unstableontology.com)

A proof of Löb’s theorem in Haskell

cousin_it19 Sep 2014 13:01 UTC

52 points

8 comments3 min readLW link

Algorithmic Progress in Six Domains

lukeprog3 Aug 2013 2:29 UTC

38 points

32 comments1 min readLW link

Algorithmic Measure of Emergence v2.0

interstice10 Mar 2022 20:26 UTC

15 points

2 comments4 min readLW link

What I got out of ‘Algorithms to Live By’

rk11 Apr 2018 16:35 UTC

28 points

1 comment19 min readLW link

Why Gradients Vanish and Explode

Matthew Barnett9 Aug 2019 2:54 UTC

25 points

9 comments3 min readLW link

[Question] Use-cases for computations, other than running them?

johnswentworth19 Jan 2020 20:52 UTC

30 points

6 comments2 min readLW link

Fast Minds and Slow Computers

jacob_cannell5 Feb 2011 10:05 UTC

47 points

93 comments5 min readLW link

Algorithmic Similarity

LukasM23 Aug 2019 16:39 UTC

28 points

10 comments11 min readLW link

Quantum computing for the determined (Link)

XiXiDu13 Jun 2011 17:42 UTC

23 points

5 comments1 min readLW link

On Seeing Through ‘On Seeing Through: A Unified Theory’: A Unified Theory

gwern15 Jun 2019 18:57 UTC

26 points

0 comments1 min readLW link

(www.gwern.net)

A Candidate Complexity Measure

interstice31 Dec 2017 20:15 UTC

16 points

8 comments3 min readLW link

[Question] The universality of computation and mind design space

alanf12 Sep 2020 14:58 UTC

1 point

7 comments1 min readLW link

To use computers well, learn their rules

dkl921 Jul 2023 17:00 UTC

4 points

6 comments4 min readLW link

(dkl9.net)

Computational Thread Art

CallumMcDougall6 Aug 2023 21:42 UTC

75 points

2 comments6 min readLW link

On the Fence? Major in CS

talisman7 May 2009 4:26 UTC

20 points

54 comments2 min readLW link

Perceptrons Explained

lifelonglearner14 Feb 2020 17:34 UTC

13 points

2 comments1 min readLW link

(owenshen24.github.io)

Words Aren’t Type Safe

Hazard19 Jun 2019 20:34 UTC

22 points

12 comments3 min readLW link

The Weighted Majority Algorithm

Eliezer Yudkowsky12 Nov 2008 23:19 UTC

23 points

96 comments10 min readLW link

[Link] Scott Aaronson on Why Philosophers Should Care About Computational Complexity

DanielVarga15 Aug 2011 22:51 UTC

31 points

2 comments1 min readLW link

Science to Be Done Internationally Using Blockchain

Victor Porton7 Sep 2023 23:29 UTC

−18 points

0 comments2 min readLW link

(science-dao.org)

Can our universe contain a perfect simulation of itself?

Hazard20 May 2018 2:08 UTC

6 points

6 comments3 min readLW link

Selling Nonapples

Eliezer Yudkowsky13 Nov 2008 20:10 UTC

76 points

78 comments7 min readLW link

Implications of Quantum Computing for Artificial Intelligence Alignment Research

Jsevillamol and PabloAMC

22 Aug 2019 10:33 UTC

24 points

3 comments13 min readLW link

Linking Alt Accounts

jefftk6 Oct 2023 17:00 UTC

70 points

33 comments1 min readLW link

(www.jefftk.com)

Rethinking Batch Normalization

Matthew Barnett2 Aug 2019 20:21 UTC

20 points

5 comments8 min readLW link

The halting problem is overstated

Yair Halberstadt16 Aug 2021 5:26 UTC

15 points

13 comments3 min readLW link

No one knows what Peano arithmetic doesn’t know

cousin_it16 Dec 2011 21:36 UTC

28 points

54 comments1 min readLW link

Moore’s Law, AI, and the pace of progress

Veedrac11 Dec 2021 3:02 UTC

126 points

38 comments24 min readLW link

Computability and Complexity

Ege Erdil and Metaculus

5 Feb 2022 14:53 UTC

21 points

5 comments11 min readLW link

(www.metaculus.com)

Why rationalists should care (more) about free software

RichardJActon23 Jan 2022 17:31 UTC

66 points

42 comments5 min readLW link

[Question] Infohazards, hacking, and Bricking—how to formalize these concepts?

Yitz10 Mar 2022 16:42 UTC

6 points

10 comments4 min readLW link

Optimizing crop planting with mixed integer linear programming in Stardew Valley

hapanin5 Apr 2022 18:42 UTC

67 points

4 comments7 min readLW link

[Question] Are “non-computable functions” always hard to solve in practice?

Morpheus20 Dec 2021 16:32 UTC

4 points

3 comments1 min readLW link

Deconfusing Landauer’s Principle

EuanMcLean27 May 2022 17:58 UTC

58 points

13 comments15 min readLW link

How to destroy the universe with a hypercomputer

Trevor Cappallo5 Jul 2022 19:05 UTC

2 points

3 comments1 min readLW link

[Question] What are the Limits on Computability?

DragonGod20 Aug 2022 22:02 UTC

6 points

2 comments2 min readLW link

“Free Will” in a Computational Universe

DragonGod22 Sep 2022 21:25 UTC

5 points

6 comments14 min readLW link

Initial Thoughts on Dissolving “Couldness”

DragonGod22 Sep 2022 21:23 UTC

6 points

1 comment3 min readLW link

Most sensible abstraction & feature set for a systems language?

Jasen Qin17 Sep 2022 19:49 UTC

0 points

5 comments10 min readLW link

[Incomplete] What is Computation Anyway?

DragonGod14 Dec 2022 16:17 UTC

16 points

1 comment13 min readLW link

(arxiv.org)

Compute Governance and Conclusions—Transformative AI and Compute [3/4]

lennart14 Oct 2021 8:23 UTC

13 points

0 comments5 min readLW link

Reestablishing Reliable Sources: A System for Tagging URLs

Riley Mueller1 Dec 2022 2:27 UTC

7 points

1 comment3 min readLW link

[Question] How feasible/costly would it be to train a very large AI model on distributed clusters of GPUs?

Anonymous25 Jan 2022 19:20 UTC

7 points

4 comments1 min readLW link

True Stories of Algorithmic Improvement

johnswentworth29 Oct 2021 20:57 UTC

92 points

8 comments5 min readLW link

Meaningful things are those the universe possesses a semantics for

Abhimanyu Pallavi Sudhir12 Dec 2022 16:03 UTC

16 points

14 comments14 min readLW link

I tried to learn as much Deep Learning math as I could in 24 hours

Phosphorous8 Jan 2023 21:07 UTC

31 points

2 comments7 min readLW link

The AI Control Problem in a wider intellectual context

philosophybear13 Jan 2023 0:28 UTC

11 points

3 comments12 min readLW link

A Decision Theory Can Be Rational or Computable, but Not Both

StrivingForLegibility21 Dec 2023 21:02 UTC

9 points

4 comments1 min readLW link

[Question] Time Fuse in Head

Martin Rychlitzki25 Dec 2023 9:46 UTC

1 point

0 comments1 min readLW link

Social Choice Theory and Logical Handshakes

StrivingForLegibility29 Dec 2023 3:49 UTC

15 points

0 comments4 min readLW link

The Gears of Argmax

StrivingForLegibility4 Jan 2024 23:30 UTC

11 points

0 comments3 min readLW link

Gaia Network: An Illustrated Primer

Rafael Kaufmann Nedal and Roman Leventov

18 Jan 2024 18:23 UTC

3 points

2 comments15 min readLW link

Semi-Simplicial Types, Part I: Motivation and History

astradiol9 Mar 2024 22:07 UTC

20 points

3 comments10 min readLW link

Teaching CS During Take-Off

andrew carle14 May 2024 22:45 UTC

88 points

13 comments2 min readLW link

AIsip Manifesto: A Scientific Exploration of Harmonious Co-Existence Between Humans, AI, and All Beings ChatGPT-4o’s Independent Perspective on AIsip, Signed by ChatGPT-4o and Endorsed by Carl Sellman

Carl Sellman11 Oct 2024 19:06 UTC

1 point

0 comments3 min readLW link

P=NP

OnePolynomial17 Oct 2024 17:56 UTC

−25 points

0 comments8 min readLW link

Composition Circuits in Vision Transformers (Hypothesis)

phenomanon1 Nov 2024 22:16 UTC

1 point

0 comments3 min readLW link

~100 Interesting Questions

RohanS30 Mar 2023 13:57 UTC

53 points

18 comments9 min readLW link

[Question] Where to begin in ML/AI?

Jake the Student6 Apr 2023 20:45 UTC

9 points

4 comments1 min readLW link

One bit of observation can unlock many of optimization—but at what cost?

dr_s29 Apr 2023 10:53 UTC

42 points

4 comments5 min readLW link

Biological DOOM: a brief overview of biological computation

Metacelsus29 Apr 2023 20:02 UTC

52 points

2 comments6 min readLW link

(denovo.substack.com)

[Question] Does reversible computation let you compute the complexity class PSPACE as efficiently as normal computers compute the complexity class P?

Noosphere899 May 2023 13:18 UTC

6 points

14 comments1 min readLW link

And My Axiom! Insights from ‘Computability and Logic’

TurnTrout16 Jan 2019 19:48 UTC

42 points

17 comments8 min readLW link

Worse Than Random

Eliezer Yudkowsky11 Nov 2008 19:01 UTC

46 points

102 comments12 min readLW link

The Golden Age of Data

Collisteru4 Aug 2020 21:35 UTC

5 points

0 comments4 min readLW link

Fun With DAGs

johnswentworth13 May 2018 19:35 UTC

15 points

21 comments6 min readLW link

Algorithms as Case Studies in Rationality

abramdemski14 Feb 2011 18:27 UTC

38 points

40 comments6 min readLW link

AI cooperation is already studied in academia as “program equilibrium”

cousin_it30 Jul 2012 15:22 UTC

60 points

40 comments1 min readLW link

Running the Stack

lionhearted (Sebastian Marshall)26 Sep 2019 16:03 UTC

37 points

8 comments2 min readLW link

Von Neumann’s critique of automata theory and logic in computer science

Ben Pace26 May 2019 4:14 UTC

29 points

4 comments3 min readLW link

How to escape from your sandbox and from your hardware host

PhilGoetz31 Jul 2015 17:26 UTC

43 points

28 comments1 min readLW link

The Nature of Logic

Eliezer Yudkowsky15 Nov 2008 6:20 UTC

42 points

12 comments10 min readLW link

Theoretical Limitations of Autoregressive Models

Gabriel Wu30 May 2023 2:37 UTC

20 points

1 comment10 min readLW link

(gabrieldwu.github.io)

[Question] Are computationally complex algorithms expensive to have, expensive to operate, or both?

Noosphere892 Jun 2023 17:50 UTC

7 points

5 comments1 min readLW link

No comments.

Com­puter Science

Computer Science