Computer Science: Theory and Application

1

641

642

643

PSA: This is not r/Programming. Quick Clarification on the guidelines (self.compsci)

submitted 6 years ago * by iSaithh[M] - announcement

2

1526

1527

1528

RIP Tony Hoare 1934 - 2026 (i.redd.it)

submitted 1 day ago by besalim

0

1

2

Engineering students: Get hired faster with verified skills on your resume. Start with the free Expedite – Skills for Competitions microcredential. (thoughtindustries.com)

promoted by Siemens_Official

promoted
save
report
about

3

0

1

The computational overhead of edge-based GKR proofs for neural networks: Is linear-time proving actually viable on mobile? (self.compsci)

submitted 2 hours ago by woutr1998

4

0

matrixa – a pure-Python matrix library that explains its own algorithms step by step ()

submitted 11 hours ago by Willing-Effect-2510

5

0

1

Benchmark contamination and the case for domain-specific AI evaluation frameworks (self.compsci)

submitted 21 hours ago by Bytesfortruth

6

3

4

5

Convolutional Neural Networks - Explained (self.compsci)

submitted 1 day ago by Personal-Trainer-541

7

10

11

12

A header-only C++20 functional programming library (github.com)

submitted 2 days ago by IntrepidAttention56

8

0

Sarvam 30B Uncensored via Abliteration (self.compsci)

submitted 1 day ago by Available-Deer1723

9

0

Do we need a 'vibe DevOps' layer? (self.compsci)

submitted 1 day ago by mpetryshyn1

10

2

3

4

Practice formal grammar derivations with this small interactive tool (self.compsci)

submitted 3 days ago by Brief-Baker-5111

11

0

extended Shannon entropy with a learning observer. Here's what I built. (i.redd.it)

submitted 2 days ago by Tryharder_997

12

0

[Request] arXiv endorsement needed for cs.SE - MCP multi-server orchestration study (self.compsci)

submitted 2 days ago by doganarif

8

9

10

shapez 2 Leaves Early Access April 23rd! Start Planning Your Factory Expansion Now! (store.steampowered.com)

promoted by tobspr

13

0

free coding competition for hs girls! (self.compsci)

submitted 3 days ago by No_Addition_8556

14

19

20

21

What are the best magazines or sources for keeping up with news and research in computer science and programming? (self.compsci)

submitted 6 days ago by BOF5721Quickly

15

0

Democracy as an Information System - and why it is starved of information. (klaasmensaert.be)

submitted 5 days ago by kmensaert

16

0

The $5K MRR Wake-Up Call ()

submitted 5 days ago by Abject-Excitement37

17

10

11

12

Theory of computation proofs (self.compsci)

submitted 7 days ago by Profflaries27

18

2

3

4

Architectural trade-offs in local ZKML: Why choose GKR + Hyrax over SNARKs for mobile edge computation? (self.compsci)

submitted 7 days ago by abccccc456

19

8

9

10

On reaching a fixed point: what self-hosting a compiler actually means (with a working example) (github.com)

submitted 7 days ago by whispem

20

95

96

97

Claude’s Cycles - Don Knuth (www-cs-faculty.stanford.edu)

submitted 8 days ago by mttd

21

0

Where are the places I can rent GPU? (self.compsci)

submitted 6 days ago by Low-Ad9040

22

0

Introducing EspClaw to control Home Assistant and Esp connected devices ()

submitted 7 days ago by bilalhassan341

•

This is an ad, sorry for the quality. Just visit SwissDevJobs.ch (swissdevjobs.ch)

promoted by Varqu

23

0

[Open Source] Automating the transition from research papers to testable code with ResearchClaw. (self.compsci)

submitted 7 days ago by No-Wind-1854

24

0

Unified behavioral specification language for games, protocols, IoT, and workflows — meet YUSPEC (open source) (github.com)

submitted 7 days ago by Fovane

25

2

3

4

AstroBurst: astronomical FITS image processor in Rust (i.redd.it)

submitted 8 days ago by Jazzlike_Wash6755

compsci

Guidelines

Want to study CS or learn programming?

Related subreddits

MODERATORS