Search
1000 results for “Patryk_Tomkowski_”
-
Today I released a new version #FileByDate
-organize files by file or exif dateIt's mostly about improved packaging and updated dependencies such as #java & #netbeans platform.
Enjoy!
-
Today I released a new version #mapollage
-a photo kml generator for Google EarthIt's mostly about improved packaging and updated dependencies such as #java & #netbeans platform.
Enjoy!
-
Hätten wir den #Islamismus in Deutschland genauso bekämpft wie den #Rechtsextremismus, würde hier mittlerweile die #Scharia gelten.
-
@smile2confuse @berndsippel dann fühlt euch beide eingeladen zur Märzausgabe des #Bildungsbier |es von #EduRheinNeckar !
-
I just published a post on an interesting MSc thesis I supervised. Arvid Rydberg and Selina Sand Engberg took on the computational challenge of level-p-complexity (D_p(f)) of Boolean functions.
They optimised the algorithms using hash-consing & normalisation, and developed tools for exact calculations using algebraic numbers.
Details:
https://patrikja.owlstown.net/posts/4554#Haskell #CompSci #BooleanLogic
I presented earlier work (from before this MSc thesis) at ICFP 2024: https://www.youtube.com/watch?v=mxDjPTDwbGE
-
Bayer Leverkusens Patrik Schick soll Tschechien bei der Fußball-EM in die K.o.-Runde schießen. Beim Turnier in Deutschland könnte Schick in die Riege der ganz großen Nationalspieler vorstoßen.
Bayer Leverkusens Patrik Schick soll Tschechien bei der Fußball-EM in die K.o.-Runde schießen. Auf dem Angreifer, der beim Großturnier in Deutschland in die Riege der ganz großen Nationalspieler vorstoßen könnte, lasten große Hoffnungen.#Fußball #EM #Tschechien #PatrikSchick #BayerLeverkusen #Portrait #Porträt #Feedmanager #Newsticker
Tschechiens Schick - zwischen Sorgenkind und Torschützenkönig -
Durch einen umstrittenen Elfmeter gewinnt der FC Bayern bei Borussia Dortmund. Bayer Leverkusen feiert am 14. Spieltag der Bundesliga gegen Greuther Fürth einen Kantersieg. Patrik Schick schnürt einen Viererpack.
FC Bayern gewinnt Topspiel bei Borussia Dortmund | DW | 04.12.2021
#Bundesliga #Fußball #Fußball-Bundesliga #14Spieltag #BayerLeverkusen #PatrikSchick #FCBayernMünchen #BorussiaDortmund -
Die Werkself aus Leverkusen feiert am 14. Spieltag der Bundesliga gegen Greuther Fürth einen Kantersieg. Patrik Schick schnürt einen Viererpack. Der FSV Mainz 05 klettert nach oben und auch Bochum gewinnt.
Bayer Leverkusen mit Schützenfest gegen Greuther Fürth | DW | 04.12.2021
#Bundesliga #Fußball #Fußball-Bundesliga #14Spieltag #BayerLeverkusen #PatrikSchick -
Kul att se duktiga Patrik Juhlin och hans P-Dyk från Ystad, vara ute och rensa spökgarn i #Östersjön. Hamnarna får dock skärpa sig och se till att ta emot det skräp som rensas upp... Tumme upp även till #Havsmiljöfonden som bidrar till att finansiera arbetet. havsmiljofonden.se/havsmiljofon...
Frivillige dykkere fanger affa... -
Återigen mobiliserar Moskvas ekon för att försöka störa #FoFRK i Sälen med ett snarlikt namn En genomgång av några aktörerna som tycker det är bra med ryska krig och annekteringar. https://frivarld.se/sakerhetsradet/pro-ryskt-stormoment-i-ar-igen-mot-folk-och-forsvars-rikskonferens/ #säkpol #FISE #nato #turpo #svpol
-
"Ondska låter sig inte tystas av enbart godhet. Ondska måste mötas beslutsamt och bestämt. Men alltid så att vi själva inte gör oss skyldiga till ondska." President @niinisto:s nyårstal #säkpol = #turpo #FISE https://www.presidentti.fi/sv/tal/republikens-president-sauli-niinistos-nyarstal-den-1-januari-2023/
-
Så föll man dit för Covid för första gången konstaterat...två hemmatester som obevekligen sade samma sak. Bara att ställa in #Hanaholmen och #Hanatinget och missa alla diskussioner om #FISE i #NATO #säkpol = #turpo. Surt...
-
Dobré ráno, bando!🧡 Dnes kontrola na IHOK a od minula mám slíbeno, že když budou dobré výsledky, bude letos poslední. Tak mi držte, prosím, palce!🧡🧡
Poslední týden mi trochu víc pracovala hlava. Odešel Patrik Hezucký a tak se mi neustále vracela otázka - kolik času mám já....?
#taknejak #kohotozajima #MultipleMyeloma -
Schaue gerade die Aufnahmen der GPN18 und bin auf die großartigen Talks von @leyrer gestoßen.
Vielen Dank dafür!
-
Pridebowl, Flame still burns and more
Cafe Bluff, Thursday, June 4 at 08:00 PM GMT+2
PRIDEBOWL
formed in Sweden in 1994 with Aaron Goulding (vocals),
Henrik Nilsson (lead guitar), Stefan Glendell (rhythm guitar), Oskar
Andersson (bass), and Martin Bodin (drums). Between 1994–1998, they released Long Distance(EP), Drippings of the Past(LP), The Soft Song(EP), No Better, No Worse(split EP with Adhesive) and Where YouPut Your Trust(LP) on Bad Taste Records (Warner/Chappell).
In 1997, Matthias Jagborn (R.I.P.) and Patrik Sundin joined on guitar, co-writing Yesterday’s End(LP). Pridebowl toured worldwide and became the first foreign punk band to play in China before disbanding in 1998.
Around 2002, Aaron reformed the band with Corey, Wayne, Matt, and Todd to release Tired(EP).
In 2023, Aaron revived Pridebowl once more—this time with Levi Dixon(USA), Andy Constantinou (UK), Heath Rowley (AUS), and Juan de Lange(SA). They played the Red Bridge Festival in Quebec on June 8, 2024, and released Hostage on People of Punk Rock Records.
In late 2024, the band released their first live album, Picking Up the Pieces, Live at The MillFLAME STILL BURNS
Melodic hardcore from the south
Flame Still Burns (Vaals, NL). A group of old friends from the south of Limburg who share a love for fast and positive hardcorepunk and youthcrew. After releasing a 7” in 2023, they have been working on an album. Shows have been scarce the last 2 years due to some setbacks, but they will be back. They can’t wait to play some new songs in their favorite hangout Bluffhttps://calendar.askapunk.nl/event/pridebowl-flame-still-burns-and-more
-
Pridebowl, Flame still burns and more
Cafe Bluff, Thursday, June 4 at 08:00 PM GMT+2
PRIDEBOWL
formed in Sweden in 1994 with Aaron Goulding (vocals),
Henrik Nilsson (lead guitar), Stefan Glendell (rhythm guitar), Oskar
Andersson (bass), and Martin Bodin (drums). Between 1994–1998, they released Long Distance(EP), Drippings of the Past(LP), The Soft Song(EP), No Better, No Worse(split EP with Adhesive) and Where YouPut Your Trust(LP) on Bad Taste Records (Warner/Chappell).
In 1997, Matthias Jagborn (R.I.P.) and Patrik Sundin joined on guitar, co-writing Yesterday’s End(LP). Pridebowl toured worldwide and became the first foreign punk band to play in China before disbanding in 1998.
Around 2002, Aaron reformed the band with Corey, Wayne, Matt, and Todd to release Tired(EP).
In 2023, Aaron revived Pridebowl once more—this time with Levi Dixon(USA), Andy Constantinou (UK), Heath Rowley (AUS), and Juan de Lange(SA). They played the Red Bridge Festival in Quebec on June 8, 2024, and released Hostage on People of Punk Rock Records.
In late 2024, the band released their first live album, Picking Up the Pieces, Live at The MillFLAME STILL BURNS
Melodic hardcore from the south
Flame Still Burns (Vaals, NL). A group of old friends from the south of Limburg who share a love for fast and positive hardcorepunk and youthcrew. After releasing a 7” in 2023, they have been working on an album. Shows have been scarce the last 2 years due to some setbacks, but they will be back. They can’t wait to play some new songs in their favorite hangout Bluffhttps://calendar.askapunk.nl/event/pridebowl-flame-still-burns-and-more
-
By Thus Spoke
Can you guess what genre Acidsloth plays? Yes, that’s right, it’s thrash! Ok, no, obviously not, it’s stoner doom—what else with a name that’s a portmanteau of a drug and a notoriously slow-moving animal? Kicking1 around since 2021, Kraków’s Acidsloth already have two LPs to their name, but it’s their third that they bestow the honor of being self-titled. The reason is that this time, they’re a “full band” (to use their own terminology), totaling eight(!) musicians, five of whom perform vocals. In this sense, Acidsloth is kind of their debut. With a charmingly against-type depiction of their token animal, and the promise of “Eyehategod-level aggression mixed with Conan’s heaviness and Electric Wizard’s psychedelic weight,” Acidsloth are out to show they mean business.
Acidsloth’s more-is-more approach to vocalists sees them hand the mic to a new player on (almost) every track.2 This is a cool and unique way to inject a bit of flavor into what is an infamously monotonous subgenre, as we swap between the shriekier (Julia Markiewicz, Radosław Bury), hoarser (Jan Gajewski, Mateusz Zborowski) and the growlier (Patryk Kozera) interpretations of the sludge scream. Beyond this, their compositions follow a common trajectory, often beginning with atmospheric, slightly ominous plucking and spending most of their time brooding in distorted sludgy chugs to a sedated beat. It’s certainly solid (in literal density as well as aesthetic quality), and sometimes it’s even slick thanks to some beautifully-timed transitions and an elusive solo. But as a whole, it fails to have the weight it needs to support its posture.
The thing about having different vocalists on different songs is that it’s quite important to be able to hear them well enough to appreciate their individual skills. Unfortunately, Acidsloth’s vocal track is so low in the mix compared to the instrumentation that the shouts and screams are often lost in the fuzz and bang of guitar and bass drum (particularly on “Float” and “Sin”). Given this, you’d hope the riffs would make up for it, but here too, Acidsloth fumble the ball. Outside of two pretty sweet solos (“Hole,” “Puke”) the guitars only hint at interesting melodies with some hanging plucks (“Hole,” “Free,” “Puke,” “Satan”), and interspersed passages of up-or-down-tempo strumming (“Float,” “Satan”). There are little moments of brilliance where it seems Acidsloth finally finish coming up and deliver—brutal, sledgehammer sludge screams (“Float,” “Free”); that solo (“Hole”); groovily-tapping post metal tension (“Free,” “Satan”); moody liquid plucks (“Sin”). But it’s at these times when Acidsloth’s odd compositional habits truly hamstring what strength they gained. Frequently, songs switch gears midway, and then again, and yet manage to reprise the least-interesting elements of monotony; the cool parts not given time to command the space they deserve (“Hole,” “Free,” “Sin,” “Puke”). The worst case is “Free,” which could have Amenra-esque levels of bite and solemnity, if the mid-tier galloping sludge didn’t smother the harrowing howls, and the anticipatory build that interrupts it set the tone instead.
Doom of any kind, and sludge for that matter, is at heart designed to be uncomplicated, but its presence—whether through emotional depth or sheer magnitude—is what makes it powerful. Alternatively, maybe it can just make you feel good with some psychedelically lush soundscapes. Acidsloth has no presence beyond its literal noisiness, and there’s but a glimmer of color in the melodies. The near-inaudibility of the vocalists is made worse by the frequent use of reverb, and what is either multi-tracking or group shouts (their muddiness makes it hard to tell). The music isn’t “boring,” as such, it’s just draining to listen to, as all the best riffs, screams, and good use of rhythm and atmosphere are quite quickly ironed over with a return to the plod and a sheen of humming feedback. One thus ends up walking away with the unfair impression that there’s simply nothing going on in the entire record. Even in active listens, I struggled to cling to the positive vibes.
As a stoner doom album, maybe Acidsloth is standard fare, but I would like to think not. As a sludge album, it fares better, thanks to an emphasis on chunky—albeit mostly dull—riffing and the fact that at least some of the vocalists seem to have promise. Acidsloth are finding their feet as an ensemble, and if they can pool their assets, I think they could make something pretty juicy. Hopefully, they make the move faster than the animal they’re named for.
Rating: Disappointing
DR: 6 | Format Reviewed: 320 kbps mp3
Label: Willowtip
Websites: Bandcamp | Facebook
Releases Worldwide: June 20th, 2025#20 #2025 #Acidsloth #Amenra #Conan #CultOfLuna #DoomMetal #ElectricWizard #Eyehategod #Jun25 #PolishMetal #PostMetal #Review #Reviews #SelfReleases #Sludge #StonerDoom
-
By Thus Spoke
Can you guess what genre Acidsloth plays? Yes, that’s right, it’s thrash! Ok, no, obviously not, it’s stoner doom—what else with a name that’s a portmanteau of a drug and a notoriously slow-moving animal? Kicking1 around since 2021, Kraków’s Acidsloth already have two LPs to their name, but it’s their third that they bestow the honor of being self-titled. The reason is that this time, they’re a “full band” (to use their own terminology), totaling eight(!) musicians, five of whom perform vocals. In this sense, Acidsloth is kind of their debut. With a charmingly against-type depiction of their token animal, and the promise of “Eyehategod-level aggression mixed with Conan’s heaviness and Electric Wizard’s psychedelic weight,” Acidsloth are out to show they mean business.
Acidsloth’s more-is-more approach to vocalists sees them hand the mic to a new player on (almost) every track.2 This is a cool and unique way to inject a bit of flavor into what is an infamously monotonous subgenre, as we swap between the shriekier (Julia Markiewicz, Radosław Bury), hoarser (Jan Gajewski, Mateusz Zborowski) and the growlier (Patryk Kozera) interpretations of the sludge scream. Beyond this, their compositions follow a common trajectory, often beginning with atmospheric, slightly ominous plucking and spending most of their time brooding in distorted sludgy chugs to a sedated beat. It’s certainly solid (in literal density as well as aesthetic quality), and sometimes it’s even slick thanks to some beautifully-timed transitions and an elusive solo. But as a whole, it fails to have the weight it needs to support its posture.
The thing about having different vocalists on different songs is that it’s quite important to be able to hear them well enough to appreciate their individual skills. Unfortunately, Acidsloth’s vocal track is so low in the mix compared to the instrumentation that the shouts and screams are often lost in the fuzz and bang of guitar and bass drum (particularly on “Float” and “Sin”). Given this, you’d hope the riffs would make up for it, but here too, Acidsloth fumble the ball. Outside of two pretty sweet solos (“Hole,” “Puke”) the guitars only hint at interesting melodies with some hanging plucks (“Hole,” “Free,” “Puke,” “Satan”), and interspersed passages of up-or-down-tempo strumming (“Float,” “Satan”). There are little moments of brilliance where it seems Acidsloth finally finish coming up and deliver—brutal, sledgehammer sludge screams (“Float,” “Free”); that solo (“Hole”); groovily-tapping post metal tension (“Free,” “Satan”); moody liquid plucks (“Sin”). But it’s at these times when Acidsloth’s odd compositional habits truly hamstring what strength they gained. Frequently, songs switch gears midway, and then again, and yet manage to reprise the least-interesting elements of monotony; the cool parts not given time to command the space they deserve (“Hole,” “Free,” “Sin,” “Puke”). The worst case is “Free,” which could have Amenra-esque levels of bite and solemnity, if the mid-tier galloping sludge didn’t smother the harrowing howls, and the anticipatory build that interrupts it set the tone instead.
Doom of any kind, and sludge for that matter, is at heart designed to be uncomplicated, but its presence—whether through emotional depth or sheer magnitude—is what makes it powerful. Alternatively, maybe it can just make you feel good with some psychedelically lush soundscapes. Acidsloth has no presence beyond its literal noisiness, and there’s but a glimmer of color in the melodies. The near-inaudibility of the vocalists is made worse by the frequent use of reverb, and what is either multi-tracking or group shouts (their muddiness makes it hard to tell). The music isn’t “boring,” as such, it’s just draining to listen to, as all the best riffs, screams, and good use of rhythm and atmosphere are quite quickly ironed over with a return to the plod and a sheen of humming feedback. One thus ends up walking away with the unfair impression that there’s simply nothing going on in the entire record. Even in active listens, I struggled to cling to the positive vibes.
As a stoner doom album, maybe Acidsloth is standard fare, but I would like to think not. As a sludge album, it fares better, thanks to an emphasis on chunky—albeit mostly dull—riffing and the fact that at least some of the vocalists seem to have promise. Acidsloth are finding their feet as an ensemble, and if they can pool their assets, I think they could make something pretty juicy. Hopefully, they make the move faster than the animal they’re named for.
Rating: Disappointing
DR: 6 | Format Reviewed: 320 kbps mp3
Label: Willowtip
Websites: Bandcamp | Facebook
Releases Worldwide: June 20th, 2025#20 #2025 #Acidsloth #Amenra #Conan #CultOfLuna #DoomMetal #ElectricWizard #Eyehategod #Jun25 #PolishMetal #PostMetal #Review #Reviews #SelfReleases #Sludge #StonerDoom
-
By Thus Spoke
Can you guess what genre Acidsloth plays? Yes, that’s right, it’s thrash! Ok, no, obviously not, it’s stoner doom—what else with a name that’s a portmanteau of a drug and a notoriously slow-moving animal? Kicking1 around since 2021, Kraków’s Acidsloth already have two LPs to their name, but it’s their third that they bestow the honor of being self-titled. The reason is that this time, they’re a “full band” (to use their own terminology), totaling eight(!) musicians, five of whom perform vocals. In this sense, Acidsloth is kind of their debut. With a charmingly against-type depiction of their token animal, and the promise of “Eyehategod-level aggression mixed with Conan’s heaviness and Electric Wizard’s psychedelic weight,” Acidsloth are out to show they mean business.
Acidsloth’s more-is-more approach to vocalists sees them hand the mic to a new player on (almost) every track.2 This is a cool and unique way to inject a bit of flavor into what is an infamously monotonous subgenre, as we swap between the shriekier (Julia Markiewicz, Radosław Bury), hoarser (Jan Gajewski, Mateusz Zborowski) and the growlier (Patryk Kozera) interpretations of the sludge scream. Beyond this, their compositions follow a common trajectory, often beginning with atmospheric, slightly ominous plucking and spending most of their time brooding in distorted sludgy chugs to a sedated beat. It’s certainly solid (in literal density as well as aesthetic quality), and sometimes it’s even slick thanks to some beautifully-timed transitions and an elusive solo. But as a whole, it fails to have the weight it needs to support its posture.
The thing about having different vocalists on different songs is that it’s quite important to be able to hear them well enough to appreciate their individual skills. Unfortunately, Acidsloth’s vocal track is so low in the mix compared to the instrumentation that the shouts and screams are often lost in the fuzz and bang of guitar and bass drum (particularly on “Float” and “Sin”). Given this, you’d hope the riffs would make up for it, but here too, Acidsloth fumble the ball. Outside of two pretty sweet solos (“Hole,” “Puke”) the guitars only hint at interesting melodies with some hanging plucks (“Hole,” “Free,” “Puke,” “Satan”), and interspersed passages of up-or-down-tempo strumming (“Float,” “Satan”). There are little moments of brilliance where it seems Acidsloth finally finish coming up and deliver—brutal, sledgehammer sludge screams (“Float,” “Free”); that solo (“Hole”); groovily-tapping post metal tension (“Free,” “Satan”); moody liquid plucks (“Sin”). But it’s at these times when Acidsloth’s odd compositional habits truly hamstring what strength they gained. Frequently, songs switch gears midway, and then again, and yet manage to reprise the least-interesting elements of monotony; the cool parts not given time to command the space they deserve (“Hole,” “Free,” “Sin,” “Puke”). The worst case is “Free,” which could have Amenra-esque levels of bite and solemnity, if the mid-tier galloping sludge didn’t smother the harrowing howls, and the anticipatory build that interrupts it set the tone instead.
Doom of any kind, and sludge for that matter, is at heart designed to be uncomplicated, but its presence—whether through emotional depth or sheer magnitude—is what makes it powerful. Alternatively, maybe it can just make you feel good with some psychedelically lush soundscapes. Acidsloth has no presence beyond its literal noisiness, and there’s but a glimmer of color in the melodies. The near-inaudibility of the vocalists is made worse by the frequent use of reverb, and what is either multi-tracking or group shouts (their muddiness makes it hard to tell). The music isn’t “boring,” as such, it’s just draining to listen to, as all the best riffs, screams, and good use of rhythm and atmosphere are quite quickly ironed over with a return to the plod and a sheen of humming feedback. One thus ends up walking away with the unfair impression that there’s simply nothing going on in the entire record. Even in active listens, I struggled to cling to the positive vibes.
As a stoner doom album, maybe Acidsloth is standard fare, but I would like to think not. As a sludge album, it fares better, thanks to an emphasis on chunky—albeit mostly dull—riffing and the fact that at least some of the vocalists seem to have promise. Acidsloth are finding their feet as an ensemble, and if they can pool their assets, I think they could make something pretty juicy. Hopefully, they make the move faster than the animal they’re named for.
Rating: Disappointing
DR: 6 | Format Reviewed: 320 kbps mp3
Label: Willowtip
Websites: Bandcamp | Facebook
Releases Worldwide: June 20th, 2025#20 #2025 #Acidsloth #Amenra #Conan #CultOfLuna #DoomMetal #ElectricWizard #Eyehategod #Jun25 #PolishMetal #PostMetal #Review #Reviews #SelfReleases #Sludge #StonerDoom
-
Spending ten hours troubleshooting Podman - NextCloud only to fibnally realize I had a symbol in the password that podman couldn't handle ..... AAAAaaargh! #self-hosted #nextcloud #podman #linux #chez-geek
-
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
Just submitted my latest Swedish Science Council grant proposal: "Navigating the Incomparable"!
We want to build correct-by-construction software for multi-objective optimization—helping safely navigate complex trade-offs like economic costs vs. global temperature rise (see the attached idealised Pareto front).
To do this, we're proposing three connected work packages (see diagram) moving from formal specification, to state-space reduction, and finally scalable execution. We aim to combine #FunctionalProgramming, #DependentTypes, and dimensional analysis to build algebraically accountable tools for climate policy and fusion energy.
If funded, this opens a new PhD position in 2027!
📖 Read the full abstract: https://patrikja.owlstown.net/posts/5441
#Haskell #Agda #TypeTheory #ClimateScience #FusionEnergy #ProgLang
-
X-mas comes early this year: the ICFP 2025 talks are now on YouTube.
You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diagrams to model things like General Relativity and black holes. 🕳️🚀
My talk: https://www.youtube.com/watch?v=04cxfddDwuI
Full Playlists:
🔗 ICFP papers: https://www.youtube.com/watch?v=COD4tnVtHoQ&list=PLyrlk8Xaylp4WyLpPH40RBw-kZSdkpkVs
🔗 JFP First papers: https://www.youtube.com/watch?v=oZLSDFfpHp0&list=PLyrlk8Xaylp68qJ-kEeXEPne0ePPwNGFihttps://mastodon.acm.org/@sigplanav/115667300324636252
cc @sigplanav (https://sigplan.org)
#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming
-
X-mas comes early this year: the ICFP 2025 talks are now on YouTube.
You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diagrams to model things like General Relativity and black holes. 🕳️🚀
My talk: https://www.youtube.com/watch?v=04cxfddDwuI
Full Playlists:
🔗 ICFP papers: https://www.youtube.com/watch?v=COD4tnVtHoQ&list=PLyrlk8Xaylp4WyLpPH40RBw-kZSdkpkVs
🔗 JFP First papers: https://www.youtube.com/watch?v=oZLSDFfpHp0&list=PLyrlk8Xaylp68qJ-kEeXEPne0ePPwNGFihttps://mastodon.acm.org/@sigplanav/115667300324636252
cc @sigplanav (https://sigplan.org)
#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming