Tomasz Kuchta's Avatar

Tomasz Kuchta

@tomaszkuchta

Computer Scientist http://about.me/tomasz.kuchta X: @Tomasz_Kuchta

54
Followers 412
Following 6
Posts 29.12.2023
Joined
Posts Following

Latest posts by Tomasz Kuchta @tomaszkuchta

Maybe they meant "bare metal" :)

17.12.2024 14:23 👍 2 🔁 0 💬 0 📌 0
Post image

A logo idea for model fine tuning services ;) credits: copilot

17.12.2024 12:09 👍 1 🔁 0 💬 0 📌 0
Preview
[SR Talks] ⑪ Interview with a Software Reliability Expert at Samsung R&D Institute Poland [SR Talks] ⑪ Interview with a Software Reliability Expert at Samsung R&D Institute Poland

An interview with me outlining the research we do in the areas of software engineering and software reliability has just appeared at:
research.samsung.com/srTalks/-SR-...

BTW, the srTalks page hosts a bunch of interesting interviews with people from across Samsung: research.samsung.com/srTalks

12.12.2024 09:23 👍 3 🔁 0 💬 0 📌 0

New profession: impromptu prompt engineer

06.12.2024 19:27 👍 0 🔁 0 💬 0 📌 0
Post image
02.12.2024 15:25 👍 2 🔁 0 💬 0 📌 0
Let's help symbolic execution SOAR!
Let's help symbolic execution SOAR! YouTube video by KLEE

Interested to hear a few thoughts on how to help make symbolic execution mainstream and how Academia/Industry perspectives matter? Check out a keynote I gave at KLEE'24 workshop:
youtu.be/rQGB_fk253g

19.11.2024 11:59 👍 1 🔁 0 💬 0 📌 0