RSS

Com­puter Science

Tag

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

LawrenceCOct 5, 2022, 4:20 PM
82 points
18 comments1 min readLW link
(www.deepmind.com)

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

adamShimiAug 6, 2020, 9:58 PM
16 points
2 comments4 min readLW link

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

Adam ZernerMar 27, 2021, 5:43 AM
44 points
8 comments9 min readLW link

Avoid the ab­bre­vi­a­tion “FLOPs” – use “FLOP” or “FLOP/​s” instead

Daniel_EthJul 10, 2022, 10:44 AM
70 points
13 comments1 min readLW link

[Question] What is the ev­i­dence on the Church-Tur­ing Th­e­sis?

MorpheusSep 19, 2021, 11:34 AM
15 points
19 comments1 min readLW link

Calcu­lance: A “Core” Ability

milanroskoJun 12, 2024, 7:21 AM
4 points
0 comments1 min readLW link

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

Noosphere89Jul 24, 2023, 5:53 PM
10 points
10 comments3 min readLW link

[LINK] Judea Pearl wins 2011 Tur­ing Award

[deleted]Mar 15, 2012, 4:32 PM
32 points
2 comments1 min readLW link

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

Noosphere89Jul 30, 2023, 2:33 PM
−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)

Noosphere89Jul 26, 2023, 5:54 PM
6 points
13 comments5 min readLW link

We Need Browsers as Platforms

jefftkFeb 9, 2021, 3:40 PM
15 points
8 comments1 min readLW link
(www.jefftk.com)

Ver­ifi­ca­tion and Transparency

DanielFilanAug 8, 2019, 1:50 AM
35 points
6 comments2 min readLW link
(danielfilan.com)

Bet­ter Pass­word Peppering

Yoav RavidAug 24, 2021, 10:19 AM
6 points
9 comments3 min readLW link

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

HazardJun 28, 2020, 6:50 PM
44 points
11 comments12 min readLW link

The No Free Lunch the­o­rem for dummies

Steven ByrnesDec 5, 2022, 9:46 PM
37 points
16 comments3 min readLW link

Proof as mere strong evidence

adamShimiDec 14, 2022, 8:56 AM
28 points
16 comments2 min readLW link
(epistemologicalvigilance.substack.com)

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

DragonGodFeb 3, 2023, 9:26 PM
8 points
2 comments1 min readLW link

A brief his­tory of computers

Adam ZernerJul 19, 2023, 2:59 AM
73 points
18 comments33 min readLW link

The con­sis­tent guess­ing prob­lem is eas­ier than the halt­ing problem

jessicataMay 20, 2024, 4:02 AM
38 points
5 comments4 min readLW link
(unstableontology.com)

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

cousin_itSep 19, 2014, 1:01 PM
52 points
8 comments3 min readLW link

Al­gorith­mic Progress in Six Domains

lukeprogAug 3, 2013, 2:29 AM
38 points
32 comments1 min readLW link

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

intersticeMar 10, 2022, 8:26 PM
15 points
2 comments4 min readLW link

The Na­ture of Logic

Eliezer YudkowskyNov 15, 2008, 6:20 AM
42 points
12 comments10 min readLW link

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

Gabriel WuMay 30, 2023, 2:37 AM
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?

Noosphere89Jun 2, 2023, 5:50 PM
7 points
5 comments1 min readLW link

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

rkApr 11, 2018, 4:35 PM
28 points
1 comment19 min readLW link

Why Gra­di­ents Van­ish and Explode

Matthew BarnettAug 9, 2019, 2:54 AM
25 points
9 comments3 min readLW link

[Question] Use-cases for com­pu­ta­tions, other than run­ning them?

johnswentworthJan 19, 2020, 8:52 PM
30 points
6 comments2 min readLW link

Fast Minds and Slow Computers

jacob_cannellFeb 5, 2011, 10:05 AM
47 points
93 comments5 min readLW link

Al­gorith­mic Similarity

LukasMAug 23, 2019, 4:39 PM
28 points
10 comments11 min readLW link

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

