scscsc

6 ms·

1.
Revisiting an early critique of formal verification(lawrencecpaulson.github.io)
2 points by scscsc 2y ago|0 comments
2.
by scscsc 2y ago
Do you also think that primary school students should not be taught, say, multiplication? Because they can, of course, use a calculator. No need to ask them what 3 times 4 is.
3.
by scscsc 3y ago
For your convenience, here is the list of NP-complete problems where "AI" works better than the state of the art in the worst case:.
4.
Whole Earth Index(wholeearth.info)
3 points by scscsc 3y ago|1 comments
5.
by scscsc 3y ago
Having some experience in this field, I can say that all of the tools presented on the webpage are very lightweight static analyzers. They are all based on processing the syntax tree and they which will detect things like uninitialized vari
6.
by scscsc 3y ago
Does anyone know anything about the affiliation of the first author, "Fgemm SPA"?
7.
by scscsc 3y ago
It does not stop it, but certainly reduces it. What are the dozen ways?
8.
by scscsc 3y ago
I have just seen someone using such a phone. It looks good, just a tiny bit bulky. Not sure on how it will do long term. My OnePlus has been serving me well for more than 3 years now.
9.
by scscsc 3y ago
Note that the title is misleading. The issue is lack of seatbelt pre-tensioning, not the size of car. I am surprised manufacturers are not required to have pretensioners.
10.
Pedagogical Downsides of Haskell(ciobaca.substack.com)
74 points by scscsc 3y ago|110 comments
11.
by scscsc 3y ago
To those wondering if there will be a successful "marriage" between popular incarnations of AI, like ChatGPT, and FM: no, at least not in the sense you would expect. Sure, ChatGPT will successfully manage to find formal proofs tha
12.
by scscsc 3y ago
I would like to point out that such a resource is useful for reference purposes (only). If you want to really understand an algorithm/a data structure, you have got to read it up and get your hands dirty and implement it yourself. Ther
13.
by scscsc 4y ago
Could anyone in the know explain how "shorting" works?
14.
Program Proofs (Book)(program-proofs.com)
1 points by scscsc 4y ago|0 comments
15.
by scscsc 4y ago
I am surprised so many talented engineers went the touchscreen route. Volkswagen, Mercedes and more recently BMW are going this way. In my experience it is not only annoying, it is a safety hazard. In my old car, I could feel for the button
16.
by scscsc 4y ago
I have an anecdote to offer: in the early 2000s I was learning to drive in a former comunist country. Most cars were Dacia 1310, a copy of 1970s Renaults. The stick was awful, the steering was very heavy (as in lifting weights heavy), the c
17.
by scscsc 4y ago
When a field is young, it is simpler to make important discoveries, so in that sense, science is (obviously) getting harder. But most of the graphs can be explained by the sheer number of papers being published. Academics have the perverse
18.
by scscsc 4y ago
I am skeptical that a book can substitute for a mentor (or teacher) at the start of someone's dive into mathematics. Once you know your basics, sure, go study a book. But by this point, you already know whether a given book helps you
19.
by scscsc 4y ago
The internet has become larger. People's attention is more dispersed (additionally, several platforms are actively fighting for their attention by using all tricks in the book). Hence the signal-to-noise ratio has dropped. The people w
20.
by scscsc 5y ago
While losing weight, I would not replace it, but simply remove it altogether. Bread is not an essential nutrient (although obviously French baguettes are great tasting). You can get plenty of carbs from other food (e.g., fresh fruit).
21.
by scscsc 6y ago
You are probably thinking of F#, not F*. Very different languages.
22.
by scscsc 6y ago
The key here is "it looks like they are equivalent". In fact, I am not sure they are equivalent (in general, without taking into account the context), and even if they were, proving this would be S.F. for a compiler today (2020).
23.
by scscsc 6y ago
You are probably right regarding speed, but the article is definitely not pointless and bad.
24.
by scscsc 6y ago
That looks interesting. The code is not simpler to understand nor is it more efficient, but it seems to work, assuming target is in the list. How would you represent the empty list? Not sure why you are being downvoted.
25.
by scscsc 6y ago
To have a truly fair evaluation, you would also need to know all the cases where science has not self-corrected yet.
26.
by scscsc 6y ago
It may not seem obvious to everyone, but the value is taking the notes (helps learning significantly), not reading them without context after the fact. People who are interested in learning a subject without attending lectures would be be
27.
by scscsc 6y ago
I teach classes of ~500 students and classes of ~100 students. While having individual projects is very nice and it works for smaller classes, it does not scale to average students. I have once used individual projects to grade the ~100-s
28.
Adding Interactive Visual Syntax to Textual Code(arxiv.org)
2 points by scscsc 6y ago|0 comments
29.
by scscsc 6y ago
Some might enjoy a teaser video of related work by some of the same authors: https://www.youtube.com/watch?v=baKHSXeIIaI . For context, the teaser was produced due to the conference going virtual because of the pandemic.
30.
by scscsc 7y ago
7. Another AI winter, despite AI/ML progress.

More ›