i_don_t_know

  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, FlexLogger,
  - Python, Jupyter, gRPC, git, Windows, Linux.

  Résumé/CV: https://www.linkedin.com/in/peter-ilberg/
  Email: peter dot ilberg at gmail dot com

Software engineer with over 25 years of experience in software development.

Skills:

- Compiler construction, debuggers, and static analysis,

- Data acquisition, real-time and semiconductor test systems,

- General application development, problem solving, and algorithms

- Driving challenging projects to completion,

- Mentoring and working in distributed teams.

I’ve really enjoyed this book:

Introduction to Applied Linear Algebra – Vectors, Matrices, and Least Squares

https://web.stanford.edu/~boyd/vmls/

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.linkedin.com/in/peter-ilberg/

Email: peter dot ilberg at gmail dot com

Software engineer with extensive experience in many areas of software development, and the demonstrated ability to drive challenging projects to completion.

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.

    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.com/in/peter-ilberg/
    Email: peter dot ilberg at gmail dot com

Software engineer with extensive experience in user interfaces, real-time systems, data acquisition, data science and machine learning, semiconductor test systems, compilers, debuggers, algorithms, and general application development.

Demonstrated ability to:

- Research, design, and implement solutions to meet customer’s needs on time.

- Drive complex projects to completion.

- Learn and contribute to large existing code bases quickly.

- Collaborate with and mentored colleagues around the world.

I’m looking for a software engineering position in embedded systems and robotics, ideally using formal methods for modelling, simulation and verification, and in mathematical optimization.

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 letters in the first lecture. The professor wrote the lecture notes onto a blackboard and we copied them by hand. It was definitely Sütterlin. But I believe nowadays people use Latin letters.

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’s so weird to see vectors and matrices denoted with Latin letters. I still use Sütterlin.

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.

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://github.com/antirez

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: https://www.linkedin.com/in/peter-ilberg/

Email: peter dot ilberg at gmail dot com

Software engineer with experience in user interfaces, real-time systems, data acquisition, semiconductor test systems, compilers, debuggers, algorithms, and general application development.

I’m looking for a software engineering position in embedded systems and formal methods, decision support systems and optimisation, and simulation and visualisation.

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/in/peter-ilberg/

Email: peter dot ilberg at gmail dot com

Software engineer with experience in user interfaces, real-time systems, data acquisition, semiconductor test systems, compilers, debuggers, algorithms, and general application development.

I’m looking for a software engineering position in embedded systems and formal methods, decision support systems and optimisation, and simulation and visualisation.

I have found the Make: Electronics series of books by Charles Platt to be a good mix of basics / fundamentals and fun projects.

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

> 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 sending and receiving of messages is also hidden as an implementation detail in modules. The public interface did not expose concurrency or synchronization to callers. You might use them under the hood to implement your functionality, but it’s of no concern to callers, and you’re free to change the implementation without impacting callers.

Types and Programming Languages by Benjamin Pierce, sometimes also referred to as TAPL.

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 page.

There are no lengthy stilted lectures (characters explaining stuff to other characters) as in some other books by other authors, and only few (and usually short) descriptions of what happens when and then this and then that and then something else.

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 excites mathematicians and makes it more appealing?

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 a free download with additional material at:

https://web.stanford.edu/~boyd/vmls/

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 Edition, 2015. ISBN 9781498712439

https://www.cs.purdue.edu/homes/comer/osbooks.html

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.

Last time I was in the same boat, I tried to identify the major components of the project and then fixed small bugs and/or implemented a small feature in each of them. You get basic exposure to everything and you can explore from there.

I’ve also asked to be notified of every code review for the project. It’s hit and miss, but you get some exposure to different parts of the project, what’s done where, and how they interact when your colleagues add functionality / fix bugs.

And use the project like a customer to get an idea of how it works and what you can do with it, what problem is solves, what works well and what doesn’t.

Somewhat unrelated: Is there a book that walks you through building a database system from storage to queries, optimizer, execution, indexing, transactions, etc?

This looks nice! A couple of things I've noticed:

1 - It's hard to wire things up. I keep missing the terminal and I'm getting the selection tool instead.

2 - Add values and units to components, for example, when you drop a resistor it'd be nice to be able to set it to 10 Ohm (and show the Omega symbol).

History of LabVIEW from Proceedings of the ACM on Programming Languages, Volume 4, Issue HOPL (History of Programming Languages).

https://dl.acm.org/doi/abs/10.1145/3386328

I believe Mark is referring to this series of three classes:

https://www.coursera.org/learn/basic-modeling

https://www.coursera.org/learn/advanced-modeling

https://www.coursera.org/learn/solving-algorithms-discrete-o...

They are indeed excellent and highly enjoyable.

Location: Augsburg - Munich area, Germany

Remote: Yes and/or on-site.

Willing to relocate: No

Technologies: C, C++, C#, Python, LabVIEW, data acquisition and analysis, test systems for semiconductors, compiler construction, embedded systems, machine learning, scientific computing.

Résumé/CV: https://www.linkedin.com/in/peter-ilberg/

Email: Please contact me on LinkedIn.

I don't know if this is useful to you. I haven't tried to install MIT Scheme directly on macOS. Instead, I'm using the sample project at [1] to run a linux VM with Fedora on macOS x86-64. I was able to install MIT Scheme and scmutils on the VM by following the instructions at [2][3][4][5] for CentOS. It appears to have succeeded but I haven't really worked with the system yet.

I haven't tried the instructions for ARM-based macOS at [6] because I'm still on Intel.

It's less convenient to run a VM than to run on macOS directly. But I prefer to sandbox "random" software that way, and some things support linux better than macOS.

[1] https://developer.apple.com/documentation/virtualization/run...

[2] http://groups.csail.mit.edu/mac/users/gjs/6946/

[3] http://groups.csail.mit.edu/mac/users/gjs/6946/installation....

[4] http://groups.csail.mit.edu/mac/users/gjs/6946/mechanics-sys...

[5] https://www.gnu.org/software/mit-scheme/documentation/stable...

[6] http://groups.csail.mit.edu/mac/users/gjs/6946/mechanics-sys...

(You have to install texinfo for the online documentation part of [5]. Skip the 'install-pdf' documentation target if you don't want to depend on tex/latex.)

Thanks! I didn't know about quasiquotation.

That's super interesting. Do you use DCGs to read your data or do you call external libraries? How do you generate C code? Do you use a template system?

The link to the archive ‘k.zip’ has moved to https://shakti.com/ with terse documentation in the ‘education’ section.