i_don_t_know

6 ms·

31.
Archimedes – A Python toolkit for hardware engineering(pinetreelabs.github.io)
126 points by i_don_t_know 11mo ago|15 comments
32.
by i_don_t_know 11mo ago
I have been eyeing “The Hitchhiker's Guide to Logical Verification” but haven’t yet found the time to work through it. The 2025 edition material is at https://github.com/lean-forward/logical_verification_2025?ta...
33.
by i_don_t_know 11mo ago
This is really good. I like the idea of the game and your execution of it is superb.
34.
Why higher-order logic is a good formalisation for hardware(cl.cam.ac.uk)
1 points by i_don_t_know 11mo ago|1 comments
35.
by i_don_t_know 11mo ago
(Original title shortened because it's too long.) Why higher-order logic is a good formalisation for specifying and verifying hardware Mike Gordon September 1985, 28 pages DOI https://doi.org/10.48456/tr-77 Abstra
36.
by i_don_t_know 11mo ago
Location: Augsburg, Germany Remote: yes, remote or onsite is fine Willing to relocate: no Technologies: - C, C++, assembly language, clang, llvm, - C#, .NET, WPF, ASP.NET Core, Blazor, Javascript, - LabVIEW, TestStand, Fle
37.
by i_don_t_know 1y ago
I’ve really enjoyed this book: Introduction to Applied Linear Algebra – Vectors, Matrices, and Least Squares https://web.stanford.edu/~boyd/vmls/
38.
by i_don_t_know 1y ago
Location: Augsburg, Germany Remote: on-site, hybrid, remote Willing to relocate: no Technologies: C, C++, C#, Python, data acquisition, data visualization, and data analysis and decision making Résumé/CV: https://www.linked
39.
by i_don_t_know 1y ago
The same sport is played in the Netherlands and north-western Germany: https://en.wikipedia.org/wiki/Klootschieten German names are Klootschießen and Boßeln.
40.
by i_don_t_know 1y ago
Location: Augsburg, Germany Remote: on-site, hybrid, remote Willing to relocate: no Technologies: C, C++, C#, Python, LabVIEW, embedded systems, mathematical optimization Résumé/CV: https://www.linkedin
41.
by i_don_t_know 1y ago
I don’t remember what was used in printed materials. Probably Fraktur as you suggest. In high school we used Latin letters with arrows. At university in the 1990s, they gave us a photocopied sheet with handwritten Sütterlin and Greek letter
42.
by i_don_t_know 1y ago
Sütterlin was used to denote vectors and matrices in my linear algebra class at university in Germany in the 1990. We got a cheat sheet with all letters in the first lecture (also included all Greek letters). I still have the sheet. And it’
43.
Algorithms for Optimization (second edition preview) [pdf](algorithmsbook.com)
3 points by i_don_t_know 1y ago|1 comments
44.
by i_don_t_know 1y ago
Preview of the second edition of Algorithms for Optimization by Kochenderfer and Wheeler. Three new chapters and various other changes, see the preface for details.
45.
by i_don_t_know 1y ago
Somewhere in some comment antirez said he writes design documents for his projects before he writes a single line of code. You can browse his GitHub projects or google “antirez design documents” or “antirez specification”. https:/&#x2
46.
by i_don_t_know 1y ago
SEEKING WORK | on-site, hybrid, remote Location: Augsburg, Germany Remote: on-site, hybrid, remote Willing to relocate: no Technologies: C, C++, C#, Python, LabVIEW, embedded systems, mathematical optimization, simulation Résumé/CV: h
47.
by i_don_t_know 1y ago
Location: Augsburg, Germany Remote: yes, on-site, hybrid, remote Willing to relocate: no Technologies: C, C++, C#, Python, LabVIEW, embedded systems, mathematical optimization, simulation Résumé/CV: https://www.linkedin.com&
48.
by i_don_t_know 1y ago
I have found the Make: Electronics series of books by Charles Platt to be a good mix of basics / fundamentals and fun projects.
49.
The Quanta Podcast(quantamagazine.org)
1 points by i_don_t_know 1y ago|0 comments
50.
Algorithms for Validation(algorithmsbook.com)
3 points by i_don_t_know 1y ago|1 comments
51.
by i_don_t_know 1y ago
In the movie “Stalag 17”, the Germans place a spy among the US prisoners. The spy is a German who grew up in the US and speaks English without accent. https://en.m.wikipedia.org/wiki/Stalag_17
52.
by i_don_t_know 1y ago
> When I did my 20% on Go at Google, about 10 years ago, we already had a semi-formal rule that channels must not appear in exported function signatures. That sounds reasonable. From what little Erlang/Elixir code I’ve seen, the sen
53.
by i_don_t_know 2y ago
Types and Programming Languages by Benjamin Pierce, sometimes also referred to as TAPL.
54.
by i_don_t_know 2y ago
The dialogs and the interaction between characters are also driving the story in a natural way. It’s like those screwball comedies from the 30s (His Girl Friday etc). Pratchett had a good ear for how people talk, and he managed to put it on
55.
by i_don_t_know 2y ago
What’s different about Lean compared to older theorem provers like Coq and Isabelle? I mean mathematicians could’ve used Coq / Isabelle / etc for decades for the same purpose. Why didn’t they? What’s does Lean do differently that
56.
by i_don_t_know 2y ago
I enjoyed “Introduction to Applied Linear Algebra – Vectors, Matrices, and Least Squares” because it focuses on a relatively few concrete concepts in linear algebra, and explains and motivates them with lots of practical applications. It’s
57.
by i_don_t_know 2y ago
Operating System Design Volume 2: Internetworking with XINU, 1987. ISBN 0-13-637414-X 025 Shows how to add IP/UDP to a simple Unix-like OS. You might want to also read volume 1: Operating System Design - The XINU Approach, Second Editi
58.
by i_don_t_know 2y ago
I think banks / insurance companies are looking for solid math skills. If you can learn / work with higher math for physics, you can work with financial math.
59.
Synchronous Programming of Reactive Systems [pdf](www-verimag.imag.fr)
2 points by i_don_t_know 2y ago|0 comments
60.
Reactor: A Synchronous Reactive Language(docs.racket-lang.org)
2 points by i_don_t_know 2y ago|0 comments

More ›