RSS

Com­puter Science

Tag

Paper: Dis­cov­er­ing novel al­gorithms with AlphaTen­sor [Deep­mind]

LawrenceC5 Oct 2022 16:20 UTC
82 points
18 comments1 min readLW link
(www.deepmind.com)

An­a­lyz­ing the Prob­lem GPT-3 is Try­ing to Solve

adamShimi6 Aug 2020 21:58 UTC
16 points
2 comments4 min readLW link

Avoid the ab­bre­vi­a­tion “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 ev­i­dence on the Church-Tur­ing Th­e­sis?

Morpheus19 Sep 2021 11:34 UTC
15 points
19 comments1 min readLW link

Think like an ed­u­ca­tor about code quality

Adam Zerner27 Mar 2021 5:43 UTC
44 points
8 comments9 min readLW link

We Need Browsers as Platforms

jefftk9 Feb 2021 15:40 UTC
15 points
8 comments1 min readLW link
(www.jefftk.com)

Bet­ter Pass­word Peppering

Yoav Ravid24 Aug 2021 10:19 UTC
6 points
9 comments3 min readLW link

Gödel’s Le­gacy: A game with­out end

Hazard28 Jun 2020 18:50 UTC
42 points
11 comments12 min readLW link

An Opinionated Guide to Com­putabil­ity and Com­plex­ity (Post #0)

Noosphere8924 Jul 2023 17:53 UTC
10 points
10 comments3 min readLW link

Hilbert’s Triumph, Church and Tur­ing’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 de­cid­abil­ity and com­plex­ity as a con­stant (Post #1)

Noosphere8926 Jul 2023 17:54 UTC
6 points
13 comments5 min readLW link

The No Free Lunch the­o­rem for dummies

Steven Byrnes5 Dec 2022 21:46 UTC
37 points
16 comments3 min readLW link

A brief his­tory of computers

Adam Zerner19 Jul 2023 2:59 UTC
71 points
18 comments33 min readLW link

Proof as mere strong evidence

adamShimi14 Dec 2022 8:56 UTC
28 points
16 comments2 min readLW link
(epistemologicalvigilance.substack.com)

[LINK] Judea Pearl wins 2011 Tur­ing Award

[deleted]15 Mar 2012 16:32 UTC
32 points
2 comments1 min readLW link

[Question] What Are The Pre­con­di­tions/​Pr­ereq­ui­sites for Asymp­totic Anal­y­sis?

DragonGod3 Feb 2023 21:26 UTC
8 points
2 comments1 min readLW link

Ver­ifi­ca­tion and Transparency

DanielFilan8 Aug 2019 1:50 UTC
35 points
6 comments2 min readLW link
(danielfilan.com)

Al­gorith­mic Mea­sure of Emer­gence v2.0

interstice10 Mar 2022 20:26 UTC
15 points
2 comments4 min readLW link

Al­gorith­mic Progress in Six Domains

lukeprog3 Aug 2013 2:29 UTC
38 points
32 comments1 min readLW link

A proof of Löb’s the­o­rem in Haskell

cousin_it19 Sep 2014 13:01 UTC
52 points
8 comments3 min readLW link

[Question] Use-cases for com­pu­ta­tions, other than run­ning 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

Al­gorith­mic Similarity

LukasM23 Aug 2019 16:39 UTC
27 points
10 comments11 min readLW link

Quan­tum com­put­ing for the de­ter­mined (Link)

XiXiDu13 Jun 2011 17:42 UTC
23 points
5 comments1 min readLW link

On See­ing Through ‘On See­ing Through: A Unified The­ory’: A Unified Theory

gwern15 Jun 2019 18:57 UTC
26 points
0 comments1 min readLW link
(www.gwern.net)

A Can­di­date Com­plex­ity Measure

interstice31 Dec 2017 20:15 UTC
16 points
8 comments3 min readLW link

[Question] The uni­ver­sal­ity of com­pu­ta­tion and mind de­sign space

alanf12 Sep 2020 14:58 UTC
1 point
7 comments1 min readLW link

To use com­put­ers well, learn their rules

dkl921 Jul 2023 17:00 UTC
4 points
6 comments4 min readLW link
(dkl9.net)

Com­pu­ta­tional Thread Art

CallumMcDougall6 Aug 2023 21:42 UTC
75 points
2 comments6 min readLW link

On the Fence? Ma­jor in CS

talisman7 May 2009 4:26 UTC
20 points
54 comments2 min readLW link

Per­cep­trons 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 Ma­jor­ity Algorithm

Eliezer Yudkowsky12 Nov 2008 23:19 UTC
23 points
96 comments10 min readLW link

[Link] Scott Aaron­son on Why Philoso­phers Should Care About Com­pu­ta­tional Complexity

DanielVarga15 Aug 2011 22:51 UTC
31 points
2 comments1 min readLW link

Science to Be Done In­ter­na­tion­ally Us­ing Blockchain

Victor Porton7 Sep 2023 23:29 UTC
−18 points
0 comments2 min readLW link
(science-dao.org)

Can our uni­verse con­tain a perfect simu­la­tion of it­self?

Hazard20 May 2018 2:08 UTC
6 points
6 comments3 min readLW link

Sel­ling Nonapples

Eliezer Yudkowsky13 Nov 2008 20:10 UTC
74 points
78 comments7 min readLW link

Im­pli­ca­tions of Quan­tum Com­put­ing for Ar­tifi­cial In­tel­li­gence Align­ment Research

22 Aug 2019 10:33 UTC
24 points
3 comments13 min readLW link

Link­ing Alt Accounts

jefftk6 Oct 2023 17:00 UTC
69 points
33 comments1 min readLW link
(www.jefftk.com)

Re­think­ing Batch Normalization

Matthew Barnett2 Aug 2019 20:21 UTC
20 points
5 comments8 min readLW link

The halt­ing prob­lem is overstated

Yair Halberstadt16 Aug 2021 5:26 UTC
15 points
13 comments3 min readLW link

No one knows what Peano ar­ith­metic 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
125 points
38 comments24 min readLW link

Com­putabil­ity and Complexity

5 Feb 2022 14:53 UTC
21 points
5 comments11 min readLW link
(www.metaculus.com)

Why ra­tio­nal­ists should care (more) about free software

RichardJActon23 Jan 2022 17:31 UTC
66 points
42 comments5 min readLW link

[Question] In­fo­haz­ards, hack­ing, and Brick­ing—how to for­mal­ize these con­cepts?

Yitz10 Mar 2022 16:42 UTC
6 points
10 comments4 min readLW link

Op­ti­miz­ing crop plant­ing with mixed in­te­ger lin­ear pro­gram­ming in Stardew Valley

hapanin5 Apr 2022 18:42 UTC
28 points
1 comment6 min readLW link

[Question] Are “non-com­putable func­tions” always hard to solve in prac­tice?

Morpheus20 Dec 2021 16:32 UTC
4 points
3 comments1 min readLW link

De­con­fus­ing Lan­dauer’s Principle

EuanMcLean27 May 2022 17:58 UTC
49 points
12 comments15 min readLW link

How to de­stroy the uni­verse with a hypercomputer

Trevor Cappallo5 Jul 2022 19:05 UTC
2 points
3 comments1 min readLW link

[Question] What are the Limits on Com­putabil­ity?

DragonGod20 Aug 2022 22:02 UTC
6 points
2 comments2 min readLW link

“Free Will” in a Com­pu­ta­tional Universe

DragonGod22 Sep 2022 21:25 UTC
5 points
6 comments14 min readLW link

Ini­tial Thoughts on Dis­solv­ing “Could­ness”

DragonGod22 Sep 2022 21:23 UTC
6 points
1 comment3 min readLW link

Most sen­si­ble ab­strac­tion & fea­ture set for a sys­tems lan­guage?

Jasen Qin17 Sep 2022 19:49 UTC
−1 points
5 comments10 min readLW link

[In­com­plete] What is Com­pu­ta­tion Any­way?

DragonGod14 Dec 2022 16:17 UTC
12 points
1 comment13 min readLW link
(arxiv.org)

Com­pute Gover­nance and Con­clu­sions—Trans­for­ma­tive AI and Com­pute [3/​4]

lennart14 Oct 2021 8:23 UTC
13 points
0 comments5 min readLW link

Reestab­lish­ing Reli­able Sources: A Sys­tem for Tag­ging URLs

Riley Mueller1 Dec 2022 2:27 UTC
7 points
1 comment3 min readLW link

[Question] How fea­si­ble/​costly would it be to train a very large AI model on dis­tributed clusters of GPUs?

Anonymous25 Jan 2022 19:20 UTC
7 points
4 comments1 min readLW link

True Sto­ries of Al­gorith­mic Improvement

johnswentworth29 Oct 2021 20:57 UTC
91 points
7 comments5 min readLW link

Mean­ingful things are those the uni­verse pos­sesses a se­man­tics for

Abhimanyu Pallavi Sudhir12 Dec 2022 16:03 UTC
16 points
14 comments14 min readLW link

I tried to learn as much Deep Learn­ing math as I could in 24 hours

Phosphorous8 Jan 2023 21:07 UTC
31 points
2 comments7 min readLW link

The AI Con­trol Prob­lem in a wider in­tel­lec­tual context

philosophybear13 Jan 2023 0:28 UTC
11 points
3 comments12 min readLW link

A De­ci­sion The­ory Can Be Ra­tional or Com­putable, 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

So­cial Choice The­ory and Log­i­cal Handshakes

StrivingForLegibility29 Dec 2023 3:49 UTC
14 points
0 comments4 min readLW link

The Gears of Argmax

StrivingForLegibility4 Jan 2024 23:30 UTC
11 points
0 comments3 min readLW link

Gaia Net­work: An Illus­trated Primer

18 Jan 2024 18:23 UTC
1 point
2 comments15 min readLW link

~100 In­ter­est­ing Questions

RohanS30 Mar 2023 13:57 UTC
53 points
18 comments9 min readLW link

[Question] Where to be­gin in ML/​AI?

Jake the Student6 Apr 2023 20:45 UTC
8 points
4 comments1 min readLW link

One bit of ob­ser­va­tion can un­lock many of op­ti­miza­tion—but at what cost?

dr_s29 Apr 2023 10:53 UTC
42 points
4 comments5 min readLW link

Biolog­i­cal DOOM: a brief overview of biolog­i­cal computation

Metacelsus29 Apr 2023 20:02 UTC
50 points
2 comments6 min readLW link
(denovo.substack.com)

[Question] Does re­versible com­pu­ta­tion let you com­pute the com­plex­ity class PSPACE as effi­ciently as nor­mal com­put­ers com­pute the com­plex­ity class P?

Noosphere899 May 2023 13:18 UTC
6 points
14 comments1 min readLW link

And My Ax­iom! In­sights from ‘Com­putabil­ity 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
45 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

Al­gorithms as Case Stud­ies in Rationality

abramdemski14 Feb 2011 18:27 UTC
38 points
40 comments6 min readLW link

AI co­op­er­a­tion is already stud­ied in academia as “pro­gram equil­ibrium”

cousin_it30 Jul 2012 15:22 UTC
60 points
40 comments1 min readLW link

Run­ning the Stack

lionhearted (Sebastian Marshall)26 Sep 2019 16:03 UTC
36 points
8 comments2 min readLW link

Von Neu­mann’s cri­tique of au­tomata the­ory and logic in com­puter science

Ben Pace26 May 2019 4:14 UTC
29 points
4 comments3 min readLW link

How to es­cape from your sand­box and from your hard­ware host

PhilGoetz31 Jul 2015 17:26 UTC
43 points
28 comments1 min readLW link

The Na­ture of Logic

Eliezer Yudkowsky15 Nov 2008 6:20 UTC
42 points
12 comments10 min readLW link

The­o­ret­i­cal Limi­ta­tions of Au­tore­gres­sive Models

Gabriel Wu30 May 2023 2:37 UTC
20 points
1 comment10 min readLW link
(gabrieldwu.github.io)

[Question] Are com­pu­ta­tion­ally com­plex al­gorithms ex­pen­sive to have, ex­pen­sive to op­er­ate, or both?

Noosphere892 Jun 2023 17:50 UTC
7 points
5 comments1 min readLW link

What I got out of ‘Al­gorithms to Live By’

rk11 Apr 2018 16:35 UTC
26 points
1 comment19 min readLW link

Why Gra­di­ents Van­ish and Explode

Matthew Barnett9 Aug 2019 2:54 UTC
25 points
9 comments3 min readLW link
No comments.