darzu

18 ms·

151.
by darzu 7y ago
touché. What a missed opportunity Project Spark was. I feel like a book could be written about that.
152.
by darzu 7y ago
> Hopefully it keeps chugging along for some time That's my biggest question, especially with Google. Meanwhile, Kodu is still getting updates 10 years later! [0] (Disclosure: I was an intern on Kodu years back, so I'm probab
153.
by darzu 7y ago
This sounds.. crazy to me but hey if it works for you that's great and maybe you should post something! I'd be curious to see a workflow that uses handwritten code.
154.
by darzu 7y ago
Honestly these new changes (esp. the second monitor for MacOS support, if it works well) will probably finally get me to buy an iPad. This all looks very good to me. Real file system browser; much better multi-tasking; closer integration wi
155.
by darzu 7y ago
Awesome! :) We're really happy to hear that. If you have any suggestions or bugs, please feel free to comment on https://forum.makecode.com/ or https://github.com/microsoft/pxt . We're still i
156.
by darzu 7y ago
Games for Android and iOS are a real possibility, but general Android apps aren't on our radar. Our focus is CS education, and I'm not sure general Android apps would be a good fit for that. That being said, our platform is fairly
157.
by darzu 7y ago
This is really cool! I've often wondered if a Blueprint-like editting experiences could be used more broadly. Looking forward to seeing this grow. I think there is also great potential for a very approachable debugging experience. Targ
158.
by darzu 7y ago
Not at the moment.
159.
by darzu 7y ago
Yeah, we're a team at MSFT (same org as VS Code). All* our code is open source. We use Google Blockly, and we've made a number of contributions upstream to them. What's your product? * Our server code isn't open source,
160.
by darzu 7y ago
Have you seen https://arcade.makecode.com ? It's a free, open source, web-based editor for making games, and you can download games to a number of hardware boards, or play on your phone or any web browser. The cheapest hard
161.
by darzu 7y ago
And more than twice the price.
162.
by darzu 7y ago
You probably want to use SMT (which uses SAT underneath), not SAT directly. SMT solvers usually let you write constraints over numbers which is a more natural fit for your problem. Also if you have thousands of variables, you probably shoul
163.
by darzu 8y ago
.. that would just be Apple paying themselves.
164.
by darzu 8y ago
The Dafny tutorials in particular I think are really great, especially if you want to dip your toes into formal verification. It's the most approachable formal verification language environment I know of.
165.
by darzu 8y ago
It's ironic you pick Google Maps as the one product that "gets it right". Did you hear about the recent pricing scandal? https://news.ycombinator.com/item?id=17570029
166.
by darzu 8y ago
Do these companies exist? Can you recommend any? But even so, they'll be a middle-man and they'll try to take as much profit from the group discounts they get instead of passing those savings on. An employer doesn't have an i
167.
by darzu 8y ago
If you or your dependents have any medical complications or are something other than young and healthy, the costs can increase drastically. Also employers often provide a lot of resources via HR and FAQ websites for navigating health care r
168.
by darzu 8y ago
> Can go a whole day working from home without power Perhaps mine has a defect, but I feel lucky if I can get 2-3 hours of solid work done. > So not sure what apps you are using that this happens with. The various windows settings are
169.
by darzu 8y ago
The most common tasks I used the fn keys for was adjusting brightness and volume. TouchBar is better at that. I suppose it depends on your use cases.
170.
by darzu 8y ago
The notification icon isn't an intuitive place to find system controls like this. I almost never use the notification bar but every once in a while something like this happens.
171.
by darzu 8y ago
> Often times web browsers are to blame for this. I have seen more than 1 browser keep my laptop from sleeping if there is some sort of embedded video content open in a tab somewhere. I use Chrome and the same electron apps (like Teams a
172.
by darzu 8y ago
What do you mean? I still use Windows 10 daily. My laptop is now mac but my desktop is Windows. I use both for development.
173.
by darzu 8y ago
Okay, that would explain why I always see folks walking between meetings with their laptops open here on campus. But seriously? Hasn't MSFT had enough years and developers to figure this out?!
174.
by darzu 8y ago
Really? Did you check the "Enable 3D acceleration" checkbox in Virtual Box?
175.
by darzu 8y ago
I'm running the latest Windows 10. MSFT corporate IT makes sure of it.
176.
by darzu 8y ago
I don't have experience doing a native Linux install on the Surface Book, but I use(d) VirtualBox and use Linux every day for development (on Surface Book and Mac). With virtualization technology being as advanced as it is, I don'
177.
by darzu 8y ago
Thanks, I'm now out of tablet mode! But the fact that it took another person on the internet + a HowTo guide for someone who is a MSFT developer w/ 18+ years of experience using Windows to get me unstuck kind of makes my point...
178.
by darzu 8y ago
This. Also on Windows, all monitors switch desktops together whereas I really like being able to switch desktops on monitors independently, and I like being able to drag desktops between monitor which I seem to remember not working on Windo
179.
by darzu 8y ago
Actually I just switched from a Surface Book to a Macbook Pro and the mac is a huge improvement, both from a hardware and OS perspective. Biggest complaints about Surface Book: - Its battery management is horrible. I don't know if the
180.
by darzu 8y ago
In my view, Minecraft worlds are beautiful works of generative art and the appreciation and exploration of these worlds probably makes this the most popular and beloved form of generative art to date.

More ›