yazr

> 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

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.

So Israel/Telaviv is a known outlier with huge VC investment in a tiny economy.

But I am surprised by the high US & Canada %.

> 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 spent 2 years with Java on mission critical backend code. Both have their uses.

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 offer offers. And we get a bloodbath ?

> 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 out of this game for a couple of years

Today I am more interested in compiler techniques and code synthesis.

Note that the US is basically break-even on oil/liquid consumption.

Either way, this is pretty extra-ordinary.

A full pdf paper

http://www.fdg2013.org/program/workshops/papers/PCG2013/pcg2...

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/29969194#29969194

> 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 ?

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 it can improve operating metrics, and become massively profitable.

Enter VC with preferred share clauses..

Whats the typical bandwidth quota? Surely they wont let u saturate a 10gig pipe ..

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.

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 configurations. $500-$1500/bike wholesale price range.

If someone knows of anything like this, please post the URL.

> 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 registered (and i guess taxed and fee-ed) for various betting activities ?

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.

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 generate code in a DSL

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

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... ;)

What do you mean by it didn't work? Not adopted or are there implementation issues?

Also - for the OP. Don't be discouraged there's so many features to add, management, attribution, machine learning etc

I also liked the detailed analysis of the initial Earnest proposal [1]

[1] https://medium.com/swlh/the-cost-of-raising-earnest-a-review...

Do u have any recent links to program synthesis (with transformer or other novel attempts ?)

I come from Deep reinforcement learning. When considering simulated environments (such as AlphaZero, AlphaStar), can feature engineering dramatically improve the cpu-requirement or sample-efficiency ?

Or are low-level features the "easiest" part for the network to learn?

Edit1 : I understand of course the academic purity of working from raw data.

Edit2: so simulated means lots of samples, on policy learning, but also very cpu intensive.

Are there good non-DELL alternatives for a nice sharp IPS 24" for dev work?

Nothing against dell. Good for them for building such a strong brand.

This is a Russia-based site, and the case was dismissed on jurisdiction grounds.

IANAL, but it seems surprising. Usually having even a minority of users from the US, is enough to establish jurisdiction.

What ever happened to FS (and flight simulators in general) ?

Is there a current commercial version? Did people just lose interest?

Or maybe the current 10 (20?) year old stuff is simply good enough

What is the situation today with SC/BW/SC2 on linux?

I dont have Windows. Dont have the CDs. Dont have a discrete GPU on my laptop. Is there anything available for plain linux?

if u reduced it to a nice shareable pdf can u please share a link?

Is BERT computationally (and sample-wise) equivalent to previous SOTA?

(I do DRL but not NLP)

I sometimes read these DL papers and the requirements are not really feasible if you have to re-implement them in a modified domain.

> pkker before solvers

Can u please explain what are "solvers"?! I used to be involved in online poker software but I am out of date by about 10 years.