Here's an IDE feature I think should exist:
A *random* file finder!
Rather than doing a range of static analyses (typical lint issue count, typical number of functions per file), just randomly sample!
It's less overwhelming and prevents recent feature bias to code cleanliness.
miniblog.
Open source can be used by companies to commoditise complementary products. It makes sense for them.
There's nothing stopping others doing the same though! You run the risk of others trying to commoditise your value add.
I wonder if this has happened?
Slow progress towards self-driving cars, despite early optimism: https://www.vox.com/future-perfect/2020/2/14/21063487/self-driving-cars-autonomous-vehicles-waymo-cruise-uber
(Human fatalities are 1 per 100,000,000 miles driven, and no manufacturer has driven that much yet!)
Using status for group chats *with audio* to create a sense of presence: https://pragli.com/blog/using-audio-channels-to-signal-status/
I'm excited to see GitHub developing a CLI for managing tasks and pull requests: https://github.blog/2020-02-12-supercharge-your-command-line-experience-github-cli-is-now-in-beta/
There's been an impedance mismatch between the extensive web UI and the minimal git UI.
Your choice of top level domain (e.g. .com vs .biz) can really affect the performance of your first page load! https://bunnycdn.com/blog/is-your-fancy-new-domain-hurting-your-performance-gtld-benchmark/
Applying an SMT solver to find missed optimisation opportunities in LLVM's arithmetic tooling: https://blog.regehr.org/archives/1714
Lessons learned from writing a linter/static analysis tool for shell scripts: https://www.vidarholen.net/contents/blog/?p=859
(Preserve positions, use error codes and document them, and there's a tradeoff between beginner mistakes and advanced mistakes!)
Fascinating teardown of the deeply FOSS smartphone, the Librem 5:
https://arstechnica.com/gadgets/2020/01/librem-5-phone-hands-on-a-proof-of-concept-for-the-open-source-smartphone/
Angular 9 is out! It's striking how much web framework design is compiler engineering. Type safety, dead code elimination, IDE tools and (lovely!) error reporting polish.
https://blog.angular.io/version-9-of-angular-now-available-project-ivy-has-arrived-23c97b63cfa3
Pharo 8 has been released: https://pharo.org/news/pharo8.0-released
Much improved git integration, a better class browser, and a huge uptick in polish since moving to GitHub! You'll even find my name on the release notes for some tiny patches :)
'cargo bloat' can tell you what the biggest dependencies or functions are in your binary! https://github.com/RazrFalcon/cargo-bloat
Not only does this help you ship smaller files, it can also produce faster compiles!
Until 2012, calling an arbitrary C function was considered safe in Rust! https://github.com/rust-lang/rust/issues/2628#issuecomment-9384243
I've met a bunch of lovely Haskell programmers, but I'm always surprised by the range of PL interests they have.
(1) Some are particularly into lazy evaluation. I get it: you can do some really elegant code for some problems. I've enjoyed this in other PLs too.
Contrasting btrfs with ZFS and taking advantage of the flexibility of btrfs:
https://markmcb.com/2020/01/07/five-years-of-btrfs/
I've seen some Rust talks recently that describe it as "an alternative to C/C++". This seems like a good framing.
The term 'systems language' has hugely varying interpretations. Does it mean a web service? Does it mean an operating system? They have very different PL needs.
Desktop PCs are moving to exclusively 12V power supplies: https://custompc.raspberrypi.org/articles/new-psu-standard-to-launch-this-year
Today I learnt about 'npm ci', a clean install operation for installing packages for test or deployment:
https://docs.npmjs.com/cli/ci
Back from #POPL! The Saturday tracks were well worth attending.
Ronald's discussion of gradual type safety vs soundness was my highlight: https://popl20.sigplan.org/details/wgt-2020-papers/5/Gradual-Typing-as-if-Types-Mattered
When talking about soundness, it's important to say exactly what issues you're handling, and the talk explored this.
I met some interesting gradual type people at POPL yesterday, and the schedule was full of good talks!
Friday opened with a great introduction to probabilistic PLs with live demos. It showed usage, although it feels like "random programming with magic" https://popl20.sigplan.org/details/POPL-2020-Research-Papers/71/Probabilistic-Programming
Showing 1,541-1,560 of 7,508 posts