Tootfinder

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko
https://arxiv.org/abs/2403.09435

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
In this work, we present StarMalloc, a verified, security-oriented, concurrent memory allocator that can be used as a drop-in replacement in real-world projects. Using the Steel separation logic framework, we show how to specify and verify StarMalloc, relying on dependent types and modular abstractions to enable efficient verification. As part of StarMalloc, we also develop several generic datastructures and proof libraries directly reusable in future systems verification projects. We finally s…

This https://arxiv.org/abs/2405.07932 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

Knall auf Fall.

Had seen and tried the new matte "nano" iPad Pro display finish today in the Apple Store. It's amazingly good and feels more natural for the pencil and touch as well. The image quality and sharpness is not degraded while reflections are reduced. I want to try it out for longer usage and see how it deals with dust and fat from fingers.

Kennt jemand das Phänomen, dass ein #AirTag nach ein paar Tagen leer ist, zweimal mit nagelneuer Batterie ausprobiert?

The gendered part of this is interesting, but it's also a good management and leadership lesson for everyone, period.
https://youtube.com/shorts/3Y0Yl61BCcw

Blinken greift in Kiew zur Gitarre und spielt Rock-Klassiker
Ungewöhnlicher Auftritt in Kiew: US-Außenminister Antony Blinken hat in der ukrainischen Hauptstadt nicht nur über Waffenlieferungen für die von Russland angegriffene Ukraine gesprochen, sondern auch musikalisches Talent bewiesen. Der 62-Jährige betrat am Abend in einer Kiewer Bar die Bühne und griff zur Gitarre, wie auf einem Video zu seh…
🐦

KyivPost (@KyivPost) on X
U.S. Secretary of State Antony #Blinken played and sang "Rockin' In The Free World" with a band in one of #Kyiv's bars.

Eine App, die aus gespeicherten EBooks eine virtuelle Bücherwand für Videocalls bastelt. #WasFehlt

Did you know? The "CD" in CCD stands for "Compact Disc"

Current status

On my 7950x machine: Chrome 23.6, Edge 22.3, Firefox 22.9. Pretty close field.

ちなみにこんな感じだよ

Another crime committed in plain sight. It will never be prosecuted:
In contemptuous violation of his gag order, Trump coordinated with a team of “surrogates” (his own word)—including the House Speaker and and US Senator—to attack witnesses, the judge’s family, and the jury.

The amount and quality of work that @… puts out on a daily basis is awe inspiring. Like just ... how?

The EU opens a formal DSA investigation into Meta, to assess if Facebook, Instagram, and its other apps were reinforcing "rabbit hole" effects and other issues (Javier Espinoza/Financial Times)
https://t.co/bTP0Rl08tN

ohhhhh, the reason i couldn't find any device-specific code in the binary i was reverse-engineering is because it was all living in encrypted lisp blobs
that makes sense

@… haha! junior high essays need to be one thousand words to be monetized

Social 💧⁠Chat⁠💧

Aria

com.poppingmoon.aria
https://github.com/poppingmoon/aria
nl.privacydragon.bookwyrm
https://github.com/PrivacyDragon/Bookwyrm_Android
org.briarproject.briar.android
https://briarproject.org/fdroid/repo?appId=org.briarproject.briar.android
org.futo.circles
https://app.futo.org/fdroid/repo?appId=org.futo.circles
chat.delta.lite
https://github.com/adbenitez/deltalab-android
eu.toldi.infinityforlemmy
https://codeberg.org/Bazsalanszky/Eternity
fr.gouv.etalab.mastodon
https://fdroid.fedilab.app/repo?appId=fr.gouv.etalab.mastodon
chat.fluffy.fluffychat
https://github.com/krille-chan/fluffychat
su.xash.husky
https://github.com/captainepoch/husky
cx.ring
https://f-droid.org/packages/cx.ring
org.jitsi.meet
https://f-droid.org/packages/org.jitsi.meet
moe.craftplacer.kaiteki
https://github.com/kaiteki-fedi/kaiteki
org.joinmastodon.android.sk
https://github.com/sk22/megalodon
org.joinmastodon.android.moshinda
https://github.com/lucasggamerm/moshidon
com.nostros
https://github.com/KoalaSat/nostros
com.github.diegoberaldin.raccoonforlemmy.android
https://github.com/diegoberaldin/RaccoonForLemmy
de.spiritcroc.riotx
https://s2.spiritcroc.de/fdroid/repo?appId=de.spiritcroc.riotx
org.thoughtcrime.securesms
https://thecapslock.gitlab.io/fdroid-patched-apps/fdroid/repo?appId=org.thoughtcrime.securesms
chat.simplex.app
https://github.com/simplex-chat/simplex-chat
com.cosmos.unreddit
https://f-droid.org/packages/com.cosmos.unreddit
com.zoffcc.applications.trifa
https://github.com/zoff99/ToxAndroidRefImpl
app.vger.voyager
https://github.com/aeharding/voyager
com.github.andreyasadchy.xtra
https://f-droid.org/packages/com.github.andreyasadchy.xtra
net.accelf.yuito
https://github.com/accelforce/yuito

