abathologist

11 ms·

91.
by abathologist 1y ago
Any one know how Curry (which has a Haskell-like syntax extended to support prologish features) compares with Mercury (which has a Prolog-like syntax extended to support Haskellish features)?
92.
by abathologist 2y ago
There are important exceptions, such as C.S. Peirce, Whitehead, and currently Robert Brandom. William Lawvere is also a post-hegelian.
93.
by abathologist 2y ago
Perhaps I misunderstand, but your criticism seems to me rather to agree with Penrose's argument. Points (1) and (2) argue that human reasoning is not computational, in the sense relevant for Gödel's theorems. That is exactly Penro
94.
by abathologist 2y ago
You can do [model based testing]( https://en.wikipedia.org/wiki/Model-based_testing ) (e.g., https://mbt.informal.systems/ ) But this exact problem is why I am more interested in approaches that integrate
95.
by abathologist 2y ago
The hubub around the Gettier paper is surely among philosophy's most shameful moments.
96.
OPAM repository for OCaml with Jane Street extensions(github.com)
2 points by abathologist 2y ago|1 comments
97.
by abathologist 2y ago
> This repository is a package repository for the opam package manager. It contains OCaml with Jane Street language extensions, including all Jane Street packages and necessary patches to external packages for building our libraries. Key
98.
by abathologist 3y ago
> Why is this taken as a given to be a good thing? Aspiring to rigorous reason and maximum reasonability is necessary for virtue. Maths is the way we reason rigorously about space and time.
99.
by abathologist 3y ago
Yeah, I thought the same!
100.
by abathologist 3y ago
I am not much concerned with hyper optimizations, but I was curious how OCaml would fair with the initial, simple steps, before things get crazy. But I opted for a more complex program: (\* t.ml \*) let () = print_endline "He
101.
by abathologist 3y ago
> I don’t recall people striking up conversations in grocery lines before smart phones, nor would I have been interested in it. I do. You may not quite be old enough to have seen/participated in this. Or maybe it wasn't happeni
102.
by abathologist 3y ago
This is an interesting reflection, and I'm glad to have read it. A few things came to mind: The view of programming as "summarizing what's on StackOverflow" is really alien to me. I suspect this is indicative of a partic
103.
Notes on Nothing (2023)(interactions.acm.org)
1 points by abathologist 3y ago|0 comments
104.
by abathologist 3y ago
$$$$$
105.
by abathologist 3y ago
> Physical property is a consequence of the laws of physics. If I have a gold coin in my hand, then you don't have that gold coin in your hand. So do you believe people should only be able to own real estate that they are currently
106.
by abathologist 3y ago
CORRECTION: > find and diagnose typing errors prior to running any type checker Should read > find and diagnose typing errors prior to running any model checker
107.
by abathologist 3y ago
That's what I meant! Thanks for the correction :)
108.
by abathologist 3y ago
I think you and Ron are confusing the relevant phase distinction the rest of us have in mind when we talk about type checking in this context. What we mean is that quint, the language, is expressed on top of a many-sorted logic which allows
109.
by abathologist 3y ago
This is great feedback, thanks! Probably the first step tutorial should just be on something very straightforward, like an hour clock or a counter. I'll file an issue to introduce something more focused. Thanks again :) edit: https:&#
110.
by abathologist 3y ago
Those are great questions! Let me add a one addendum to bugarela's excellent explanation, to help disambiguate these three formalism: 1. TLA[0] is a logical calculus invented by Leslie Lamport. 2. TLA+[1] is a formal specification lang
111.
by abathologist 3y ago
I can sympathize! We are aiming to maintain most of the expressive power of TLA+ -- ideally everything you need for a concise, high-high level specification, that can be simulated and/or verified -- but with surface syntax that is mo
112.
by abathologist 3y ago
That is our aim! If you give it a shot and find things that aren't so approachable, we'd live to hear how we can improve.
113.
Quint: A specification language based on the temporal logic of actions (TLA)(github.com)
110 points by abathologist 3y ago|35 comments
114.
by abathologist 3y ago
That page seems totally reasonable and admirable to me. It’s literally just advocating for including the wide and varied history of algorithm development, in order to encourage readers from many different backgrounds to find ways to connect
115.
by abathologist 3y ago
It's still in pretty early development, but you may be interested in https://github.com/informalsystems/quint > It combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-
116.
It's Lit: A GitHub template to automate greening your Git commit graph(github.com)
1 points by abathologist 3y ago|0 comments
117.
by abathologist 4y ago
Confidence men like Musk are brilliant in this respect at least: they can so bedazzle some segments that they are willing to reinterpret every possible outcome, no matter how obviously detrimental, as a secretly planned win, only under alte
118.
by abathologist 4y ago
here are a few - https://github.com/coq/coq - https://github.com/mirage/mirage - https://github.com/returntocorp/semgrep - https://github.com/bcpierce00/
119.
by abathologist 4y ago
> Most Houses need to last 30 or 50 years Why? It seems absurd to me to only have a dwelling last for half a lifetime. This view seems to assume a disposable, consumerist logic, which seems at odds in my view both from reasonable use of
120.
by abathologist 4y ago
That's funny. This has been a problem for every experienced Haskell programmer I've known who works in Haskell professionally. I wonder what domain you work in where performance and space leaks haven't been a concern?

More ›