twa927

31 ms·

91.
by twa927 10y ago
Mathematical proofs of correctness of even simple programs WITHOUT the mentioned technicalities are very complex (multiple times longer than the actual programs). This suggests that there is a lot of inherent complexity in the core software
92.
by twa927 10y ago
SQLite is an SQL database engine. Using it for storing a single value is like attacking a fly with a nuclear weapon. Unless you are talking about a function in the SQLite library that implements the durability calls properly and can be call
93.
by twa927 10y ago
> A notable quote: SQLite does not compete with client/server databases. SQLite competes with fopen(). So if I need to create a file with a timestamp, you are suggesting creating a SQLite database, a table, and inserting my timestam
94.
by twa927 10y ago
I claim that the essential complexity of real world software is inherently high. Yes, the accidental complexity can balloon to infinity (FizzBuzzEnterpriseEdition), but even the simplest possible software solving a given real world problem
95.
by twa927 10y ago
Ok, so you seem to understand it's a huge problem to attack and many, many people tried to do it and viewed it as "the next big thing" in programming (Wikipedia page [0] lists more than 100 visual languages). I think a possib
96.
by twa927 10y ago
Why do you hold the assumption that code can be made much simpler than it is? I've done many years of programming and wrote some bigger programs from scratch by myself. Almost always the actual code is far more complicated than one wou
97.
Tell HN: CPUs can't be “fast enough”
1 points by twa927 11y ago|0 comments
98.
by twa927 11y ago
It's OK to use heuristics and "magic" in many cases - when it's acceptable to have correctness rate lower than 100%. When an IDE generates some code it's OK that it's correct in 90% cases only, because I can re
99.
by twa927 11y ago
> Only the iOS webview is allowed to render web content. This is quite shocking. I wonder how a platform with such policies could be universally accepted and praised by the tech community. Microsoft didn't achieve this level of clos
100.
by twa927 11y ago
Thanks for the tips, it might be Dell and/or CCFL issue.
101.
by twa927 11y ago
No, the resolution isn't upscaled. I think the issue is in LED technology (at least in cheap models), because all LED screens I worked on share it. The issue is definitely a subtle one, but my eyes definitely prefer LCD backlight. The
102.
by twa927 11y ago
I don't think I'm an old Unix bearded guy going for nostalgia: 1) I'm not that old, 2) I don't have a beard, 3) I like modern things, but I don't like when they are inferior to old things.
103.
Ask HN: Monitor for programming – modern LEDs are poor for text
1 points by twa927 11y ago|8 comments
104.
by twa927 11y ago
[reply to a deleted comment] That's a nice method of cooperation with a search engine, but in the majority of the cases (Reddit upvotes, Facebook likes, Twitter followers) it's not implemented. A related question is if Google uses
105.
by twa927 12y ago
I think things like dependency injection popularity can be explained by looking at communities created around programming languages. Particularly, the levels of abstraction a given community encourages is largely constant. Java is probably
106.
by twa927 12y ago
I'm not affiliated with the authors in any way. I stumbled on the page when looking to use a standard JSON representation of tables in an REST API (and I'm still not sure I should use this).
107.
by twa927 12y ago
But what about reimplementing the same concept over and over again? Like if your API returns tables, then you need to invent a format, write documentation instead of linking to it etc. On the other hand, such standarizations tend to become
108.
JSON Table Schema(dataprotocols.org)
20 points by twa927 12y ago|6 comments
109.
by twa927 12y ago
That's something I can't understand - why the inferior model is enforced by the specs (the same workspace on all screens). Having separate workspaces for separate screens is a natural setup, and for me it's the reason I could
110.
by twa927 12y ago
You need a policy on how to use multiple monitors, telling which monitors are assigned to which applications. If you will just randomly place applications on different screens, you will surely get a distracting work environment. To disprove
111.
Tell HN: Show HN has become an awful way to introduce your project
11 points by twa927 12y ago|6 comments
112.
Inaudible High-Frequency Sounds Affect Brain Activity: Hypersonic Effect (2000)(jn.physiology.org)
28 points by twa927 12y ago|6 comments
113.
by twa927 12y ago
You should read Microsoft's reply to the essay [0] which contains your arguments and PG's reply to it [1]. It's interesting to review claims from years ago and I think PG was largely right. Microsoft is not completely irrelev
114.
by twa927 12y ago
He writes about the dangers Microsoft saw in Javascript and generally an open web that escapes Microsoft's lock-in, and that they kept Javascript broken to prevent the escape. I posted the link mainly because I think that a large porti
115.
by twa927 12y ago
"Microsoft cast a shadow over the software world for almost 20 years starting in the late 80s." It was not only the internet. In some way it was an evil monopoly that did everything to prevent others from innovate and forced usage
116.
by twa927 12y ago
I think that implementing "opt-in" is the natural solution and yet the maintainer writes that it will "brake everything". I don't understand this extreme reluctance of Tip4Commit to acknowledge the right of owners
117.
by twa927 12y ago
A few things I found about tip4commit by searching through reddit: - 4 months ago Bitcoin Core was happy to raise 1.8BTC in two days using tip4commit [0], but today's comment [1] signals they are not happy with tip4commit, because it e