sebsauvage

#Linux #système #optimisation
Je ne sais pas quoi penser de cette page : gist.github.com/jwbee/7e8b27e2

Vous en pensez quoi ?
(c'était pas le grand argument de la distrib Gentoo, tout re-compiler ?)

Make Ubuntu packages 90% faster by rebuilding them

Make Ubuntu packages 90% faster by rebuilding them…

Gist
Apr 09, 2025, 10:52 · · · 0 · 0
Constraints Journal

Many thanks to Springer's SharedIt program!

From now on, we will share new issues of the Constraints Journal on the Association for Constraint Programming website, along with bonus content (e.g., videos about the contents):

a4cp.org/cj2

#ConstraintProgramming #ArtificialIntelligence
#AssociationForConstraintProgramming
#ACP
#Springer
#SpringerPublishing
#Journal
#CP
#Optimisation #Optimization
#AI
#SharedIt
#OpenScience #OpenAccess #OpenAccessPublishing

Ross Gayler

maths/Bayes/probability/optimisation/inference questions

Some probability/maths/optimisation questions for the Fedi-hive mind:

Bayes' Theorem is
P(H | E) = P(E | H) P(H) / P(E)
where H and E are events (that I have labelled for my mnemonic convenience to suggest Hypothesis and Evidence, but they're just events).

Assume that:
* There is some fixed database of records with a fixed set of fields.
* The events H and E are predicates of individual database records.
* The event predicates are functions of the field values in the record being evaluated.
* We are interpreting the relative frequency of the event predicate being true over all the record in the database as the probability of the event defined by the predicate.

The typical statement of Bayes' Theorem appears to assume that the definitions of the events H and E are fixed and given, and the only thing of interest is how to calculate with them.

1. Does it make sense to have a fixed definition of H and search over the space of possible definitions of E to maximise P(H | E)?

2. Is there a name for this? (I presume it's been suggested many times already.) Is it abductive inference because you're trying to find the "best explanation" of H?

3. Are there constraints that need to be placed on the optimisation? (a. You wouldn't want the E definition to be a copy of or equivalent to the H definition. b. You wouldn't want the E definition to be some degenerate case, e.g. with P(E) vanishingly small. c. You probably want some regularisation penalty that prefers simple definitions of E over more complex ones.

Any comments on this and pointers into the literature would be greatly appreciated.

#math #probability #Bayes #optimisation #AbductiveInference

Mar 10, 2025, 02:23 · · · 0 · 0
Fabien LOISON (FLOZz)

Passer de 4,7 Mio à 843,5 kio d'images sans effort en utilisant du WebP à la place du PNG → ✅

[oui je bosse sur un nouvel article 😁]

#image #Optimisation

Constraints Journal

Dear all,

📓 This is the official account of the Constraints Journal (link.springer.com/journal/1060).

📣 We will use this account to notify you of new publications, extra materials, CfPs and special issues.

💬 We look forward to connecting with the CP community, and thank ACM for hosting.

🚀 Please boost, tnx!

#AcademicMastodon
#ArtificialIntelligence
#AutomatedReasoning
#CombinatorialAlgorithms
#ComputationalLogic
#ConstraintProgramming
#OperationsResearch
#Optimisation
#Satisfiability

Constraints

This journal provides a common forum for the many disciplines…

SpringerLink
Dr. Anna Latour

Excited to attend my first PhD defence at TU Delft: Daniël Vos will be defending his thesis "Decision Tree Learning: Algorithms for Robust Prediction and Policy Optimization", containing work he did under supervision of Prof. Dr. Ir. R.L. Lagendijk and Dr. Ir. Sicco Verwer.

#AcademicMastodon #AcademicChatter #PhDLife #Delft #TUDelft #DelftUniversityOfTechnology #Dissertation #Defence #PhD #PhDDefence #DecisionTrees #Optimization #Optimisation #Algorithms #ExplainableAI #RobustOptimization #RobustAI #Defense #PhDDefense

Ivan Enderlin 🦀

Practical Data-oriented Design, youtube.com/watch?v=IroPQ150F6 by @andrewrk. That's an amazing talk, with concrete examples on the Zig compiler.

#DataOrientedDesign #performance #optimisation

Habr

От Kotlin до машинного кода

В этой небольшой статье разберем большой путь, который проходит код Android-приложения от написания в IDE до выполнения на устройстве. Разберем, какие трансформации претерпевает код на каждом этапе, как можно посмотреть их результат, и для чего это может пригодиться.

habr.com/ru/articles/863146/

#bytecode #optimisation #android #java #kotlin #jvm #dalvik #virtual_machine #r8

Data Science

Polars is a lightning fast DataFrame library/in-memory query engine with parallel execution and cache efficiency. And now you can use is with the tidyverse syntax: tidypolars.etiennebacher.com/ #rstats #polars #optimisation

claude

my microbenchmark compiled with ghc-9.4.8 -O2 is 3.18 times faster when using Int than Int64, even though both are signed 64bit integer types on my platform.

similarly, runhugs is 1.63 times faster when using Int than Int32.

#Haskell #GHC #Hugs98 #optimisation

```
import System.Time (ClockTime(..), getClockTime)

main :: IO ()
main = do
TOD start_s _ <- getClockTime
let loop :: Int -> Int -> IO ()
loop sum i = do
TOD now_s _ <- getClockTime
if now_s - start_s < 20
then do
let sum' = sum + lcm 666 i
i' = i + 1
sum' `seq` i' `seq` loop sum' i'
else do
print i
print sum
loop 0 1
```

Norore

Oui bonjour, c’est bien de savoir utiliser array_map, c’est mieux d’utiliser les bonnes options natives. De rien, moi du passé.
#php #sql #optimisation #JeMeDéteste

kazé

Optimiser une disposition de clavier, ça consiste en quoi ?

À l’époque de #Dvorak et #Bépo la réponse était simple, mais ce domaine a complètement explosé ces 20 dernières années suite au développement de dispositions anglophones comme Colemak, Workman, MTGAP, ISRT, Sturdy…

Voilà un article tout frais qui rassemble l’essentiel de ce qu’on a appris en développant Ergo‑L et les outils d’analyse associés :

ergol.org/articles/analyse_et_

#Ergol #Kalamine #Optimisation

Ergo‑L

Une disposition de clavier ergonomique de type Colemak,…

ergol.org