yazr

9 ms·

31.
by yazr 8y ago
This. ML is so vector-y. And code is so graph-y. Can you point out some SOTA on bridging this ?
32.
by yazr 8y ago
Not for PhD, but for research purposes ;) Can u point out any work on refactoring existing code for reduced code complexity? Obtaining same (non)functional behavior using less code. EDIT: i will read the CodeDeviant paper
33.
by yazr 8y ago
If you need to set your mentor performance-metrics, u should probably find yourself someone else (I am not the down-voter). Also, 1% for later-stage? post-VC? sounds very high. I like this article, which describes 3 different scenarios htt
34.
by yazr 8y ago
Can you please explain why "new schedules do take some bedding" ? Cant u sort of simulate the expected scenarios and get sort-of expected performance? I realize there is unexpected events, but these will occur anyway in old and ne
35.
by yazr 8y ago
I understand that a JIT engine cant do this, due to speed. But would be surprised that a LLVM compiler with a custom-designed heuristic for specific optimizations cant manage this. These problems may be polynomial etc etc, but MOST of the c
36.
by yazr 8y ago
> key optimisations such as scalar replacement of aggregates Can u give an example or link to a relevant article. Context: my area is more of high-level program (e.g. shape) analysis
37.
by yazr 8y ago
Thank u for this write up. It made me smile, and hopefully this will last for more than the 5min it takes to reach the comments about worker conditions and low-cost exploitation.
38.
by yazr 8y ago
So Israel/Telaviv is a known outlier with huge VC investment in a tiny economy. But I am surprised by the high US & Canada %.
39.
VC Investmentsas a % of GDP(read.oecd-ilibrary.org)
2 points by yazr 8y ago|1 comments
40.
by yazr 8y ago
> Isn't Java still one of the default languages ? Yes. There is no need to engage the GP - let him rant about Go and JS. Java is still huge, for both legacy and new projects. For context - I started as a C/Kernel dev. I also sp
41.
by yazr 8y ago
Can anyone estimate how much revenue/users Sketch has? A great sustainable comfortable product company. But its a developer tool, so of course we will get endless competitors products. So we need capital. So VC are now in a position to
42.
by yazr 8y ago
> few startups who are doing automated dynamic analysis and working on symbolic execution Can u mention some of the new technical directions? I used to work in security, did windows AV, kernel layer, code analysis, etc but i have been ou
43.
by yazr 8y ago
Note that the US is basically break-even on oil/liquid consumption. Either way, this is pretty extra-ordinary.
44.
Rystad Energy: US to export more oil, liquids than Saudis by yearend(ogj.com)
3 points by yazr 8y ago|1 comments
45.
by yazr 8y ago
A full pdf paper http://www.fdg2013.org/program/workshops/papers/PCG2013/pcg2...
46.
Data Games – based on real world explorable data(slideshare.net)
2 points by yazr 8y ago|1 comments
47.
by yazr 8y ago
Are there any MtG tournaments which are played for real-money prizes ? This seems to me to be similar to poker, and considered a game of luck. But i am not familiar enough. I also found this https://boardgamegeek.com/article
48.
by yazr 8y ago
> recently become popular among the scalable program analysis crowd. Can someone give some examples? I have read papers from the Athens University using datalog and pointer analysis. Has this become a major direction ?
49.
Delete Never: The Digital Hoarders Who Collect Terabytes(gizmodo.com)
16 points by yazr 8y ago|15 comments
50.
by yazr 8y ago
Louisville, Kentucky data indicates scooters last about 1 month. Average 3 rides per day, so scooter is idle 90% of time. Recharging is a massive 40% of ride cost. Credit card another 10%. So it is currently a huge, lasting money pit. But i
51.
Shared scooters don't last long(oversharing.substack.com)
2 points by yazr 8y ago|2 comments
52.
by yazr 8y ago
Whats the typical bandwidth quota? Surely they wont let u saturate a 10gig pipe ..
53.
by yazr 8y ago
Not clear if this is mostly a "wonder food false advertisement" enforcement, or a "false review" enforcement. Maybe this was an easy "starter case" to advertise (ha ha) the new FTC position.
54.
Ask HN: Does your smart phone survive with out a protector
4 points by yazr 8y ago|7 comments
55.
by yazr 8y ago
This GM bike is hilariously over priced. My city is swapped with these things, at half the price, with cheap and plentiful corner repair shops. I was once shown a Chinese B2B site, with a dashboard mix-n-match for various e-bike configurati
56.
by yazr 8y ago
> With laws changing, sports gambling is becoming a reality in all states. What is the current status in the US? Isnt it federally prohibit, in addition to state level regulation ? And i any case, dont u have to be specifically registere
57.
by yazr 8y ago
Thanks for the explanation. Program synthesis is HARD, and we may never solve it, so any progress on this is great to read about. Good luck with this.
58.
by yazr 8y ago
TLDR : we use a solver to go from a formal constraint specification to an Ethereum smart contract So 1. the initial specification is still a formal constraint 2. the domain complexity is low 3. Use well known solvers to gener
59.
by yazr 8y ago
Has anyone integrated "program analysis" algorithms into ROSE? Even basic stuff like Steensgaard, Andersen can take a lot of effort to integrate into new frameworks
60.
by yazr 8y ago
Thank you for mentioning the IBM plan. How hard was it to move from the Builder to the Premium plan? It looks pretty amazing. Though i probably wouldnt want to host a netflix-type app on an IBM cloud. Shudder... ;)

More ›