scscsc

9 ms·

31.
by scscsc 7y ago
1. Mainstream CPUs get a lot more cores, making difference between software and hardware rendering disappear. 2. More and more features of programming languages for verifiable software (e.g., Dafny or Coq) get into mainstream languages, res
32.
by scscsc 7y ago
As a teacher, the way to fix this is to give "aligned tests". That is, where the test tests for exactly what you want the student to learn. See https://en.m.wikipedia.org/wiki/Constructive_alignment .
33.
by scscsc 7y ago
As expressions, sure, they are not the same. But "2 + 3 = 5" is a statement about numbers, not about expressions. When you talk about numbers (the object of study), you do not (usually) talk about arithmetic expressions. Arithmeti
34.
by scscsc 7y ago
The author unfortunately has a misunderstanding of equality. Quoting him, "The equal sign is another mathematical concept that’s often misunderstood. It means, of course, that whatever is on either side of the equal sign is equivalent.
35.
How to Design for the Modern Web (Satire)(medium.com)
11 points by scscsc 8y ago|2 comments
36.
by scscsc 8y ago
I've worked on a similar project ( https://profs.info.uaic.ro/~stefan.ciobaca/lnd.html ), where the interface allows only for backwards proofs. The only action allowed is to click a proof rule to be applied next, an
37.
by scscsc 8y ago
Still, the comparison ratio == threshold has very little chance to turn out true. When you want to check whether A >= B (where A and B are numbers represented as floats), you would probably want to use the check A >= B - epsilon.
38.
by scscsc 8y ago
So you are agreeing with the author, since he is critiquing Standard ML (not Haskell). It is clear that the paper was influential, since Haskell does not have the shortcomings described.
39.
by scscsc 8y ago
What are the "many" other issues (other than the two you mentioned in your comments)?
40.
Availability of Java SE 8 updates for personal use in question after 2020(java.com)
1 points by scscsc 8y ago|1 comments
41.
by scscsc 8y ago
Actually you would just have to file a theft report with the local police and the car would not even enter Romania without the driver likely arrested and the car confiscated, as there is a real time db of cars reported stolen that is shared
42.
[pdf] If You’re Not Writing a Program, Don’t Use a Programming Language(bulletin.eatcs.org)
2 points by scscsc 8y ago|1 comments
43.
by scscsc 8y ago
Assuming p V !p (read: p or not p) as an axiom means that you are admitting excluded middle. This axiom is part of "classical propositional logic". So a proof using this case distinction (p true or p false) would be valid, in the
44.
by scscsc 8y ago
Quite an insightful thought for 1971: "With the advent of what is called "large scale integration" (being a term from the computer field, its acronym LSI is better known!) it seems to become technically feasible to build mach
45.
Computer Math Proof Shows Reasoning Power (1996)(nytimes.com)
1 points by scscsc 9y ago|0 comments
46.
by scscsc 9y ago
The title is terrible. Here is an excerpt from the article that explains what's going on: "The company's solution was to develop Git Virtual File System (GVFS). With GVFS, a local replica of a Git repository is virtualized su
47.
by scscsc 9y ago
I have implemented a while ago an Android version ( https://play.google.com/store/apps/details?hl=en-gb&id=com.o... ). By far, the most interesting part is automatically generating the levels by difficulty. In m
48.
In Romania, Vestiges of Communism Boost Women in Tech(motherboard.vice.com)
3 points by scscsc 10y ago|0 comments
49.
by scscsc 11y ago
Mihai absolutely revolutionised his field (lower bounds for data structures). Science lost a great mind with his death. But his friends lost more. The article is more about Mihai - the person, for those who want to find out who he really wa
50.
by scscsc 11y ago
For those who are, like me, ignorant: VS Code is a source code editor... I find it funny that nowhere on the official page (code.visualstudio.com) does it say that it's an editor.
51.
Scooterson – lightweight electric scooter(scooterson.com)
2 points by scscsc 11y ago|0 comments
52.
Glider goes missing in Romania, is not found despite massive mobilization(romaniajournal.ro)
1 points by scscsc 11y ago|0 comments
53.
by scscsc 11y ago
Your are (most probably) wrong. Has your client ever reported a bug? Was it a bug you cared about? Why haven't you discovered it during testing?
54.
by scscsc 11y ago
i.e. can a bug that existed early in the toolchain history propagate in the binaries but not the sources? c_i is the i'th version of the compiler. c1 c2 // c1 compiles c2 c2 c3 // c2 compiles c3 Source
55.
by scscsc 12y ago
Well, that's also true. But apparently there is no better thing to do. There is always a disconnect between what you mean and what you say. It happens all the time and the risk is not going to go away. People who work with proof assist
56.
by scscsc 12y ago
It is true that there might be errors in anything. However, this is mitigated by having only a very small core that checks the proofs. Basically if there if a wrong proof goes through, there must be an error in the core (which was checked b
57.
by scscsc 12y ago
Nice game, quite polished. Is the solution unique to each puzzle? The style is similar to my game NoThree for Android ( https://play.google.com/store/apps/details?id=com.ovaludi.no... ).
58.
Immediate Mode GUIs(mollyrocket.com)
1 points by scscsc 12y ago|0 comments
59.
Curiosity – explore the web's best learning videos(curiosity.com)
3 points by scscsc 12y ago|0 comments
60.
by scscsc 12y ago
If you forget to write view for the Mul case, does the compiler issue an error? (in other words, is it strongly typed?)

More ›