Dmitry Tsitelov

673 posts

Dmitry Tsitelov

Dmitry Tsitelov

@tsitelov

Katılım Aralık 2009
150 Takip Edilen46 Takipçiler
Dmitry Tsitelov retweetledi
Tanel Poder 🇺🇦
Tanel Poder 🇺🇦@TanelPoder·
A new tool in 0x.tools family: xtop - Top for Wall-Clock Time. It uses eBPF/xcapture v3 and gives you "x-ray vision" into Linux system activity. It will be available on next Tuesday 19 Aug at 1pm EDT when I also run a live demo webinar! tanelpoder.com/posts/xtop-top…
Tanel Poder 🇺🇦 tweet mediaTanel Poder 🇺🇦 tweet media
English
1
16
64
3.9K
Dmitry Tsitelov
Dmitry Tsitelov@tsitelov·
@shipilev Do you know a place where MacOS-targeted fastdebug builds can be downloaded?
English
1
0
0
55
Aleksey Shipilëv
Aleksey Shipilëv@shipilev·
builds.shipilev.net have them, just do `java -fastdebug` on those binaries. Here is a catchy tune to make you remember: "Faaaaastdebug, doo, doo, doo, doo, doo, doo. Fastdebug, doo, doo, doo, doo, doo, doo. Fastdebug, doo, doo, doo, doo, doo, doo. Fastdebug!"
English
3
0
11
1.2K
Aleksey Shipilëv
Aleksey Shipilëv@shipilev·
PSA: If you suspect a JVM bug, try running with a fastdebug JVM before submitting a bug report. If you suspect a JVM bug, try running with a fastdebug JVM before submitting a bug report. If you suspect a JVM bug, try running with a fastdebug JVM before submitting a bug report.
English
4
2
40
3.4K
Dmitry Tsitelov
Dmitry Tsitelov@tsitelov·
@nevgeniev @mnhocktweets @tagir_valeev I didn't ever try to "sell" mutation testing (or PIT particularly) widely, but we use it from time to time to ensure that our unit tests really check corner cases (and several times we found loose checks in our code during such analysis).
English
1
0
1
29
Martin Hock
Martin Hock@mnhocktweets·
🚀 Java Tip 🚀 Mutation testing with PIT PIT is a state of the art mutation testing system, providing gold standard test coverage for Java and the jvm. It's fast, scalable and integrates with modern test and build tooling. 🔥 pitest.org
English
4
10
43
3.6K
Dmitry Tsitelov
Dmitry Tsitelov@tsitelov·
@nevgeniev @mnhocktweets @tagir_valeev Well, not exactly. If you have some critical parts in the code under test that you believe are tightly covered, PIT may show you some insights if they are not. Good for testing some data structures, for example.
English
1
0
0
80
nevgeniev
nevgeniev@nevgeniev·
@mnhocktweets @tagir_valeev Hmm.. so, pit only makes sense if code coverage is 100% which I haven't seen just ever... Or did I miss something?
English
2
0
0
41
Dmitry Tsitelov
Dmitry Tsitelov@tsitelov·
@nevgeniev @tagir_valeev Это смотря каких. Зачастую это просто аналог анимации. Например, подсветка отдельных участков кода с пояснениями.
Русский
1
0
1
14
nevgeniev
nevgeniev@nevgeniev·
@tagir_valeev Показать можно и 200 просто в мозг не ляжет
Русский
1
0
0
82
Tagir Valeev
Tagir Valeev@tagir_valeev·
Ничего не знаю про эту историю, но оценивать качество лекции по количеству слайдов — полная тупня и свидетельствует о профнепригодности завкафедрой, потому что он ничего не смыслит в современном образовании. За пару можно и сто слайдов показать, и это будет нормально.
Tagir Valeev tweet media
Ֆレクサնդր@rationaleks

А на Физтехе коррупция: завкаф проставил задним числом оценки блатному студенту, а Воронов — проректор по образованию, на пару с ректором Ливановым покрывают и обвиняют в выносе сора из избы препа, который раскрыл историю и приложил доказательства. vk.com/wall10932457_1…

Русский
5
1
32
4.3K
Dmitry Tsitelov retweetledi
Tanel Poder 🇺🇦
Tanel Poder 🇺🇦@TanelPoder·
New blog & tool: TracepointArgs: List Any Linux Tracepoint with Their Arguments, Datatypes and Related Structs tanelpoder.com/posts/tpargs-l… This should be useful for all the Linux kernel explorers and eBPF nerds!
Tanel Poder 🇺🇦 tweet media
English
1
5
31
2.8K
Dmitry Tsitelov
Dmitry Tsitelov@tsitelov·
@kyvernetes_sen @relizarov In Java, it's just identity for ints and a xor of high and low words for longs. I believe many standard hashtable implementations don't provide any specific counter-measures from a crafted collision, like random hash salting, or anything else.
English
0
0
0
94
Roman Elizarov
Roman Elizarov@relizarov·
I've been interviewing candidates for internships and discovered a subtle way modern C++-centric competitive programming is undermining industrial programming skills in ways I hadn’t realized before. 🧵
English
7
17
343
42.4K
Dmitry Tsitelov
Dmitry Tsitelov@tsitelov·
@relizarov Regarding crafted tests: Is it some hash-collision attack or another map implementation weakness in C++?
English
0
0
1
461
Roman Elizarov
Roman Elizarov@relizarov·
The reality: C++'s standard hash table (unordered_map) implementations lack defences against malicious inputs. In modern competitive programming there are often tests designed specifically to exploit this, making unordered_map blow up in time it takes to run and fail the test.
English
14
6
117
8K
Dmitry Tsitelov
Dmitry Tsitelov@tsitelov·
@Nekrolm Сочувствую. А вообще искренне удивлён таким предпочтениям издательств. Несколько лет назад тоже пришлось уже готовую статью в LaTeX-е переводить в word для *научного* журнала 😞 Не понимаю.
Русский
0
0
0
24
Dmitry /Undefined Behavior/ Sviridkin
Дописать книжку — полдела. Теперь ее надо собрать в word документ. Вот уж где задачка-то...
Русский
6
0
18
2.1K
Dmitry Tsitelov retweetledi
Jack Vanlightly
Jack Vanlightly@vanlightly·
Symmetry in TLA+ reduces the state space by treating interchangeable components like servers, nodes, or processes as equivalent. This post explores examples of how equivalent states get collapsed, to help build a mental model of symmetry when model checking. jack-vanlightly.com/blog/2024/12/5…
English
0
4
11
1.2K
Dmitry Tsitelov retweetledi
Jack Vanlightly
Jack Vanlightly@vanlightly·
I've written 18 posts (and counting) on table format internals. I've created a page that contains the list of my writings on the subject, including my formal verification work. Any suggestions on further table format analysis? jack-vanlightly.com/blog/2024/10/2…
English
2
13
122
8.8K
Dmitry Tsitelov retweetledi
Gunnar Morling 🌍
Gunnar Morling 🌍@gunnarmorling·
When you're using a library officially supporting Java 17.
Gunnar Morling 🌍 tweet media
English
6
7
61
20.5K
Dmitry Tsitelov
Dmitry Tsitelov@tsitelov·
Does @intellijidea have a refactoring to convert a call chain like 'x.getY().doZ(<params>)' to a method of x like 'x.doZforY(<params>)' ?
English
0
0
2
25