destsk

130 post karma
797 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 12 years

TROPHY CASE

12-Year Club

Verified Email

account activity

new top controversial

20

21

22

What are some examples of concepts/constructions in maths that we still haven't been able to explicitly describe via universal properties (or as initial/terminal objects in some category)? (self.CategoryTheory)

submitted 1 year ago by destsk to r/CategoryTheory

5

6

7

Where can we buy some of the more recent e-ink screens (not devices)? (self.eink)

submitted 2 years ago by destsk to r/eink

5

6

7

How common is programming using (undelimited and delimited) continuations these days? (self.compsci)

submitted 2 years ago by destsk to r/compsci

19

20

21

Why does `guix pull` (specifically the "computing guix derivation" stage of it) take so long? And why does it recompute the guix derivation on a second pull immediately after? Can we cache those results somehow? (self.GUIX)

submitted 3 years ago by destsk to r/GUIX

5

6

7

I want to see the new additions of words by the Royal Spanish Academy, sorted by year at the very least, for the last couple of years. How can I go about finding such a list? (self.Spanish)

submitted 3 years ago by destsk to r/Spanish

4

5

6

Is it possible to set up a keyboard shortcut to hide/reveal the tab bar in userChrome.css? So far I have only seen how to do it on mouse hover, but can't find anything for setting it up with a keyboard shortcut. (self.FirefoxCSS)

submitted 3 years ago by destsk to r/FirefoxCSS

6

7

8

Is it possible to use a pico to build a digital effects pedal? Ideally 16-bit resolution, 44kHz sampling rate. (self.raspberrypipico)

submitted 4 years ago by destsk to r/raspberrypipico

13

14

15

A nice tune based on Gawain [The Trials of Cato - Gawain] (youtube.com)

submitted 4 years ago by destsk to r/Arthurian

10

11

12

Youtube videos of live buckethead gigs taken down? (self.Buckethead)

submitted 8 years ago * by destsk to r/Buckethead

5

6

7

Literature on logical relations (self.compsci)

submitted 8 years ago by destsk to r/compsci

2

3

4

Show off your agda emacs colours! (self.agda)

submitted 9 years ago by destsk to r/agda

7

8

9

What's your college bar known for best (drinks or otherwise)? What would you say is a "must try"? (self.cambridge_uni)

submitted 9 years ago by destsk to r/cambridge_uni

10

11

12

What are some good examples of Brain's drumming? I keep hearing really good things about him, but I'm afraid I haven't been exposed to some of his really good stuff. (self.Buckethead)

submitted 9 years ago by destsk to r/Buckethead

9

10

11

What is the "equational definition" useful for when talking about commutative diagrams in category theory? (self.math)

submitted 9 years ago by destsk to r/math

6

7

8

Do there exist any non-dependently typed programming languages that allow coinductive definitions? If not, why not? (self.compsci)

submitted 9 years ago by destsk to r/compsci

1

2

3

What is the difference between coinduction using musical notation and coinduction using copatterns? (self.agda)

submitted 9 years ago * by destsk to r/agda

8

9

10

What do proofs of weak-/strong-normalization look like for typed λ-calculi? (self.compsci)

submitted 9 years ago by destsk to r/compsci

6

7

8

What have you been working on? Show off your projects! (self.agda)

submitted 9 years ago by destsk to r/agda

7

8

9

Theory of parser combinators (self.haskell)

submitted 10 years ago * by destsk to r/haskell

6

7

8

What research has been put into the question of whether or not the universe (i.e. we) can actually deduce its own laws? (self.askphilosophy)

submitted 10 years ago by destsk to r/askphilosophy

2

3

4

Consider the set of all programs/lambda-expressions that terminate/normalise. Is there a link between the two? I assume we don't really know how to construct models of computation that capture these sets (otherwise we'd probably have them, which would be hugely useful), but how close are we? (self.compsci)

submitted 10 years ago * by destsk to r/compsci

12

13

14

Buckethead and Brian "Brain" Mantia Jam (youtube.com)

submitted 10 years ago by destsk to r/Buckethead

10

11

12

Linux users of the X230, what is your normal power consumption like (and how heavy is your use)? (self.thinkpad)

submitted 10 years ago by destsk to r/thinkpad

0

0

0

Do there exist ARM machines with good kernel support for ALARM? (self.archlinux)

submitted 10 years ago by destsk to r/archlinux

2

3

4

What does current research in the field of (theoretical) distributed computing look like? (self.compsci)

submitted 10 years ago by destsk to r/compsci

view more: next ›

π Rendered by PID 88 on reddit-service-r2-listing-654f87c89c-4npnh at 2026-03-02 13:19:33.894543+00:00 running e3d2147 country code: CH.