's Avatar

@antoineprv.bsky.social

25 Followers  |  122 Following  |  4 Posts  |  Joined: 26.11.2024  |  1.5259

Latest posts by antoineprv.bsky.social on Bluesky

I'm getting some of it as well. You can mark *all* notifications as read with
`gh api -X PUT notifications -F "last_read_at=$(date -u +'%Y-%m-%dT%H:%M:%SZ')"`

24.09.2025 08:24 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Apache Arrow Summit, Thu, Oct 2, 2025, 9:30 AM | Meetup The day after the PyData Paris conference, we’re excited to host the first-ever Apache Arrow Summit - a gathering dedicated to fostering collaboration and innovation within

Register for the Apache Arrow Summit Paris 25 (October 2nd) at: www.meetup.com/pydata-paris...
The event is hosted by @pydataparis.bsky.social
We are looking forward to seeing you there and talking about all things Arrow.

28.08.2025 07:50 β€” πŸ‘ 13    πŸ” 6    πŸ’¬ 0    πŸ“Œ 2

I'll be attending the event, looking forward to meet Python folks!

28.08.2025 13:43 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

As for constraints, you can model all decision variables as binaries and express conjunctive normal form as linear constraints.

In both cases (SAT and ILP), I think you'd need to make dedicated heuristics to have smth reasonable for package manager, so it boils down to the most adaptable codebase.

02.12.2024 11:38 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

What would be your optimization objective? Probably some heuristic of what it means to be "up to date" with open questions as "Is it better to have indirect dependency very outdated rather than a direct one slightly outdated", but you'd also need to defined "very" and "slightly".

02.12.2024 11:38 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

@antoineprv is following 20 prominent accounts