Explore >> Select a destination
|
You are here 
|
www.cse.iitk.ac.in | ||
| | | | |
www.hillelwayne.com
|
|
| | | | | I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like its too expensive!!! or website isnt airplane!!! These are sorta kinda true but dont explain very much. I wrote this to provide a larger historical picture of formal methods, why theyre actually so unused, and what were doing to make them used. | |
| | | | |
cullmann.io
|
|
| | | | | Unix like systems with X11 or Wayland All Unix like systems with either X11 or Wayland are well supported since ever. Linux with X11 and now Wayland is for a long time the primary system on that Kate work happens. Over the years it was, like most of the KDE applications, ported to various BSD variants. Be it some mainstream Linux distribution like Fedora or a niche one like NixOS, Kate is available as binary package. You love BSD? From FreeBSD to OpenBSD, you can get a Kate package via your normal package system. | |
| | | | |
milan.cvitkovic.net
|
|
| | | | | I'd like to build (maybe with you!) a user-friendly web platform for collaborating on mathematical proofs and organizing mathematical knowledge. Why bother? Progress in mathematics is upstream of nearly all progress in science and technology. But unfortunately, progress in math is getting harder to make. Humanity's mathematical knowledge is getting larger, more complex, and more Balkanized1 by the year. Better tools can help. Calculators, Wolfram Alpha and the like, Wikipedia, and even humble blogs play ... | |
| | | | |
mattbaker.blog
|
|
| | | In my previous post, I presented a proof of the existence portion of the structure theorem for finitely generated modules over a PID based on the Smith Normal Form of a matrix. In this post, I'd like to explain how the uniqueness portion of that theorem is actually a special case of a more general... | ||
