@philip_heltweg Master Thesis: Implementing a Structured Approach to Belief Revision by Deterministic Switching Between Total Preorders #AI #Research #SoftwareEngineering
@philip_heltweg Certification of Iterated Belief Changes via Model Checking and its Implementation #AI #SoftwareEngineering #Research
@philip_heltweg On Using Model Checking for the Certification of Iterated Belief Changes #SoftwareEngineering #AI #Research
@milan_cvitkovic IRBs #Science #Research #Ethics
@milan_cvitkovic Concrete Problems in Human Safety #Science #Safety #Research
@the_particular_finest I Got Cited #Academia #Research #Writing
@marks_notes Deadlines for 2021 technical games research conferences #GameDev #Research #Academia
@cstheory_stackexchange Understanding a conference reviewer comment #ComputerScience #Research #Academia
@inference Notes on the Origin of Implicit Regularization in SGD #MachineLearning #DeepLearning #Research
@rachit_nigam Commoditize the Complement of Your Research #Research #Programming #Academia
@rachit_nigam Languages, Tools, and Techniques for Accelerator Design #Programming #Research #Compilers
@math_programming Searching for RH Counterexamples -- Scaling Up #Math #Algorithms #Research
@marc_ten_bosch SIGGRAPH 2020 talk for my technical paper: N-Dimensional Rigid Body Dynamics #ComputerGraphics #Physics #Research
@the_harvard_library_innovation_lab Exploring Caselaw Interfaces #Law #OpenData #Research
@sensepost DualSense Reverse Engineering #Hacking #Security #Research
@sean_heelans_blog PhD Thesis: Greybox Automatic Exploit Generation for Heap Overflows in Language Interpreters #ExploitDev #Security #Research
@milan_cvitkovic Vocab #Science #Research #Notes
@maggie_appleton A Brief Introduction to Digital Anthropology #DigitalCulture #Anthropology #Research
@who_is_nnamdi
Pre-training via Paraphrasing (Paper Explained)
#MachineLearning #Tech #Research
@math_stackexchange Existence of a solution for a nonlinear heat equation #Mathematics #Science #Research
@mac4n6 Part 2: Step-by-step iPhone Setup for iOS Research (via @bizzybarney) #Forensics #iOS #Research
@jepsen Elle: Practical Serializability Verification #DistributedSystems #Databases #Research
@math_stackexchange Does this orthogonal matrix parametrization have a name? #Mathematics #LinearAlgebra #Research
@matt_strom_awn Collaborative design research #Design #Research #Collaboration
@zurb_blog User Research, Whether You're a Researcher or Not #Design #UX #Research
@the_harvard_library_innovation_lab Caselaw Access Project Cite Grid #Law #OpenAccess #Research
@sensepost Multiple Android User Profiles #Android #Security #Research
@the_harvard_library_innovation_lab Caselaw Access Project Data Release and Bulk Metadata #OpenData #LegalTech #Research
@maggie_appleton A Naïve Exploration of Computer-Supported Collaborative Learning #Education #Tech #Research
@maggie_appleton A Naïve Exploration of Computer-Supported Collaborative Learning #Education #Tech #Research
@sensepost Resurrecting an old AMSI Bypass #CyberSecurity #OffensiveSecurity #Research
@jepsen Redis-Raft 1b3fbf6 #DistributedSystems #Databases #Research
@andrej_karpathy_blog Biohacking Lite #AI #DeepLearning #Research
@the_harvard_library_innovation_lab Guest Post: An Empirical Study of Statutory Interpretation in Tax Law #Law #Research #Tax
@sensepost The hunt for Chromium issue 1072171 #CyberSecurity #Hacking #Research
@marks_notes Newsgames of the 2000s #Games #Research #History
@rachit_nigam Compiling for the Reconfigurable Future #Programming #Compilers #Research
@rachit_nigam The First Two Years of My PhD #PhD #Academia #Research
@marks_notes Opening for a funded Masters student #Academia #Research #AI
@milan_cvitkovic Request for Collaborators: Better Tools for Math Research #Science #Research #Collaboration