deltasepsilon

12 ms·

1.
by deltasepsilon 2y ago
I would say another one. A system does not exhibit synchronicity if: all highly improbable coincidences between events are causally linked. Although, this question kinda looks like a homework question in a philosophy of logic class.
2.
by deltasepsilon 2y ago
You sure as heck make a whole lotta apps. One of these days you'll strike gold. I think you'll have better luck with an app that allows depraved rich people connect with desperate poor people in order to have them do their bidding
3.
by deltasepsilon 2y ago
FWIW, your ability to self-reflect makes me excited for your future. There is nothing to "fix" with respect to self-esteem and confidence. Just observe those thoughts as they arise and laugh at them. We all are novices. We just ha
4.
by deltasepsilon 2y ago
You are putting to much emphasis in what you believe to be your intelligence. If you enjoy something, pursue it. There are some caveats, however. You have to get out of your own way. If you want to believe you can't do it, congratulati
5.
Image plane and depth-of-field effects of Electronic First Curtain Shutter(dpreview.com)
2 points by deltasepsilon 2y ago|0 comments
6.
by deltasepsilon 2y ago
This story was not submitted by tintinnabula. I'm scandalized. /s
7.
by deltasepsilon 2y ago
Woah, I can't believe it, I've found the discussion that linked the thing I was looking for. [1] It's called Coz, the causal profiler [2]. I've submitted this talk again, because I think it's super interesting. [1]
8.
by deltasepsilon 2y ago
Thank you for your suggestion, but no. This wasn't explored recently. It's been a year at least since this was discussed. The work comes from an academic researcher in a CS or Engineering department. I'm interested because it
9.
Ask HN: Looking for a Talk on Software Optimization
1 points by deltasepsilon 2y ago|3 comments
10.
by deltasepsilon 3y ago
An introduction to my favourite thinker on such things [1]. [1] Umberto Eco takes on big lies and the human compulsion to hate, The Philadelphia Enquirer, Nov. 10, 2011. https://archive.is/sTIuk
11.
by deltasepsilon 3y ago
Having watched the video, all I can think about is this [1], Soul Limbo by Booker T. and the M.G.'s. Times were certainly better once upon a time. [1] https://www.youtube.com/watch?v=GWHFa2848uM
12.
by deltasepsilon 3y ago
I posted about a book that was recently published about categorical computability theory [1]. The author has a draft of the book available on the arXiv, which is what this submission is. As I said in my previous submission, I think this mat
13.
Programs as Diagrams: From Categorical Computability to Computable Categories(arxiv.org)
20 points by deltasepsilon 3y ago|1 comments
14.
by deltasepsilon 3y ago
Okay, but where do the definitions come from and what do they refer to? If you don't care, fine. You simply are only concerned with the utility of this so called "mathematics". But at some point, and with some sophistication,
15.
by deltasepsilon 3y ago
I believe the parent was referring to Girard's paradox [1], but it's been a while and I'm not a specialist in this area. [1] https://en.wikipedia.org/wiki/System_U#Girard's_paradox
16.
by deltasepsilon 3y ago
Thanks for your response. I'm not very familiar with reasoning in modal logic so I'm finding it hard to get an intuition for your `^` operator. Yes, it does seem like some kind of generalized provability. Does `a^b` mean `a` is pr
17.
by deltasepsilon 3y ago
I'm attempting to understand you, so: Are you saying that Löb's axiom, which states that the provability of "the provability of p implies p" implies the provability of p, necessarily prejudices some implicit assumption o
18.
by deltasepsilon 3y ago
Are you saying the hardware actually has encode on die but was "fused" off? If so, Raspberry Pi has an organizational culture of outright lying, as opposed to simply speaking plainly. I know this is not Eben Upton speaking, but I&
19.
by deltasepsilon 3y ago
For those interested in SDR, there was recently a discussion here on signals identification [1], and some months ago a discussion of NXP's new LA9310 ADC chip for radio applications [2]: [1] https://news.ycombinator.com&#x2F
20.
Programs as Diagrams: From Categorical Computability to Computable Categories(amazon.com)
4 points by deltasepsilon 3y ago|1 comments
21.
by deltasepsilon 3y ago
The above post is a link to a recently released book on Amazon. The book introduces a diagrammatic approach to the concept of a computer program and in so doing provides a concrete, pictorial view towards of a type of computational category
22.
by deltasepsilon 3y ago
Tim Sweeney's session begins 9 hours and 2 minutes into the linked video. This event occurred at ICFP 2023 (International Conference on Functional Programming). For some reason HN removes the end of the submitted URL which automaticall
23.
Tim Sweeney and S. Peyton Jones (Epic Games)–Beyond FP: A Taste of Verse [video](youtube.com)
2 points by deltasepsilon 3y ago|0 comments
24.
AMD Secure Encrypted Virtualization (SEV) Firmware Source(github.com)
4 points by deltasepsilon 3y ago|0 comments
25.
by deltasepsilon 3y ago
Thanks so much for sharing this. I'd never read it before. It's sad that his advice predates my existence yet here we are still unwilling to listen. > The design of a program and the design of its specification must be undertak
26.
by deltasepsilon 3y ago
> nobody is ever going to use a language with a semantic but no implementation I appreciate what you're saying, however, hear me out. Suppose we had a language with a defined semantics and a useable implementation. We could use th
27.
by deltasepsilon 3y ago
I think the importance of this work is best illustrated by a simple example [1]. If that link doesn't work, go to https://cerberus.cl.cam.ac.uk/ select File->Popl 2019 and pick the second example (basic_local_yx) an
28.
by deltasepsilon 4y ago
The kid did a marvellous job of presenting information. The excellent technical work is one thing, however the organization and delivery of the material was beyond exemplary.
29.
by deltasepsilon 4y ago
> It’s sad that well into the 21st Century, Computer Science has so regressed that people no longer see the point of distinguishing between a programming language and its implementation. Amen. I guarantee that Rust will regret not addres
30.
by deltasepsilon 4y ago
It just means you're not doing anything interesting on your job. If you have constraints, i.e. not enough compute, not enough memory, not enough storage, then you'll need a solution and, odds are, somebody has had the same problem

More ›