HN user
Ph.D Candidate, Computer Engineering, University of Virginia
MikroTik recently updated their documentation site from an Atlassian Confluence Wiki to much more AI-friendly Docusaurus here: https://manual.mikrotik.com/
Any page can be easily converted into Markdown by appending .md to the URL. I mention this because in my experience, the agent is much more accurate when it has access to the docs.
Might not be the answer you were looking for but hear me out: the biggest impact on my Kubernetes knowledge has been starting a homelab on Talos Linux.
I've used this as a sandbox/playspace/proving ground for Kubernetes concepts to satisfy my own curiosities. The benefit of this space is that you can make mistakes without affecting any real data, and you can blow away your entire config and start from scratch if you need to. I have already seen benefits to this hobby in my career.
My entrypoint was the Talos getting started guide: https://www.talos.dev/
And following the community at https://www.reddit.com/r/selfhosted/
Remove “auto” from the title and it’s still true
CMOS and DRAM are completely different processes and cannot be integrated on the same wafer. This has been tried many times unsuccessfully. This is why you see highly integrated packaging solutions like chiplets. These solutions integrate CMOS and DRAM in the same package, not on the same die.
It's trauma. See Gabor Mate for more about the trauma-addiction connection. https://thewisdomoftrauma.com/
This may suit your needs http://hn.premii.com/
Location: Charlottesville, Va
Remote: OK
Willing to relocate: Yes
Resume/CV: https://dl.dropboxusercontent.com/u/30149950/Mateja%20Putic%...
Email: mp3t@virginia.edu
Third year Computer Engineering, Ph.D candidate, looking for a Summer 2015 internship in computer architecture or artificial intelligence applications. Specifically interested in accelerator architectures for AI applications or related problems, flexible. Previous experience interning with Micron Automata Processor group.
Location: Charlottesville, Va
Remote: OK
Willing to relocate: Yes
Resume/CV: https://dl.dropboxusercontent.com/u/30149950/Mateja%20Putic%...
Email: mp3t@virginia.edu
Third year Computer Engineering, Ph.D candidate, looking for a Summer 2015 internship in computer architecture or artificial intelligence applications. Specifically interested in accelerator architectures for AI applications or related problems, flexible. Previous experience interning with Micron Automata Processor group.
The AP is essentially a silicon implementation of regular expressions, augmented with a relatively small number of Boolean gates and counters. It has many simple matching elements that can be connected together to create automata networks that advance in parallel. The output of a single automaton is a Boolean decision, indicating whether the automaton is in an accepting state or not. It is natively a MISD architecture, a rather dusty corner of Flynn's Taxonomy, because all active states receive the input symbol at the same time.
In contrast, FPGAs are much more general purpose and as a result have fewer individual processing elements. Indeed, an FPGA can be made to emulate the AP for small designs, but the AP is able to accommodate much larger (or more instances of) automata on one chip, resulting in much greater throughput or bandwidth, depending on the configuration.
It is fair to compare the AP to FPGAs in the context of problems that can be reduced to regex (augmented with digital logic and counters), but not in a general purpose sense. Just because a problem might reduce to regex and can be run on the AP, doesn't mean that it can be done so efficiently. But there a host of problem domains in pattern matching that do map efficiently to the AP.
Like your idea about combining excel and Ipython a lot. So many people start with excel because it makes it easy to enter data and put up a couple plots, but by the time you want to do something more serious, you have multiple worksheets and cross references everywhere that are difficult to replicate into MATLAB or Ipython or a similar environment. Definitely see a market for that.
From Daniel Jackson's book on Alloy [1], here are a few of the major examples they provide:
* Leader election in a ring
* Hotel room locking (this one is really cool)
* Media asset library management
* Memory abstractions
[1] http://books.google.com/books?id=DDv8Ie_jBUQC&lpg=PP1&dq=sof...
There's a really wonderful tutorial on Coq [1] that holds your hand through all the theory you need to learn. I took a class that used this tutorial and I found it to be very understandable and practical, with hardly any background on formal methods myself. Yes, it's a steep learning curve, but at least with this tutorial, you know the curve you need to follow.
[1] Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/
Hint: Check out the overview [2] to see the chapter dependencies and decide which chapters you may want to skip.
"The court ordered NMC to pay $58,000 as cost under rule 68, this is less then 2% of what the cost was to defend this case."
It has cost Nissan Computer $3M to defend itself? For a local PC repair shop? Either he's highly principled or just lying.
I have an adviser that hates TeX and would prefer to provide comments but no edits. I would love to see an environment where I could both collaborate with other students on writing the TeX, but also have the ability to enable peer review with Crocodoc-style [1] commenting and annotation.
I actually had a similar issue recently where I forgot my PayPal password and I didn't know the answers to my security questions. PayPal then sent me a pin through snail mail to the address they had on file. IMO, this bit of inconvenience is worth the added security.