ulber

11 ms·

61.
by ulber 9y ago
Here's the issue on GitHub if you'd like to track it: https://github.com/Microsoft/BashOnWindows/issues/1671 benhills describes the cause: For some context, I've looked at what causes this slo
62.
by ulber 10y ago
Even searching for usql on GitHub [1] returns an Azure U-SQL related result first. [1]: https://github.com/search?utf8=%E2%9C%93&q=usql
63.
by ulber 10y ago
Save forms data and especially save passwords have always seemed phishy to me.
64.
by ulber 10y ago
I know it's long but it's really worth reading. Steve Dunleavy was an interesting man.
65.
by ulber 10y ago
> Think about the possible uses for blockchain technology in third world developing countries This! So much can be done to combat corruption and bureaucracy.
66.
by ulber 10y ago
Is there a good reason this aid is given as a voucher versus giving out money against proof of a rental contract (e.g. how it works in Finland)? Simplified bureaucracy? This would solve at least some of the discrimination problems since the
67.
by ulber 10y ago
If you subscribe to descriptive linguistics at all (which you must if you believe languages can naturally change) a quick google search reveals that performant is actually very much an adjective (i.e. it is commonly used as one to the point
68.
by ulber 10y ago
Other people are already flooding you with counterexamples, but I'll add to the pileup: Z3 ( https://github.com/Z3Prover/z3 ) is the Satisfiability Modulo Theories (SMT) solver to use. It is such a quality piece o
69.
by ulber 10y ago
What they are actually eliminating is work, which is very admirable. After that it becomes a question of income redistribution. Ideally the income should be only partly eliminated (in a way that balances welfare with motivation to find a ne
70.
by ulber 10y ago
>And the purpose of a good database schema (or typeful design) is to make nonsensical things impossible, even in principle. Can you elaborate on what is the nonsensical thing possible with two tables of the same type? To me the (A UNION
71.
by ulber 10y ago
I think you're wrong about this being a GPU. The first bullet point in the slide tilted "HPU: Architecture" says "Sensor aggregator with environment and gesture processing". I don't see any indication of the HP
72.
by ulber 10y ago
The BBC micro:bit happens to be a bad example, since the editors [1] are exactly web apps with no hardware access. The editors compile the code in the browser and provide the ARM binary as a .hex file that the user downloads onto the micro:
73.
by ulber 10y ago
I'm sorry for assuming your interpretation was intentional.
74.
by ulber 10y ago
The "communist" in the comment you replied to is poking fun at the common attitude among Americans towards stronger welfare systems common in other 1st world countries, like the Nordic countries for example. I feel your literal re
75.
by ulber 10y ago
The fact that "We don't want to disrupt people's current experience." did not previously outweigh other considerations does not mean it is not a consideration. It does imply an upper bound on the weight though.
76.
by ulber 10y ago
'this me' in your sentence just refers to the one that is in A. Thus you seem to be asking "why is the version of me, that is in A, in A?". It just is by the definition of the object ('this me') your asking abo
77.
by ulber 10y ago
This page is completely unusable due to lag. From the other comments it seems this is FF specific. One would think FB would have the resources to test new pages at least on common browsers before publishing. Edit: The fix came quickly thoug
78.
by ulber 10y ago
Well, the same actually largely holds for me. Low responsiveness is something I despise in applications. However, the general principle obviously stands: if you have more hardware performance you can be more inefficient and still have good
79.
by ulber 10y ago
The comment by patio11 [1] this article is trying to refute is not an appeal to authority, and as such this article (being an ad hominem) seems ill considered. Why attack the user instead of the comment? [1]: https://news.ycombin
80.
by ulber 10y ago
Desktop processors generally have much higher single threaded performance. Thus apps can more often afford to take a performance hit on desktop than on mobile.
81.
by ulber 10y ago
One example: The HyPer in-memory database from TUM uses fork to provide fast snapshots for running OLAP queries on fresh data. [1]: http://hyper-db.de
82.
by ulber 10y ago
One option which allows you to keep Turing completeness is just asking the user to write more annotations, such as loop invariants and termination conditions. For example the Dafny [1] language+verifier does this: it automates the tedious p
83.
by ulber 10y ago
SDV proves properties that are in general undecidable, and as such it is not possible to substitute the Rust type checker for it. The critical difference is that software verification algorithms are allowed to be partial (i.e. not terminate
84.
by ulber 10y ago
Seems like the Timeful app's features are finally being integrated.
85.
by ulber 11y ago
VS Code is not an Atom fork. They share the packaging tech (Electron), but the application code is completely separate. VS Code is an evolution of an MS online editor component (called Monaco IIRC). I think this is the third time I'm w
86.
by ulber 11y ago
Nokia had an assembly plant in Salo, which it closed down in 2012 I think. So there's probably still quite a bit of work force trained specifically for this job available in Salo. Also good news for Salo (my home town)! Salo hasn'
87.
by ulber 11y ago
Note that Atom and VSCode are "siblings" only in a very loose sense: they use the same app packaging technology [1]. This is enough for your point w.r.t. native software, but VSCode being a fork from Atom is a common misconception
88.
by ulber 11y ago
You've identified another target for regulation: ISPs should not be allowed to exempt traffic from data caps. This is part of a larger concept called net neutrality [1]. [1]: https://en.wikipedia.org/wiki/Net_neutr
89.
by ulber 11y ago
Finland had a similar tax before. At least here the purpose of the tax was to offset the loss of income incurred from (perfectly legal) private copying (i.e. making copies for yourself or your close friends). In this sense our tax did not e
90.
by ulber 11y ago
The intensional definition [1] is quite large, but thankfully most people have easy access to an extension [1] of the concept. So here is an extensional definition: Moral worth is the function you run inside your head that says you prefer t

More ›