Explore >> Select a destination
|
You are here 
|
www.logicmatters.net | ||
| | | | |
www.ctan.org
|
|
| | | | | ||
| | | | |
opguides.info
|
|
| | | | | This paper was written for CSCE-430, Computer Architecture at University Of Nebraska - Lincoln in Spring of 2021. This in-page view isn't all that great, so feel free to download the pdf directly. If you would like to read the refrenced papers, I recommend using Sci-Hub with a VPN on, as the academic publishers putting up paywalls as barriers to science can go fuck themselves. Previous Next Page: / | |
| | | | |
phloxgroup.wordpress.com
|
|
| | | | | Recently I had to typeset a natural deduction argument in $latex \LaTeX$. I looked around for a package that does it, but couldn't find any (which doesn't mean that it's not there somewhere). So, I wrote one myself. It doesn't do fancy things, but at least it figures out the width the various columns should... | |
| | | | |
dougseven.com
|
|
| | | Today I am at re:Invent 2022 in Las Vegas, NV. I am spending my days talking to AWS customers about Amazon CodeWhisperer - a new developer productivity service that will accelerate application development by providing automatic code recommendations based on the code and comments in your IDE. For developers, Amazon CodeWhisperer is an IDE extension... | ||
