@TERPays2LaLoire Bonjour, le train 860114 d'Angers vers Tours à 17h56 est-il maintenu ? L'application SNCF me donne juste un retard de 5 minutes mais un SMS me dit qu'il est annulé et me propose un autre trajet. Merci d'avance :-)
Seb wrote a fantastic article exploring how to make mat mul go fast on AMD GPUs. This is a deep dive into both the algorithm and hardware, with great visualizations. He is also looking for work and I only have good things to say about him, so hire him!
https://t.co/QpunDRW2os
Sometimes people ask which puzzle is the hardest sudoku we've ever solved... well it's this one:
https://t.co/vMcttXyceN
🍿🍿🍿🍿🍿🍿🍿🍿🍿🍿🍿🍿🍿
#hardestsudokuever
Tropical geometry studies algebraic varieties through the "tropical semiring" where addition is min (or max) and multiplication is the regular addition. It transforms polynomial eqs into piecewise linear structures and is linked to dynamic programming. https://t.co/v54EY9Jzlp
Hexaly sponsors ORBEL 2025, the Annual Meeting of the Belgium #ORMS Society, January 29-31, 2025.
Hexaly is hiring 🚀 Come by our booth and meet Julien and Lea from R&D to discuss our career opportunities:
https://t.co/nEyWxcJ5oe
We JUST solved a hard open math problem— the moving sofa problem!
"What is the area of the largest shape that can be manuevered through an L corner of width 1?"
On Dec 2, 2024, Korean Jineon Baek proved the answer is the 18 curve section Gerver's sofa with area 2.2195..!
We are thrilled to announce that Hexaly will participate in the 44th Greater Paris Operations Research Day (JFRO) on Tuesday, November 26, 2024, hosted at Sorbonne Université, Paris.
👉 https://t.co/PwY00dBKEn
#Optimization#ORMS#BlackBoxOptimization
On the way to Seattle. If you want to discover something really new at @INFORMS2024, come to my talk:
@_Hexaly, a new kind of global optimization solver
Today, October 19, 1:00 PM – 3:30 PM at Summit – 448
Monday, October 21, 10:45 AM – 11:20 AM at Summit – 345
Join us for the Hexaly Workshop at #OR2024!
🗓️ Date: Wednesday, 4th September 2024
⏰ Time: 1:00pm - 2:30pm
Topic: Modeling and Solving Routing Problems with Hexaly Studio
Speakers: Léa Blaise & Julien Darlay
🔗 https://t.co/JW7vfKvKWd
#Optimization#OperationsResearch
nope, I wait for the crosswalk light for the same reason I use static types. much easier to safely overapproximate and spend those brain cycles on other things, rather than constantly polling to make a dynamic judgment call whether it's safe to go
Opinion des faux experts : l'hiver a été "frais/froid".
Faits mesurés : Début 2024 est le + chaud depuis le début des mesures (minima 1930) avec un excédent thermique presque permanant depuis le 22 janvier. C'est dire à quel point on a oublié la réalité de l'hiver en France. La chaleur prévue ces prochains jours va encore creuser l'écart.
Cette sensation de "froid" est en réalité dû au manque d'ensoleillement et à l'excès de précipitation. Le changement climatique accentue d'ailleurs les périodes de pluie, tout comme les périodes de sécheresse.
Pour la pluie :
- Le changement climatique réchauffe l'air. Chaque degré gagné, c'est +7% d'eau supplémentaire dans l'air, soit +2-4% de précipitation (notamment visible durant les épisodes de fortes pluies).
- Le changement climatique accentue l'apport d'humidité par les rivières atmosphériques (qui ont inondé le Nord et le Centre-Ouest cet hiver).
Pour les sécheresses :
- Le changement climatique pourrait être à l'origine de la modification de position de centres d'actions (comme les anticyclones en méditerranée en 2022) augmentant la fréquence et la durée des périodes sans pluie.
- Le changement climatique augmente la température, ce qui, par ricochet, augmente l'évaporation et la transpiration des écosystèmes. Ainsi, même dans le cas de précipitation annuelle stable (cas potentiel du nord de la France, à consolider), les sécheresses progressent.
- Le changement climatique est à l'origine d'une baisse des précipitations annuelles dans le sud (indice de confiance plus fort en méditerranée).
- En augmentant l'intensité de précipitations (notamment orageuse), le changement climatique diminue l'efficacité des pluies à percoler dans le sol et augmente le ruissellement.
- Le changement climatique modifie les cycles des végétaux. Ils se réveillent plus tôt au printemps et entrent en dormance plus tard en automne : cela réduit de quelques jours la période de recharge des nappes phréatiques.
Méfiez vous des experts en carton sur les réseaux sociaux qui vous parlent de leur jardin, aujourd'hui. Cela ne présage pas du futur sur la France.
Merci de partager sous tous les postes où ça vous paraît utile dans remettre de la science dans le débat.
Bravo to the 22.9% who (correctly) concluded that the string connecting the rocket breaks!
Contrary to what is often taught, it is perfectly possible to handle accelerated reference frames in Special Relativity. This problem is a nice example. 🧵 1/
Have you ever done a dense grid search over neural network hyperparameters? Like a *really dense* grid search? It looks like this (!!). Blueish colors correspond to hyperparameters for which training converges, redish colors to hyperparameters for which training diverges.
We are pleased to announce the release of Hexaly 12.5, which comes with many new features and performance improvements.
🔗 Want to learn more? Check out the link below:
https://t.co/YpfNWeWNMn
#optimization#orms
🎉 LocalSolver is now Hexaly! 🎉
This new identity represents a leap forward in our mission to enable every organization to make better decisions faster when faced with operational and strategic challenges.
If you’re interested in learning more:
👉 https://t.co/gdhvB7LC8v
🔴 En direct de la 2e cérémonie de remise des #prixAcadSciences 2023 !
🏅Stéphane GAUBERT, Directeur de recherche @Inria, lauréat du Prix Michel Monpetit-Institut National de Recherche en Informatique et en Automatique, Inria
👉 https://t.co/Wf6gp6qPDN
ℹ️ https://t.co/7fBAw56K0N
🏆 Broken records for the RCPSP
With an improvement on the best known lower bounds in 25% of classical instances from the literature, LocalSolver demonstrates its prowess in tackling complex scheduling challenges.
👉 https://t.co/k2DkgpZOlD
#optimization#orms
Hey German, whats 'Anlage' in English?
Construction
Site
Facility
Attachment
Compound (in a zoo)
Processor
Annex / Annexe
Arrangement
Factory
Mechanism
Unit
Exhibit
Complex
Creation
Composition
Works (used with sg. or pl. verb)
Enclosure (also: Inclosure, used with regard to a letter)
Layout (in the context of a draft or structure)
Park (in the sense of a green area or park)
Gardens (Plural, in the sense of a green area or park)
Public Park (in the sense of a green area or park)
Aptitude (related to predisposition or talent)
Gift (related to predisposition or talent)
Talent (related to predisposition or talent)
Appendix (in the sense of a document)
Grounds (Plural, in the sense of a green area around a building)
Anlage (Development in Biology)
Equipment (in a technical context)
Installation (in electrical, military, or technical contexts)
Investment (in a financial context)
Plant (in a technical context)
System (in a technical context)
Conception (in literature or theater)
Predisposition (in biology)
Rig (in a technical context)
Asset (in a financial context)
Facilities (Plural, in a sports context)
Machine (in a technical context)
Sport's Complex (in a sports context)
Line (in a technical context)
Fixed Asset (in a financial context)
Disposition (in a medical context)
Rudiment (in biology, embryonal context)
Sound System (in music, stereo context)
Stereo (Device) (in music, stereo context)
Stereo System (in music, stereo context)
Dock Site (in nautical context)
Harbor Installation (in nautical context)
Harbour Installation (in nautical context)
Port Installation (in nautical context)
Pleasure Ground (also: Grounds, in the sense of a park)
Makings (Plural)
Facilities (Plural)
Grounds (Plural)
Constructions (Plural)
Establishment
Assets (Plural, in a financial context)
Equipment (in a technical context)
Capital Machinery (in a financial context)
Investing (in a financial context)
Producer Durable Goods (American English, in commerce)
Bench-Scale Unit (in a laboratory context)
Asset Under Construction
Cogeneration Plant for Heat and Power
Combined Heat and Power Plant
Fines Plant (in mining, coal processing context)
Nature and Nurture (in psychology)
Liquid Phase Treatment Equipment
Physical Structure (related to a building or facility)
Turnkey Installation
Stationary System
Medium-Term Investment
Technical Asset
Technical Installation
Technical Object
Transferred Asset
Written-Off Asset
Deactivated Asset
Leased Asset
Facility Requiring Official Approval for Operation
Machine (Mechanical Installation)
Planned Asset
Turn-Key Plant
Outmoded Plant
Sheltered Installation
Automated Press Line
Payable Investment
Pneumatic Device
Non-Active Installation
Poor Investment
Plant Manager
Equipment Performance
Entirety of an Investment
Nuclear Facility (in a technical context)
Electrical Installation (in a technical context)
Electrical System (in a technical context)
Electrical Equipment (in a technical context)
Electrical Unit (in a technical context)
Intangible Asset (in a financial context)
Public Park (Urban Planning)
Construction (in a building context)
Pilot Plant (in chemistry)
Air-Conditioning Plant
Autonomous System (Theft Security)
Fixed Installation (in a technical context)
Fixed Income Investment (in a financial context)
Near Money (in a financial context)
Quasi-Money (in a financial context)
Nuclear Plant (Nuclear Energy)
Noncurrent Investment (in a financial context)
Non-Current Investment (in a financial context)
Tax-Optimized Investment (in a financial context)
Plant (in a technical context)
Process Plant (in a technical context)
Interest-Bearing Investment (in a financial context)
Depreciable Asset (in a political context)
Capitalized Asset (in a financial context)
Capitalised / Capitalized Asset (in a financial context)
Robotized Line (in a technical and computer context)
Robotised / Robotized Line (in a technical and computer context)
Electro Acoustics (in a technical context)
Public Address System (in music and audio)
Electroacoustic System (in a technical and railway context)
Receiving Asset Account (in a financial context)
Ethical Investment (in a financial context)
Fluid Power System (in a technical context)
Sealed Machine (in surface treatment)
Geothermal Plant (in a technical context)
Sealed System (in machinery)
Heating System (in a technical context)
Hydraulic Equipment (in a technical context)
Innovative Investment (in a financial context)
Ventilation System (in a technical context)
Machinery (in a technical context)
Tangible Asset (in a financial context)
Mobile System (in a technical context)
Own Produced Asset (in financial and commerce context)
Secure Investment (in a financial context)
Tax-Sheltered Investment (in a financial context)
Receiving Asset (in a financial context)
Approved Facility (in an environmental context)
Dismantling of the Facility (in a technical context)
Dismantling of the Installation (in a technical context)
Total Head of the Installation (in a technical context)
Acceptance of an Installation (in a technical context)
Final Inspection of an Installation (in a technical context)
Operation System of an Installation (in a technical context)
Ultimate Strength of a System (in a technical context)
Gross Plant Efficiency (in a financial context)
Asset History (in commerce)
Surface of the Equipment (in a technical context)
Part of an Investment (in a financial context)
Park (in the sense of a public green area)
Safe Investment (in a financial context)
Compact Shelving (in a context related to storage)
Slow Fill Station (in a context related to refueling)
Time-Fill Station (in a context related to refueling)
Toilet (in a context related to sanitation)
Air Conditioning (Abbreviated as a/c, AC, a. c.) (in a context related to climate control)
90-Day Deposit (in a financial context)
Computer System (in a computer context)
Electronic Data Processing Equipment (in a technical context)
Electronic Data Processing System (in a technical context)
Claus Unit (in a technical context)
Hi-Fi System (in an acoustic context)
Hi-Fi Unit (in an acoustic context)
Peak Shaving Facility (in a technical context)
Peak Shaving Plant (in a technical context)
ADF System (in aviation)
Offshore Installation (in a technical context)
Installation for Separator
Braking Concept and Equipment (in a technical context)
Cast Film Extrusion Line (in a technical context)
Chill-Roll Take-Off Machine (in a technical context)
Chill-Roll Unit (in a technical context)
Chill Roll Casting Line (in a technical context)
Chill Roll Extrusion Line (in a technical context)
Deinking Plant (in paper and pulp processing)
Denitrification System (in a technical context)
Denitrification Unit (in a technical context)
Pressure Swing Adsorption Plant (in a technical context)
ELA System (in technology)
Public Park (Urban Planning)
Safe Assets (in a financial context)
Fixed Income Instruments (in a financial context)
Illiquid Investment (in a financial context)
Refrigeration Equipment (in a technical context)
Crisis-Proof Investments (in a financial context)
Surface Facilities (in mining)
Safe Assets (in a financial context)
Socially Responsible Investments (in a financial context)
Surface Installations (in mining)
Capital-Forming Investments (in a financial context)