I still remember a Reddit comment from a teacher saying that she wouldn't know how to live with herself if she spent time grading an essay and figured out it was written by an AI.
This was during the early days of AI where something like this was new, unheard of and practically impossible for students (except for the very techy ones).
I sometimes sit back and think what that teacher is doing now. I think she also said she'd consider to stop teaching altogether if this oc…

Bin zu lange nicht mehr kontrolliert worden und habe den Namen der App mit meinem Deutschlandticket vergessen. Nach einigen Minuten betreutem Suchen, das Ticket auf der Website gezeigt. Als ich das Handy wieder zu mir drehte, den Walletlink darunter gesehen und realisiert, dass es in keiner dedizierten App ist.

tick tock it's niche jokes o'clock #nethack

Law360: "U.S. Circuit Judge Richard Taranto told the room that the Federal Circuit currently has a backlog, which means oral arguments and opinions are being delayed." https://www.law360.com/ip/articles/1836807?nl_pk=2e71aa9c-c8f8-43ff-9d5…

Keep It Short, And Other Advice From Fed. Circ. Judges - Law360
Six Federal Circuit judges counseled a packed room of attorneys on Tuesday about the most common ways to ruin their own cases, such as talking too much at oral argument, adding additional citations and attacking judges or opposing counsel.

Cannot understate hoe hard dit *niet* is wat ik wil.
Informatie vergaren doe je niet efficiënt door een ontransparante query waarvan het antwoord een unholy mix is van output van LLMs en webresultaten.
Ik wil het WWW doorzoeken. Niet de Google-ingested reflectie daarvan.

What is the role of #care #platforms in digital capitalism? Will they transform markets as in delivery or ride-hailing? This seems not to be the case, new research by @… shows:

No country should buy Swiss weapons before they change this policy. The ability to transfer weapons to each other in times of need has proven to be a strategic requirement.
https://mastodon.social/@hanse_mina/112448438990136227

Hanse Mina (@hanse_mina@mastodon.social)
Attached: 1 image The Swiss government wants to be able to sidestep the country’s rigid neutrality to allow more weapons exports but will maintain a ban on shipments to #Ukraine. The government in #Bern will be able to override export restrictions in “exceptional circumstances” for a limited time if this is in line with “foreign-policy or national-security interests,” https://www.bloomberg.com/news/articles/2024-05-15/swiss-to-soften-neutrality-to-export-arms-but-won-t-help-ukraine…

Bike People, what are your thoughts on this kind of bike bag?
#bikes #biking

Before you head out for the weekend, check out today's Metacurity for the top infosec developments you should know, including
--North Korea's Lazarus Group returns to Tornado Cash
--US Attorney to seize $2.3m for pig butchering victims,
--Hackers stole data on 43m from French unemployment agency,
--FTC fines two fraudulent tech support firms,
--Attackers stole $2m from a single crypto investor,
--FCC approves Cyber Trust Mark labels,
--Florida man sues GM and LexisNexis for collecting car data,
--Zscaler buys Avalor for $350m,
--much more
https://www.metacurity.com/p/north-koreas-lazarus-group-returns-tornado-cash