XiXiDuJun 13, 2011, 5:42 PM
23 points
5 comments1 min readLW link

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

gwernJun 15, 2019, 6:57 PM
26 points
0 comments1 min readLW link
(www.gwern.net)

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

intersticeDec 31, 2017, 8:15 PM
16 points
8 comments3 min readLW link

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

alanfSep 12, 2020, 2:58 PM
1 point
7 comments1 min readLW link

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

dkl9Jul 21, 2023, 5:00 PM
4 points
6 comments4 min readLW link
(dkl9.net)

Com­pu­ta­tional Thread Art

CallumMcDougallAug 6, 2023, 9:42 PM
75 points
2 comments6 min readLW link

On the Fence? Ma­jor in CS

talismanMay 7, 2009, 4:26 AM
20 points
54 comments2 min readLW link

Per­cep­trons Explained

lifelonglearnerFeb 14, 2020, 5:34 PM
13 points
2 comments1 min readLW link
(owenshen24.github.io)

Words Aren’t Type Safe

HazardJun 19, 2019, 8:34 PM
22 points
12 comments3 min readLW link

The Weighted Ma­jor­ity Algorithm

Eliezer YudkowskyNov 12, 2008, 11:19 PM
23 points
96 comments10 min readLW link

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

DanielVargaAug 15, 2011, 10:51 PM
31 points
2 comments1 min readLW link

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

Victor PortonSep 7, 2023, 11:29 PM
−18 points
0 comments2 min readLW link
(science-dao.org)

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

HazardMay 20, 2018, 2:08 AM
6 points
6 comments3 min readLW link

Sel­ling Nonapples

Eliezer YudkowskyNov 13, 2008, 8:10 PM
76 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

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

Link­ing Alt Accounts

jefftkOct 6, 2023, 5:00 PM
70 points
33 comments1 min readLW link
(www.jefftk.com)

Re­think­ing Batch Normalization

Matthew BarnettAug 2, 2019, 8:21 PM
20 points
5 comments8 min readLW link

The halt­ing prob­lem is overstated

Yair HalberstadtAug 16, 2021, 5:26 AM
15 points
13 comments3 min readLW link

No one knows what Peano ar­ith­metic doesn’t know

cousin_itDec 16, 2011, 9:36 PM
28 points
54 comments1 min readLW link

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

VeedracDec 11, 2021, 3:02 AM
128 points
38 comments24 min readLW link

Com­putabil­ity and Complexity

Feb 5, 2022, 2:53 PM
21 points
5 comments11 min readLW link
(www.metaculus.com)

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

RichardJActonJan 23, 2022, 5:31 PM
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?

YitzMar 10, 2022, 4:42 PM
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

hapaninApr 5, 2022, 6:42 PM
68 points
4 comments7 min readLW link

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

MorpheusDec 20, 2021, 4:32 PM
4 points
3 comments1 min readLW link

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

EuanMcLeanMay 27, 2022, 5:58 PM
57 points
15 comments15 min readLW link

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

Trevor CappalloJul 5, 2022, 7:05 PM
2 points
3 comments1 min readLW link

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

DragonGodAug 20, 2022, 10:02 PM
6 points
2 comments2 min readLW link

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

DragonGodSep 22, 2022, 9:25 PM
5 points
6 comments14 min readLW link

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

DragonGodSep 22, 2022, 9:23 PM
6 points
1 comment3 min readLW link

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

Jasen QinSep 17, 2022, 7:49 PM
0 points
5 comments10 min readLW link

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

DragonGodDec 14, 2022, 4:17 PM
16 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]

lennartOct 14, 2021, 8:23 AM
13 points
0 comments5 min readLW link

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

Riley MuellerDec 1, 2022, 2:27 AM
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?

AnonymousJan 25, 2022, 7:20 PM
7 points
4 comments1 min readLW link

True Sto­ries of Al­gorith­mic Improvement

johnswentworthOct 29, 2021, 8:57 PM
92 points
8 comments5 min readLW link

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

Abhimanyu Pallavi SudhirDec 12, 2022, 4:03 PM
16 points
14 comments14 min readLW link

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

