chas

11 ms·

31.
by chas 5y ago
This is likely what he is referring to: http://math.andrej.com/2007/09/28/seemingly-impossible-funct... In particular, you can search compact infinite spaces by only considering a finite number of steps: &quo
32.
by chas 5y ago
While sleeping well, exercising regularly, and eating good food will massively improve your mental health, chemical help can be extremely useful for establishing those habits when just trying harder hasn’t worked.
33.
by chas 5y ago
I usually see it when people are comparing two tools and can't come to an agreement. In that context, I feel it ends up being tautological in a way that stops people from digging into the real differences that make something the right
34.
by chas 5y ago
"Use the right tool for the job"
35.
by chas 5y ago
In addition to CT's application to commutative algebra, it's pretty nice for reasoning about programs and logic. Programs: http://cseweb.ucsd.edu/~rtate/publications/proofgen/proofgen... , https:&#x
36.
by chas 5y ago
I am very fond of using graphviz ( https://graphviz.org/ ) to draw the finite state machines that my programs interact with. For example, this is a description of the state machine inside the Linux kernel audio subsystem, as
37.
by chas 6y ago
A handwired QMK keyboard would work fine: https://docs.qmk.fm/#/hand_wire If you have only one or two switches, you can use the DIRECT_PINS configuration to directly put one switch per input pin rather than the more co
38.
by chas 6y ago
I'm happy to hear that you found the first paper interesting! While I agree that it is unlikely C and Python programmers will take up categorical abstractions any time soon, there is some interest from the JavaScript world. As an examp
39.
by chas 6y ago
Programmer warning: this is the math jargon heavy version, you don't need to know the math jargon to make use of these tools for writing day-to-day programs. There are too many applications for me to do justice in one message and it is
40.
by chas 6y ago
I think it's fairly misleading to think of impure computation as a core part of the `Monad` abstraction in Haskell[0]. Most of the places I use monads in Haskell are pure e.g. error handling, parsers, working with DSLs. `IO` is where t
41.
by chas 6y ago
While I'm not an expert in any of this, I'm primarily interested in Homotopy Type Theory (HoTT) because so many tools originally developed for algebraic geometry and algebraic topology have been successfully applied to logic and p
42.
by chas 6y ago
The first thing that got me really enthusiastic in category theory was seeing the definition of the categorical product in terms of universal properties. It's a very simple, but very different way of defining objects that makes it easy
43.
by chas 6y ago
It’s all over the place in embedded software. If your software needs to run for a year on a coin cell battery, you basically have to turn off large sections of your processor and peripherals except when they absolutely need to run.
44.
by chas 6y ago
The control systems for airplanes often have a significant number of mathematical proofs.
45.
by chas 6y ago
Even in languages where the concepts can be encoded, it can be hard to determine what aspects of a given library are the encoding and which parts are the fundamental ideas if you haven't seen the ideas used in well-suited language. For
46.
by chas 6y ago
What’s the application of super high-quality earth cable?
47.
by chas 6y ago
I don't think this builds right now, but it's my favorite example of a project really leveraging the expressivity of Clash to do hardware design: https://github.com/cbiffle/cfm
48.
by chas 6y ago
It turns out that CS folks with distributed systems and functional programming experience can be super productive hardware designers because distributed systems have very similar design-level tradeoffs as ASIC design e.g. how many copies of
49.
by chas 6y ago
Bluespec is still around and actually got open-sourced recently! [0] The Bluespec company is focused on using their tools to build RISC-V cores: https://bluespec.com/ [0]: https://github.com/B-Lang-org/
50.
by chas 6y ago
“append”* is the name chosen for the binary operator in the Haskell standard library’s monoid abstraction and “concat” seems like the same genre, so I would expect people would be fine with the intuition for “concat” as well. Given that thi
51.
by chas 6y ago
I think Matt Might's intro is relatively beginner-friendly depending on your familiarity with Scheme: http://matt.might.net/articles/intro-static-analysis/
52.
by chas 6y ago
Principles of Program Analysis isn't the Cousot's text, but it does make significant use of abstract math. In particular, it uses tools from order theory[0] to describe many program analysis algorithms as finding fixpoints of func
53.
by chas 6y ago
This article gets more into actual analysis of program state and execution: http://matt.might.net/articles/intro-static-analysis/ If you want to go deeper, Principles of Program Analysis is a popular referenc
54.
by chas 6y ago
Under what circumstances to non-contiguous data structures run faster? I know of circumstances where structures with pointers make it easier to get better asymptotic behavior with a large amount of data, but none where a linked structure ou
55.
by chas 7y ago
While this is true for many process nodes, it is not true in general. For instance, the transition to FinFETs greatly reduced leakage power in TSMC 16nm in comparison to their 28nm processes.
56.
Bluespec to Open Source Its Hardware Description Language(bluespec.com)
2 points by chas 7y ago|0 comments
57.
by chas 7y ago
If “placebo-resistant depression” and “treatment-resistant depression” were synonyms, we would expect that excluding treatment-resistant depression from your study would result in the studying showing precisely no difference between treatm
58.
by chas 7y ago
The “or” makes it a sum type.
59.
by chas 7y ago
This sort of homology[1] or this sort[2]? It looks like this is about the first one and proteins usually involve the second one. If they are more related than I expect, I would love to find out. [1] https://en.wikipedia.org/
60.
by chas 7y ago
This breakthrough is only a big deal from a practical perspective in that it very strongly suggests that further research on engineering large quantum computers will provide the exponential performance improvements predicted by quantum comp

More ›