This is a cool little way you can be a good (Canadian) citizen and help keep an eye on the health of your community.
Sign up to be a “FluWatcher”!
"If you agree to become a FluWatcher, you'll receive a weekly link by email to a questionnaire. The questionnaire will ask you whether you or other household members have had a fever or cough in the last week.”
Please boost for reach!
(h/t @…

Monica Tranel was raised on ranches in Eastern Montana, and completed law school at Rutgers University. She works as an attorney in Missoula, where she has represented several energy cases.
And she’s running for the Congress.
#MTPol #BlueWaveRising

Russian proxy: Missile attack causes fires, explosions in occupied Sevastopol: https://benborges.xyz/2024/05/15/russian-proxy-missile.html

27/ Mal mit Arm oben, mal mit unten.

✍️ New post: Making #OwnYourWeb More Sustainable
I am looking for sponsors for my newsletter to make the project more sustainable. 💚
https://matthiasott.com/notes/making-o

UK folks, you have until midnight tonight to register to vote in the local elections. Takes 5 mins to register ! https://www.gov.uk/vote-uk-election

#NowPlaying - celebrating mothers' day in march & kinda just (once again) in love with the sound of late '60s/early '70s #zappa albums, the electric/acoustic mix, the stereo drums, earthy woodwinds, open-wah cartoon guitar tone, pre-synth fusion, all of it. @…

(Mehr Wein.)

#KoboldPress hat eine FAQ zum Black Flag Reference Document #BFRD
https://

I got #diesel running in #RustRover with #rustlang. The experience is what you'd expect from an ORM—pretty smooth and nice. I like this. I'll have to use this with a web app next.
It als…

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Rapha\"el Monat, Aymeric Fromherz, Denis Merigoux
https://arxiv.org/abs/2403.08935

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Legal expert systems routinely rely on date computations to determine the eligibility of a citizen to social benefits or whether an application has been filed on time. Unfortunately, date arithmetic exhibits many corner cases, which are handled differently from one library to the other, making faithfully transcribing the law into code error-prone, and possibly leading to heavy financial and legal consequences for users. In this work, we aim to provide a solid foundation for date arithmetic work…

This https://arxiv.org/abs/2405.07703 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

P e r f e k t n í
#dune2

Teacher: Replace any validation a function does on its inputs with more robust types instead. Eliminate all conditionals that could be types instead.
Student: But doesn't that just push the validation problem up a level?
Teacher: Exactly. Now do it again. And keep doing it until you run out of upper levels.
Student: But now I'm just parsing input into an object as soon as I get it. There's nothing for other code to even do.
And the Student was enlightened…

Blinken greift in Kiew zur Gitarre und spielt Rock-Klassiker
Ungewöhnlicher Auftritt in Kiew: US-Außenminister Antony Blinken hat in der ukrainischen Hauptstadt nicht nur über Waffenlieferungen für die von Russland angegriffene Ukraine gesprochen, sondern auch musikalisches Talent bewiesen. Der 62-Jährige betrat am Abend in einer Kiewer Bar die Bühne und griff zur Gitarre, wie auf einem Video zu seh…
🐦

KyivPost (@KyivPost) on X
U.S. Secretary of State Antony #Blinken played and sang "Rockin' In The Free World" with a band in one of #Kyiv's bars.

[2024-03-15 Fri (UTC), 2 new articles found for cs.PL Programming Languages]

This https://arxiv.org/abs/2405.07348 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

前に弘前行ったの10年前だな……

Layoffs.fyi: 50,000 workers have been laid off from over 200 tech companies since the start of 2024; some recently laid-off employees recall their experiences (Alex Koller/CNBC)
https://www.cnbc.com/2024/03/15/laid-off-t…

@… we just did the snow to 70º swing last week!

tick tock it's niche jokes o'clock #nethack

The Tiny Ultrabright Laser that Can Melt Steel - IEEE Spectrum
https://spectrum.ieee.org/pcsel

The Tiny Ultrabright Laser that Can Melt Steel

Photonic crystals are the key to the brightest semiconductor laser ever

So I had a crazy idea... I want to try the "Pay What You Want" thing again when selling art, but offer people who can't decide on an amount a chance to "spin the wheel" and then decide if they want to pay the amount they spin.
It would be between $5 and $35 or something.
Is that too crazy or could it work?
I could always let them decide to walk away and not go through with the sale or something.

International journalist federations call for probe into detainment of Ukrainian journalists in Poland: https://benborges.xyz/2024/03/15/international-journalist-federations.html

What went wrong with UniSuper and Google Cloud?
https://danielcompton.net/google-cloud-unisuper

Die Deutschen haben eine Obsession, das Äußere von Dingen über deren Inhalt zu stellen. Ein rosa Fussballtrikot, dahinter: ein vertrauter Nationalspieler – Eskalation. Eine Unisex-Toilette, dahinter: ein herkömmliches WC – Eklat. Eine nichtbinär benannte Person, dahinter: ein Mensch – Furor. Ein E-Auto, dahinter: ein Individualverkehrs-Pkw – Entrüstung. Erneuerbare Energien, dahinter: elektrischer Strom – Raserei.
Komplette Unfähigkeit und Unwille, die Substanz der Dinge zu sehen.

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko
https://arxiv.org/abs/2403.09435

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
In this work, we present StarMalloc, a verified, security-oriented, concurrent memory allocator that can be used as a drop-in replacement in real-world projects. Using the Steel separation logic framework, we show how to specify and verify StarMalloc, relying on dependent types and modular abstractions to enable efficient verification. As part of StarMalloc, we also develop several generic datastructures and proof libraries directly reusable in future systems verification projects. We finally s…

This https://arxiv.org/abs/2405.07076 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

エンジニアリングプラスチックかと思ったが、たぶんエンタープライズだな……（エンプラ）

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Rapha\"el Monat, Aymeric Fromherz, Denis Merigoux
https://arxiv.org/abs/2403.08935

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Legal expert systems routinely rely on date computations to determine the eligibility of a citizen to social benefits or whether an application has been filed on time. Unfortunately, date arithmetic exhibits many corner cases, which are handled differently from one library to the other, making faithfully transcribing the law into code error-prone, and possibly leading to heavy financial and legal consequences for users. In this work, we aim to provide a solid foundation for date arithmetic work…

This https://arxiv.org/abs/2405.06714 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

check this out
thanks to VS Code, YoWASP Toolchain Extension, and WebUSB, you can now program FPGAs with nothing but your cellphone o:3
https://marketplace.visualstudio.com/items?itemName=yowasp.toolchain

@… snow in march should be illegal

Hi Friends, what's a popular anime series that could be mentioned in an academic setting as an example, but isn't too weird or too adult?

Stelle mir immer vor, die deutschen Synchron- und Offsprecher bei Teleshoppingsendungen sprechen auch privat immer so wie in ihren eingesprochenen Dauerwerbesendungen.
»N’Abend, Schatz! Wie war dein Tag?«
»Oh, er war einzigartig! Ich kann nicht glauben, je einen so fantastischen Tag erlebt zu haben! Jede Sekunde dieses Tages hat mich absolut begeistert und ich möchte nie mehr einen Tag erleben, der nicht genauso unglaublich großartig ist! Erlebe auch du in Zukunft solche Tage und r…

[2024-03-15 Fri (UTC), 2 new articles found for cs.PL Programming Languages]

This https://arxiv.org/abs/2405.06067 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

もう恋
（めっちゃ検索しづらいので略称で使われてない感）

*opens clip in kdenlive*
*clicks Stabilize*
(kdenlive produces a clip that looks exactly the same)
*increases shakiness setting*
(kdenlive crashes)
*restarts kdenlive, retries*
(kdenlive hangs)
imagine having software that works

This https://arxiv.org/abs/2405.04515 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

@… for sure—and for me it’s a social cost for monetary gain 😬

Got in 8.1 miles in 48 minutes. It’s definitely warm out there! Saw a neighbor grilling at 8am.
#mke #milwaukee #biking

This https://arxiv.org/abs/2405.03548 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

i will continue to use telegram to talk to friends

This https://arxiv.org/abs/2405.02501 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

I soldered up a thing two days ago, and since then spent over an hour trying to get code to run on it, failed... replaced a part, failed, pulled it apart a bit and there's a chance a single strand from some stranded wire was shorting things out.
That's always been a fear of mine, and I guess it came true?

This https://arxiv.org/abs/2404.17481 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2404.15565 has been replaced.
link: https://scholar.google.com/scholar?q=a

I soldered up a thing two days ago, and since then spent over an hour trying to get code to run on it, failed... replaced a part, failed, pulled it apart a bit and there's a chance a single strand from some stranded wire was shorting things out.
That's always been a fear of mine, and I guess it came true?

This https://arxiv.org/abs/2404.13906 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2404.12241 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

I find it amusing that I post my work on Art Share and always seem to get one "reduce" (or "downvote"). I don't know if it's one person who doesn't like my work each time or what...
➡️ https://fedia.io/m/artshare@lemmy.world

Art Share🎨 - Fedia
This is a friendly community for everyone who wants to share their art with the world! Everyone is welcomed 🎨...

This https://arxiv.org/abs/2404.08760 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2403.15436 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

I find it amusing that I post my work on Art Share and always seem to get one "reduce" (or "downvote"). I don't know if it's one person who doesn't like my work each time or what...
➡️ https://fedia.io/m/artshare@lemmy.world

Art Share🎨 - Fedia
This is a friendly community for everyone who wants to share their art with the world! Everyone is welcomed 🎨...

This https://arxiv.org/abs/2403.12024 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2403.10799 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2403.01139 has been replaced.
link: https://scholar.google.com/scholar?q=a

This https://arxiv.org/abs/2402.02807 has been replaced.
link: https://scholar.google.com/scholar?q=a

This https://arxiv.org/abs/2311.17330 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2310.14558 has been replaced.
link: https://scholar.google.com/scholar?q=a

This https://arxiv.org/abs/2310.13206 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2309.05950 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2303.07247 has been replaced.
link: https://scholar.google.com/scholar?q=a

This https://arxiv.org/abs/2405.05376 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2405.06373 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2405.05904 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2405.05466 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2405.04819 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2405.02814 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

This https://arxiv.org/abs/2405.02178 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…