@aud but do you even need to _run_ a program in your language, or is it enough for this program to _exist_?

@aud programmers should just define every function in both directions and supply it with formal proof that both directions cancel each other out.

@aud maybe information being lost is a skill issue, and true reversible language should not allow for information loss.
After all, most of the physics is not just reversible but doesn't even have a special time direction; it's only enthropy that makes one of the directions dedicated, and even it only does so in the sense that "your brain can store memories, and direction in which all the parts of the brain work (which are aligned between each other, or you wouldn't be able to form memories) aligns with the direction of all other stuff around you"

@aud the assumed direction has the same problem, with one direction being special and more important than the other.

Also might make sense to consider pure functions and functions with side effects separately. Reversed pure function should return arguments of the original pure function when supplied with its return value; while reversed function with side effects should undo its effects.

For example, if f<t>(x) returns x*2, then f<-t>(x) returns x/2. But if f<t>(obj) does obj.x *= 2, then f<-t>(obj) does obj.x /= 2.

@aud but consider this: either you'll have accelerate and decelerate duplicating each other meanings, or you'll have to pick one time direction as special.

Or perhaps "t" here should be a generic parameter, passed through the entire call chain.

@owl @therealkuu @schratze I moved away from the cat.
You can go e.g. to https://bincheck.io/ , enter the first six digits of your credit card number (the first six digits are not secret, or at least no more secret than the name of your bank), and in the output there will be a "Card Type" field, with either "Debit" or "Credit" in it. That would be an accurate (assuming their bases are up to date) information on whether you have a debit card or a credit card.

@owl @therealkuu @schratze and no other logos and nothing with the word "debit" on the reverse? Then yours is most likely a credit card.
(IIRC first six digits would also be different for debit and credit, but the cat is under my butt right now so I can't go to PC to check.)

@owl @therealkuu @schratze it's a weird thing with Visa/MC, "debit" and "credit" cards are different products that are even processed differently afaik (and that's why in USA some stores have additional payment fees for "debit" cards while payment with credit cards is free).
And apparently for compatibility reasons, almost all cards in Russia were (before the sanctions when Visa and MC just cut off Russia from their networks) technically "credit" cards despite being linked to regular current accounts with zero credit limit.

I wonder how it is in your place; does your card have "visa debit" logo on it or just "visa"?

@maybeanerd ah I see. Their only developer role right now asks for a deep understanding of Java and Symphony/Laravel/PHP, I was wondering if this is about all teams or just this single one, or maybe if this is even a case of job description not matching the actual skills the team wants (since you're saying that there are very few php projects and don't mention any java projects)?

@maybeanerd thank you!
Are you using different stacks in different teams?

I'm looking for a software engineering job.
I'm best described as a "Staff Software Engineer", but I'm very much willing to consider lower-level positions (as long as they pay around the average software engineer salary for Berlin; I don't really need mountains of gold), it's not really about the title. Even if you hire me into a middle-level role, a few months later you'll likely find that I'm doing what you'd expect from a Staff engineer.

Covid is not over, so I only consider mostly remote work for now (occasional (monthly) visits to the office within 10 hours one-way from Berlin, or rare (quarterly) visits within 24 hours one-way from Berlin are fine, "hybrid" roles requiring weekly office presence even in Berlin are not).

My area of work is working long-term on large-scale products mapping real world to software, with complex business requirements, expectations of maintainability etc.
If you are building for example a payment system of the future or CRM for healthcare companies, I'm the right person; if you are building Linux kernel drivers, I'm not (it would be an interesting challenge for me, but you are looking for another kind of person). If you are a product company, I'm the right person; if you are software house where people jump projects and clients multiple times a year, I'm not.

My career in professional software engineering started 20 years ago, it includes many years of working as a Systems Architect and Tech Lead and Team Lead (but I get my hands dirty with code anyway).
I spent most of my time writing code, but my work, what I'm good at, typically also involves interacting with product owner to identify the problems we are trying to solve (and to come up with business requirements), coming up with technical / architectural design for these requirements, improving the quality of the codebase (I pay a lot of attention to quality and maintainability), doing large refactorings, mentoring other developers, helping them to improve quality of their work, reducing friction of their work by addressing their developer experience pains (including CI/CD stuff); and generally taking a lot of responsibility.
My strong side is understanding the entire system and identifying ideal clear boundaries between components and then bringing these boundaries to life. I have stellar feedback from coworkers at basically all the previous workplaces.

I'm most proficient in webdev with Node.js / TypeScript / React (can work on backend and on frontend, prefer full-stack roles with focus on backend, but I'm pretty flexible on that). To the point that when coworkers have any questions about or any problems with TypeScript or React, I'm the one they approach. To the point that when a company wants to migrate their legacy JS app to typescript but doesn't think this is really possible or manageable because of the scope, I can deliver the impossible all by my own, within much shorter timeframe than they expect, and do it while preserving perfect backwards compatibility but also actually leveraging the benefits of TS (using strictest TS mode with strictest linting).
Additionally, I was proficient with C#/.NET/ASP.NET, but my skills in that area are a bit outdated. I'm open to working with and learning other stacks as well (especially interested in stuff like Zig, Rust, Scheme / Lisp, Elixir, F# etc; way less interested in stuff like PHP, Python or Ruby), but of course in this case I won't be able to make architectural or code quality decisions for new platforms, not at first at least.

I'm open to pretty much all reasonable industries (exceptions are working on generative AI bullshit, cryptocurrencies bullshit, fossil fuels, gambling, cops... you get the idea). But also, as an added bonus, I have a lot of experience in fintechs.

I can start pretty much immediately; and my CV is way better than you expect.
I also tend to hyperfocus on development and to care a lot, so you'll get way better and comprehensive results than you expect.

Anybody looking for someone like me to add to their team (in EU / Germany, as a full time employee)?

CV upon request, some examples of my work on personal projects are at https://oomza.cutegay.software/inga-lovinde

#FediHire #GetFediHired