I'm in total agreement. I'm often saddened when the response is trying to be compact, and like line by line replies to comments.
I have really taken to viewing it like a review on a PR.
22.02.2025 12:45 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0
ISMM 2025 - International Symposium on Memory Management - ISMM 2025
Welcome to the home page of the 2025 ACM SIGPLAN International Symposium on Memory Management (ISMM 2025)! ISMM is the premier forum dedicated to research in memory management, covering the areas of m...
The CFP for the 2025 SIGPLAN International Symposium on Memory Management (ISMM) is out! For 25+ years, ISMM has been a key venue of the memory management community, and has now been extended to computer architecture and systems. The deadline is 3/11/25. conf.researchr.org/home/ismm-2025
17.12.2024 23:32 โ ๐ 9 ๐ 4 ๐ฌ 0 ๐ 1
snmalloc-s: Rust Crate has been updated to 0.3.7 to contain the latest release.
crates.io/crates/snmal...
29.11.2024 14:38 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0
The Combining Lock builds a simple version of Flat Combining into a C++ class. We built it to improve the start-up time of snmalloc in high-thread workloads.
There is some fairly accessible documentation about how it works here:
github.com/microsoft/sn...
28.11.2024 14:46 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
YouTube video by ACM SIGPLAN
[PLDI'24] Iceland - ISMM (Jun 25th)
The BatchIt work significantly improves message passing like work loads in snmalloc. It was designed and built by @qedragon. The design appeared at ISMM'24 this year.
www.youtube.com/watch?v=M5KX...
28.11.2024 14:46 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0
snmalloc/docs/release/0.7 at main ยท microsoft/snmalloc
Message passing based allocator. Contribute to microsoft/snmalloc development by creating an account on GitHub.
We have just released the latest version of snmalloc. This release has two features I really enjoyed working on: BatchIt and a Combining Lock. I will describe these features in this post.
The high-level summary of the release is here:
github.com/microsoft/sn...
28.11.2024 14:46 โ ๐ 13 ๐ 4 ๐ฌ 1 ๐ 1
The paper on data-race-free OCaml is out! If you want to learn more about the zoo of new mode axes (contention, uniqueness, portability, ...) and cool new abstractions like capsules, it's all there!
iris-project.org/pdfs/2025-po...
24.11.2024 16:02 โ ๐ 70 ๐ 21 ๐ฌ 1 ๐ 0
Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x
16.11.2024 02:17 โ ๐ 73 ๐ 35 ๐ฌ 4 ๐ 6
Search Jobs | Microsoft Careers
We're looking for another batch of great interns to join our Azure Research team this summer in Cambridge. We're doing some great projects around security and privacy, including Systems, PL and ML. jobs.careers.microsoft.com/global/en/jo...
15.11.2024 08:07 โ ๐ 2 ๐ 2 ๐ฌ 0 ๐ 0
An outstanding 11-18 school, engaged in the wider education community whilst remaining true to Henry Morrisโs vision of serving the needs of its locality.
Website: www.combertonvc.org
Our sixth form can be found using @CombertonSF.bsky.social
PhD from NUS; All things privacy
Lead Privacy Engineer
https://comp.nus.edu.sg/~rishav1
PL research, building Soteria, ex-Gillian. OCaml, Rust, etc.
My machine will take off a head in a twinkling and the victim will feel nothing but a refreshing coolness. We cannot make too much haste, gentlemen, to allow the nation to enjoy this advantage.
PostDoc @ICS FORTH. Cares about theory and practice in Parallel and Distributed computing.
On 13 May, 160+ scientists will be joining Chris Packham, Sir David King & other well-known figures for a rally & day of constructive engagement with policymakers at Parliament.
โ๏ธ Info: tinyurl.com/Scientists2025
๐ฅผ Pledge to join: tinyurl.com/SciParl25
CPython Developer in Residence, Python 3.8 and 3.9 release manager. Gradual typing enthusiast, asynchronous programming proponent, creator of the auto-formatter Black.
He produces electronic music, which includes software and hardware of his own making.
#Python core developer who also works on packaging; works on Python stuff at #Microsoft (although this is a personal account). Proudly #Canadian.
The best online Vegetable Garden & Allotment planning software to get you organised in the garden.
Fully featured garden planner vegplotter.com
Frost dates and growing zone calculator frostdates.com
Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Researcher @ Microsoft | ex. PhD @ CISPA | Neurodivergent ๐ง ๐ฆ | AI safety & security | life and peace for all โฎ๏ธ, permanent ceasefire ๐
Opinions my own.
Python Core Developer ๐ Principal Software Engineer @developer.arm.com
MSc in Computer Science. Posts are my own. He/him/his. ๐ฌ๐ง
More active on http://linkedIn.com/in/diegor
I do IT magic things with the cloud, servers, and stuff. Also do programming, primarily in C#/Rust, and scripting with PowerShell.
#WarDamnEagle #ECUAlumni #Sysadmin #Developer
My website:
https://smalls.online
More:
https://linky.ocw.social/@smalls
Screw it, let's do it.
Proof it's the real me: https://www.linkedin.com/posts/rbranson_richard-branson-richardbransonbskysocial-activity-7267516793689124864--I14
Here's my blog: https://www.virgin.com/branson-
I work on Programming Languages at Microsoft Research
I work on the Windows engineering team at Microsoft and help with feedback for Start menu, Settings, taskbar, input + more
You can find me on most of the other social media apps including Twitter and reddit with the same account name @jenmsft