|
Arshavir
@
__wi
Zurich, Switzerland
|
|
PhD candidate at ETH. Treat your critical software to the bliss of formal methods!
|
|
|
381
Tweetovi
|
301
Pratim
|
78
Osobe koje vas prate
|
| Tweetovi |
|
|
Arshavir
@__wi
|
3. velj |
|
Но выглядит довольно неплохо.
|
||
|
||
|
|
Arshavir
@__wi
|
31. sij |
|
|
||
|
|
Arshavir
@__wi
|
16. sij |
|
There’s an old, but incredible talk by Guy Steele that tackles this very question. It’s about minimalism in PL design. youtu.be/_ahvzDzKdB0
|
||
|
|
||
|
|
Arshavir
@__wi
|
12. sij |
|
We have a brilliant course on Program Verification here at ETH, that explains SMT in the first 3-4 lectures. The lecture slides can be found here: pm.inf.ethz.ch/education/cour…
|
||
|
|
||
|
|
Arshavir
@__wi
|
11. sij |
|
Satisfiability Modulo Theories, software that can check if complex logical constraints are satisfiable and produce models. SMT is used for automatic reasoning, program verification, etc.
|
||
|
|
||
|
|
Arshavir
@__wi
|
10. sij |
|
Everyone is talking about ML but it is SMT that will power AI in the long run.
|
||
|
|
||
|
|
Arshavir
@__wi
|
6. sij |
|
The policies at ETH Zurich are surprisingly efficient.
|
||
|
|
||
|
|
Arshavir
@__wi
|
29. pro |
|
Go academia, I guess!
|
||
|
|
||
|
|
Arshavir
@__wi
|
27. pro |
|
While looking into some old repos I've noticed that @guthub activity provides way better insight on old friends' well-being than any other social media.
|
||
|
|
||
|
|
Arshavir
@__wi
|
21. pro |
|
I press keys on my keyboard, trying to influence the pattern of lights that my computer emits. I want the pattern to be perfect—not only for me but also for the people of a hypothetical better world.
|
||
|
|
||
| Arshavir proslijedio/la je tweet | ||
|
Computer Science
@CompSciFact
|
20. pro |
|
'Methods and object can no longer be separated.' -- Werner Heisenberg
|
||
|
|
||
|
|
Arshavir
@__wi
|
15. pro |
|
Slide taken from Bjarne Stroustrup‘s talk at #FINOS 2019. Full slides are here: finos.org/hubfs/FINOS/OS…
|
||
|
|
||
|
|
Arshavir
@__wi
|
15. pro |
|
All there is to know about C++ (unless you’re forced to use it): 1) there are no language design targets, 2) it’s naturally evolving under community pressure, 3) only ever works if all programmers involved in the project follow the same guidelines (which may or may not exist) pic.twitter.com/xBXCAjs9sY
|
||
|
|
||
| Arshavir proslijedio/la je tweet | ||
|
Titus Brown
@ctitusbrown
|
5. pro |
|
What I like about LaTeX so much is that it brings the joy of debugging code to the fun process of writing a paper.
|
||
|
|
||
| Arshavir proslijedio/la je tweet | ||
|
Hillel
@hillelogram
|
1. pro |
|
HOW TO GIVE A CONFERENCE TALK IN FIVE EASY STEPS
1. Write the outline! It'll help you collect your thoughts and make a good talk!!!
2. Write a first draft! Doesn't need to be that good, just get your thoughts down!!!
3. Rehearse! Read the draft aloud and see if it sounds good!
|
||
|
|
||
|
|
Arshavir
@__wi
|
7. lis |
|
Check if @ManyChatHQ does what you were thinking about.
|
||
|
|
||
|
|
Arshavir
@__wi
|
26. kol |
|
Knowing you just from your tweets, I never realized you were so young. I guess some people do get wisdom earlier than others. Happy BD!
|
||
|
|
||
| Arshavir proslijedio/la je tweet | ||
|
MIT Technology Review
@techreview
|
12. kol |
|
Researchers at MIT investigated why spaghetti always breaks into more than two pieces. Phantom cameras were able to provide the data necessary to force a clean two-part break. Watch here: bit.ly/2KCavqy (Sponsored by @phantomhispeed) pic.twitter.com/6GDL8m9Z8d
|
||
|
|
||
|
|
Arshavir
@__wi
|
9. kol |
|
The more expressive a logic is, the higher is the algorithmic complexity of checking its predicates.
|
||
|
|
||
| Arshavir proslijedio/la je tweet | ||
|
Neil deGrasse Tyson
@neiltyson
|
20. srp |
|
Little-known Fact: The Moon doesn't orbit Earth’s center. Earth & Moon orbit a common center of mass, which is a moving spot about 1,000 miles beneath Earth’s surface along a line connecting our centers.
So Earth actually jiggles while orbiting the Sun. pic.twitter.com/MEGlqqmmj2
|
||
|
|
||