Big thanks to @datadoghq.com for sponsoring the NYC Chapter of Papers We Love!
18.03.2025 23:35 β π 0 π 0 π¬ 0 π 0
Papers We Love #NYC Presents:
Alex Weisberger on Performal: Formal Verification of Latency Properties for Distributed Systems
Video: youtu.be/fRjFYqk1-4k
Paper: dl.acm.org/doi/pdf/10.1...
#paperswelove #compsci #research #formalverification
18.03.2025 23:33 β π 3 π 1 π¬ 1 π 0
Dafny in action
12.03.2025 23:25 β π 1 π 0 π¬ 0 π 0
Alex Weisberger presenting at papers we love #nyc
12.03.2025 23:04 β π 1 π 0 π¬ 0 π 0
Alex Weisberger on Performal, Wed, Mar 12, 2025, 6:30 PM | Meetup
We're pleased to present **Alex Weisberger** on **Performal: Formal Verification of Latency Properties for Distributed Systems** ([Read the Paper](https://dl.acm.org/doi/pd
Yo! Papers We Love #NYC is pleased to present Alex Weisberger on Performal: Formal Verification of Latency Properties for Distributed Systems - Wednesday March 12th, 6.30p EST
π Paper: dl.acm.org/doi/pdf/10.1...
ποΈ RSVP: www.meetup.com/papers-we-lo...
#paperswelove #compsci #meetup #research
22.02.2025 13:13 β π 2 π 1 π¬ 0 π 0
YouTube video by PapersWeLove
Alex Kesling on Apache Arrow DataFusion [PWL NYC]
The Kesling Criteria (informally) --
A system is a database if:
1) You can ask questions of it
2) It returns data
As presented in my @paperswelove.org talk last week youtu.be/6A4vFRpSq3k
12.02.2025 14:43 β π 3 π 2 π¬ 0 π 0
For Papers We Love last week,
@alexkesling.bsky.social gave a talk on DataFusion and live demoed an increasingly awesome set of Rust databases built with it. If youβre free tomorrow, you should head to Rust NYC where heβll go deeper on the internals and take it further.
11.02.2025 02:49 β π 8 π 3 π¬ 2 π 0
YouTube video by PapersWeLove
Alex Kesling on Apache Arrow DataFusion [PWL NYC]
PWL NYC is pleased to present Alex Kesling (@alexkesling.bsky.social) on Apache Arrow DataFusion
February 5, 2025
πΊ youtu.be/6A4vFRpSq3k
π andrew.nerdnetworks.org/other/SIGMOD...
#compsci #research #datafusion #database #sql
12.02.2025 12:12 β π 8 π 4 π¬ 1 π 0
When the video lands you too can witness the awesomeness of CsgreSQL
06.02.2025 01:08 β π 2 π 0 π¬ 0 π 0
Ya thatβs right! @paperswelove.org
06.02.2025 00:19 β π 2 π 2 π¬ 0 π 0
Alex dropping science about data fusion
06.02.2025 01:06 β π 3 π 1 π¬ 1 π 0
Heyo, if you don't think you're going to make it to this event please update your RSVP so folks on the waiting list can snag a spot.
Thank ye!
05.02.2025 00:49 β π 1 π 0 π¬ 0 π 0
YouTube video by PapersWeLove
"Including Equity in Tech Work" by Ari Schlesinger [PWLConf 2018]
The co-author of the paper, Ari Schlesigner, gave a great talk at PWLConf 2018 on equity in tech work.
youtu.be/nOpyZK2OCnY?...
#tech #video #pwlconf
29.01.2025 10:52 β π 6 π 5 π¬ 0 π 0
Come learn how to "build" a database with me!
I'm presenting on February 5th at Datadog HQ on the paper "Apache Arrow DataFusion: a Fast, Embeddable, Modular Analytic Query Engine" (andrew.nerdnetworks.org/other/SIGMOD...).
If you're in NYC, register at www.meetup.com/papers-we-lo...
24.01.2025 16:30 β π 5 π 5 π¬ 0 π 0
It's horrific to watch myself talk, but error-codes are great. Huge s/o to Dick Hamming!
14.12.2024 02:36 β π 3 π 1 π¬ 0 π 0
YouTube video by PapersWeLove
Yotam Bentov on Error Detecting and Error Correcting Codes [PWL NYC]
Yotam Bentov on Error Detecting and Error Correcting Codes [PWL NYC]
October 29, 2024 / NYC
Video: youtu.be/i4HEp9vaM6Q
Paper: zoo.cs.yale.edu/classes/cs32...
Contact the NYC chapter on Discord: discord.gg/6gupsBg4qp
Big thanks to #Datadog for supporting the NYC chapter of #paperswelove
13.12.2024 11:32 β π 3 π 2 π¬ 0 π 1
YouTube video by PapersWeLove
Nathan Taylor on Liquid Type Systems [PWL NYC]
[PWL NYC] Nathan Taylor on Liquid Type Systems
We're pleased to present Nathan Taylor on Liquid Types!
π goto.ucsd.edu/~rjhala/liqu...
π¬ youtu.be/C5PuBeiWaSA
#paperswelove #video #meetup #types #pl #programming
22.11.2024 15:48 β π 8 π 4 π¬ 0 π 0
dtrace.conf(24)
Our (mostly!) quadrennial unconference on DTrace! (BYO topic!)
We're excited to announce dtrace.conf(24), the premier unconference for all things DTrace! π
π
Date: December 11th, 2024
π Location: Emeryville, CA
As an unconference, the agenda is driven by attendees. Come ready to actively participate!
https://dtraceconf24.eventbrite.com
18.10.2024 18:03 β π 19 π 7 π¬ 0 π 0
Ben Safdie as Edward Teller at Papers We Love #nyc
29.10.2024 23:10 β π 2 π 1 π¬ 0 π 0
Error Detecting and Error Correcting Code by RW Hamming at papers we love #nyc
#compsci #meetup
29.10.2024 23:08 β π 1 π 0 π¬ 0 π 0
Gearing up for the papers we love #nyc meetup tonight!
29.10.2024 22:55 β π 3 π 1 π¬ 0 π 0
here for you homie
28.10.2024 22:52 β π 0 π 0 π¬ 0 π 0
Web geek and environmentalist with a camera at the bottom left corner of Canada. He/him.
Iβm mainly on Fedi, @cosocial.ca@timbray. On this account I mostly post #blueskyabove photos; for more, if youβre not on Fedi try @timbray.cosocial.ca.ap.brid.gy
goblin, candlemaker (bugsrock.online), one of the greatest minds in web development (jennschiffer.com) and blogging (livelaugh.blog), and nyc co-host of robot karaoke (robotkaraoke.live)
Soft person. Likes infosec, open source, electronics, reading, education, and privacy.
she/her. Author, manager, distributed systems engineer, etc etc, my latest book Platform Engineering is available now! https://amzn.to/4eUz5zB
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
π¨π¦ Vancouver
π @katiewilde.com
π’ @inkandswitch.com
ποΈ @ucan.xyz
π° Always learning
π³οΈβπ Sapphic as heck
π³οΈββ§οΈ Trans rights are human rights
β BLM & Land Back
π€ United we stand, divided we fall
π notes.brooklynzelenka.com
π©πΌβπ» github.com/expede
π types.pl/@expede
@etrepum on most of the other places
be gay, ride fast
we must dissent
πσ ²σ
σ σ
σ
σ
©σ σ σ
σ
σ σ
σ
’σ
σ
σ
σ
£σ π΄π»ββοΈ she/her
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
π΅ NP: "liadfh" by Forty Winks
![Alex Kesling on Apache Arrow DataFusion [PWL NYC]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:7exzjpmmyjvyw7tx77sskkoj/bafkreieimthrzqmv3e4iyacwnfawnq6ey2iaqac5fnwktk5tuohst2dmgu@jpeg)
![Alex Kesling on Apache Arrow DataFusion [PWL NYC]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4nu4mvrva2opj5boqfwd3bpg/bafkreiapfgngngdp2ffdlep3dbq6sckd2z5n2dcf4mlhq7ezp2x2x6b5sa@jpeg)
!["Including Equity in Tech Work" by Ari Schlesinger [PWLConf 2018]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4nu4mvrva2opj5boqfwd3bpg/bafkreidaufym3tsa7x5t7a442yudvf7b7l7jos4edcoogm4xkzikzsma6i@jpeg)
![Yotam Bentov on Error Detecting and Error Correcting Codes [PWL NYC]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4nu4mvrva2opj5boqfwd3bpg/bafkreibi7xqrjbkxxzqswtygugfdftm2mp7oevuarhm2thjeh7zlppvd4i@jpeg)
![Nathan Taylor on Liquid Type Systems [PWL NYC]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4nu4mvrva2opj5boqfwd3bpg/bafkreifqhmzfymj723umnp3r4maagisnahnbjvtcgik6ixlmpvahqwq2vm@jpeg)
