airesQ

6 ms·

1.
by airesQ 2mo ago
Jacobian conjecture disproved? Doesn't even make it to the list. > How surreal is it that we are not absolutely jaw-dropped by these types of capability improvements? Agree
2.
by airesQ 1y ago
Is IntelliJ "bad"? Aren't the reactions here overly negative? This means the company is funded, development will continue, zed will continue to improve. An IntelliJ style license (for example) is an acceptable trade-off from
3.
by airesQ 1y ago
There's a slower and arguably better version of Pärt's "De Profundis": * https://www.youtube.com/watch?v=twzmflIdYmw
4.
by airesQ 3y ago
Incredible work. So much depth; initially I thought it's "just" a 3d model. The animations are amazing.
5.
by airesQ 7y ago
The new entrants would be on the design side. If Intel no longer holds the keys to best fab-tech in the world then all bets are off. (I'm assuming that Intel doesn't allow competitors to use their fabs; and that Intel does indeed
6.
by airesQ 7y ago
Is it just me or the competition on the CPU market is about to get really interesting? My understanding is that if Intel loses the edge on fab-tech then the door is open for all kinds of new entrants. (I could be wrong though.) Who knows, p
7.
by airesQ 7y ago
I feel like there is a big audience for fish with bash support. This could be a nice project; lets call it "shark".
8.
by airesQ 8y ago
Their papers[1] are also quite good. [1] - https://research.fb.com/publications/
9.
by airesQ 8y ago
Perhaps Huawei will buy them. (speculating here)
10.
by airesQ 8y ago
This will foment a lot of anger. It does look to me that the US is really at its best here in applying the rule of law, and following the contract it had with ZTE to the letter. But others will find it hard to believe, especially with Trump
11.
by airesQ 9y ago
Lack of cash is not one of Apple's problems. If they wanted to invest more in the US they could. Most of the money will probably just sit still in a wide variety of investments (bonds and other stuff; Apple is one of the biggest player
12.
by airesQ 9y ago
Worked on my system. (Set cache_hit_threshold to the default value of 80, my cpu is an Intel i7-6700k.)
13.
by airesQ 9y ago
Given Intel's dominance of the server market does this mean that datacenter computational capacity will see an overnight ~5% drop? Is there enough spare capacity to cope with this? Will spot-instance prices go up? Will I need more inst
14.
by airesQ 9y ago
Couldn't the algorithm give its judgement before the video goes live?
15.
by airesQ 9y ago
Calling Avago "virtually unknown" might have been too dismissive from my part. But lets consider 2013. Avago had a revenue of $2.5bn, respectable, but that's not much when compared with Qualcomm's $24.9bn, less than Broa
16.
by airesQ 9y ago
What a crazy turn of events. After all this M&A activity, Avago, a virtually unknown company, might end up owning Broadcom, Qualcomm, NXP and Freescale. How is this even possible? Who is financing these guys?
17.
by airesQ 9y ago
In vscode is it possible to use alt+backspace to delete a word till the next '_' (underscore) or '-'(dash)? (ctrl-backspace works, but that deletes the whole word.) This is something I do all the time in atom, and miss q
18.
by airesQ 9y ago
Love Python, but gosh, the lack of type checking. It might not seem like a problem with small applications, but it makes navigation and refactoring of large codebases much harder than it needs to be. Yes there are type annotations, but they
19.
by airesQ 9y ago
WiFi doesn't have an easy life either: - It needs to work on unlicensed spectrum, which means that it has to play well with all manner of devices that contend for this spectrum (e.g. other WiFi devices, Bluetooth, IEEE802.15.4). In pra
20.
In depth repair of 90's Vector Network Analyzer(youtube.com)
1 points by airesQ 9y ago|0 comments
21.
by airesQ 10y ago
It seems that we have deep learning applied to MRI: A deep-learning algorithm that primarily uses surface area information from magnetic resonance imaging of the brain of 6–12-month-old individuals predicted the diagnosis of autism
22.
by airesQ 10y ago
This is a true tour-de-force in computer security. The way they exploit the MMU page table walk is just exquisite.
23.
by airesQ 10y ago
It might well be. Jordan's military leadership is surprisingly competent, with lots of forward thinking, preparations and plans for eventualities.
24.
by airesQ 10y ago
I really abhor this recent escalation, and hope this will be a transient phenomenon. But if things came to the worse, the EU would just have to emulate China. China seems to manage just fine without Google, Twitter, Facebook and Amazon. Mak
25.
by airesQ 10y ago
I did a brief survey before deciding to go with skip lists, and found them to be easier to grasp and reason about. (e.g. there is no need to balance trees; a skip list is very similar to a linked list, and linked lists are very simple). I r
26.
by airesQ 10y ago
Skip lists are probably the easiest way of getting O(log(n)) lookups on ordered lists. Recently I got rid of huge bottleneck on an oldish piece of software by moving from a vanilla linked list to a skip list. And I did do many things sugges
27.
by airesQ 10y ago
This article focus a lot on security, but deterministic builds are also good property to have for other reasons (e.g. it can serve as strong evidence that a new build environment is sound; gives people more trust in the build process).
28.
by airesQ 10y ago
So Deliveroo for the US?
29.
by airesQ 10y ago
I see your point. There are indeed a couple of errors in there. But the point still holds. The sign is wrong on the sum of the left hand side. And a (-1)^(a+1) is missing on the RHS. But these do not change the "this is an integer&quot
30.
by airesQ 10y ago
For those that did not notice: if you click the second comment by the margin, you get a comment with a step-by-step decomposition of the proof.

More ›