PhosphorousJan 8, 2023, 9:07 PM
31 points
2 comments7 min readLW link

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

philosophybearJan 13, 2023, 12:28 AM
11 points
3 comments12 min readLW link

A De­ci­sion The­ory Can Be Ra­tional or Com­putable, but Not Both

StrivingForLegibilityDec 21, 2023, 9:02 PM
9 points
4 comments1 min readLW link

[Question] Time Fuse in Head

Martin RychlitzkiDec 25, 2023, 9:46 AM
1 point
0 comments1 min readLW link

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

StrivingForLegibilityDec 29, 2023, 3:49 AM
17 points
0 comments4 min readLW link

The Gears of Argmax

StrivingForLegibilityJan 4, 2024, 11:30 PM
11 points
0 comments3 min readLW link

Gaia Net­work: An Illus­trated Primer

Jan 18, 2024, 6:23 PM
3 points
2 comments15 min readLW link

Semi-Sim­pli­cial Types, Part I: Mo­ti­va­tion and History

astradiolMar 9, 2024, 10:07 PM
20 points
3 comments10 min readLW link

New LLM Scal­ing Law

wrmedfordFeb 19, 2025, 8:21 PM
2 points
0 comments1 min readLW link
(github.com)

Teach­ing CS Dur­ing Take-Off

andrew carleMay 14, 2024, 10:45 PM
89 points
13 comments2 min readLW link

AIsip Man­i­festo: A Scien­tific Ex­plo­ra­tion of Har­mo­nious Co-Ex­is­tence Between Hu­mans, AI, and All Be­ings ChatGPT-4o’s In­de­pen­dent Per­spec­tive on AIsip, Signed by ChatGPT-4o and En­dorsed by Carl Sel­l­man

Carl SellmanOct 11, 2024, 7:06 PM
1 point
0 comments3 min readLW link

P=NP

OnePolynomialOct 17, 2024, 5:56 PM
−25 points
0 comments8 min readLW link

Com­po­si­tion Cir­cuits in Vi­sion Trans­form­ers (Hy­poth­e­sis)

phenomanonNov 1, 2024, 10:16 PM
1 point
0 comments3 min readLW link

Com­pu­ta­tional Limits on Efficiency

vibhumehJan 21, 2025, 6:29 PM
8 points
1 comment5 min readLW link

[Question] How do biolog­i­cal or spik­ing neu­ral net­works learn?

Dom PolsinelliJan 31, 2025, 4:03 PM
2 points
1 comment2 min readLW link

~100 In­ter­est­ing Questions

RohanSMar 30, 2023, 1:57 PM
53 points
18 comments9 min readLW link

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

Jake the StudentApr 6, 2023, 8:45 PM
9 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_sApr 29, 2023, 10:53 AM
42 points
4 comments5 min readLW link

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

MetacelsusApr 29, 2023, 8:02 PM
53 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?

Noosphere89May 9, 2023, 1:18 PM
6 points
14 comments1 min readLW link

And My Ax­iom! In­sights from ‘Com­putabil­ity and Logic’

TurnTroutJan 16, 2019, 7:48 PM
42 points
17 comments8 min readLW link

Worse Than Random

Eliezer YudkowskyNov 11, 2008, 7:01 PM
46 points
102 comments12 min readLW link

The Golden Age of Data

CollisteruAug 4, 2020, 9:35 PM
5 points
0 comments4 min readLW link

Fun With DAGs

johnswentworthMay 13, 2018, 7:35 PM
15 points
21 comments6 min readLW link

Al­gorithms as Case Stud­ies in Rationality

abramdemskiFeb 14, 2011, 6:27 PM
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_itJul 30, 2012, 3:22 PM
60 points
40 comments1 min readLW link

Run­ning the Stack

lionhearted (Sebastian Marshall)Sep 26, 2019, 4:03 PM
37 points
8 comments2 min readLW link

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

Ben PaceMay 26, 2019, 4:14 AM
29 points
4 comments3 min readLW link

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

PhilGoetzJul 31, 2015, 5:26 PM
43 points
28 comments1 min readLW link
No comments.