What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
Will Dormann @wdormann@infosec.exchange
Public

Last night I didn't have a phone charger handy, so I plugged my iPhone into a USB-C PD battery pack.

I'm pretty sure that what happened here was:

  1. Quick charge for a bit
  2. Paused charging while I was sleeping
  3. Finished charging
  4. The battery pack used the phone's power to top off itself. (The phone wasn't even in use at this time)

😂

iPhone battery history
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
Sean Tilley @deadsuperhero@social.wedistribute.org
Public
Shared by @reiver ⊼ (Charles) :batman:

I wrote up an article on my personal (Ghost-powered!) blog about some of the work I’ve been doing to integrate our news publication at We Distribute into the #Fediverse.

This is the culmination of years and years of experiments, and we’re almost to a point where most of our ideas have been realized.

https://deadsuperhero.com/integrating-a-news-publication-into-the-fediverse/

Integrating a News Publication Into the Fediverse

A thorough review of trials, tribulations, and tests to bridge the gap from publishing online to federated social networking.

deadsuperhero.com · deadsuperhero

0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
Juno @jutty@bsd.cafe
Public

tori will be rewritten in another programming language. But which one? The contenders are OCaml, Haskell and Rust and the decision will be made by implementing a simplistic subset of its functionality in an experimental project called iganaq.

For more details, the reasons behind the rewrite and the candidate languages, see the announcement here:

tori.jutty.dev/updates/iganaq

Or go straight to the code, where the OCaml implementation is almost done already:

brew.bsd.cafe/tori/iganaq

Exploring alternative tori implementations ~ tori

Thanks to some free time during the university break, I started some work on porting tori to Void and Alpine Linux. This…

tori.jutty.dev

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

: Demostraciones con Lean4 y con Isabelle/HOL de "Si f es suprayectiva, entonces u ⊆ f[f⁻¹[u]​]". jaalonso.github.io/calculemus/

Si f es suprayectiva, entonces u ⊆ f[f⁻¹[u]​]

Demostrar con Lean4 y con Isabelle/HOL que si \(f\) es suprayectiva, entonces \[ u ⊆ f[f⁻¹[u]] \] Para ello, completar la siguiente teoría de Lean4: import Mathlib.Data.Set.Function open Set Function

jaalonso.github.io · Calculemus

0
0
0
1
0
0
Simon Park @parksb@silicon.moe
Public

역사를 이야기할 때는 필연적으로 어떤 것을 이야기하고, 어떤 것을 이야기하지 않을지 취사선택하게 된다. 이때는 선택하지 않은 것들이 그 사람의 생각을 보여주기도 한다.

2
0
0
1
0
0
1
0
0
1
0
0
1
0
0
politietiagderlogg @politietiagderlogg@activitypub.stigatle.no
Public

17:04: Politiet ble varslet kl. 1457 av en kvinne i 50 årene som har gått tur fra hytta på Ljosland til fjellet Skore. Hun ble overrasket av tett tåke og har tatt kontakt da hun ikke finner veien tilbake. Politiet har i samarbeid med HRS satt igjen en leteaksjon for å få lokalisert kvinnen. Vi har hatt sporadisk kontakt med savnede på telefon og har savnedes posisjon. Politiet får bistand av frivillige for å løse oppdraget.
0
0
0
2
0
0
1
0
0
0
0
0