Shows
Vores Mentale Sundhed - En Mind Care Collective Podcast118. NYTÅRSAFSNIT 2: Highlights fra året der gik. Hvad konkluderede eksperterne i sæson 6?I dette nytårs-highlight-afsnit nummer 2, dykker jeg ned i afsnittene fra anden halvdel af 2024 af 'Vores Mentale Sundhed'. Jeg laver en kort gennemgang af de fleste afsnit og tager dig tilbage til afsnittenes hovedemne, dets primære pointer og de konklusioner, jeg synes er særligt vigtige at huske på. Jeg har også fundet korte klip med gæsterne fra de forskellige afsnit. Dette nytårsafsnit er altså en bouillonterning af sæson 6 af podcasten, som forhåbentlig giver dig en masse vigtige refleksioner og remindere omkring mental sundhed med på vejen. Som altid er mit fokus på at unders...
2024-12-311h 19
Vores Mentale Sundhed - En Mind Care Collective Podcast111. EKSPERTEN: Mental sundhed og trivsel - med sundhedseksperterne, Jan Svensson og Tor AndersenI dette afsnit har jeg sundhedseksperterne, Jan Svensson og Tor Andersen, i studiet, som nogle måske kender som det powerfulde sundhedspar og indehaverne af træningsstedet PWR.8.Studio. De er i hvert fald kendt for at træne meget og for at leve sundt, men de kender også til virkeligheden af et moderne, fortravlet liv. I afsnittet her deler de - både som sundhedseksperter men også som privatpersoner – ud af deres viden og personlige erfaringer i relation til, hvordan man kan passe på sin mentale trivsel og sin sundhed i et moderne, ofte travlt, liv. I afsn...
2024-11-121h 09
Børsmorgen & ØkonominyheteneOljeprisen over 80 dollar, inflasjonen som ventet, Oslo Børs svakt ned og fall i bilfraktaksjeOslo Børs var svakt ned mandag ettermiddag, mens oljeprisen stanget over 80 dollar igjen. Wallenius Wilhelmsen-aksjen falt, mens XXL steg etter at Frasers Group kjøpte 49,5 millioner A-aksjer i selskapet. Napatech steg på nyheten om At Jan Petter Sissener tror aksjen kan mangedoble seg. Questerre-aksjen falt etter foirrige ukes oppgang på over 35 prosent. Fredagens makrotall fikk flere til å avblåse sommerens ventede rentekutt i USA. Hva er det som skjer? Kan det bli renteheving i stedet? Seniorøkonom Sara Midtgaard i Handelsbanken Capital Markets var dagens gjest i Økonominyhetene mandag. Hosted on Acast. See acast.com/privacy for more inf...
2024-06-1025 min
BoligboblaE81 BONUSPOD fra #arendalsuka: Renten i boligmarkedetHva betyr renten for boligmarkedet og hvilket vekt er blitt og blir lagt på boligmarkedet i Norges Banks rentesetting?De siste 20 årene har det i lange perioder vært svært lave renter og særlig etter finanskrisen 2008 og frem til 2022.De lave rentene har fått stor betydning for boligprisene, gjeldsopptak i husholdningene og næringseiendom.Internasjonalt pågår det også en stor debatt om rammebetingelsene og målene for pengepolitikken.Hvilke rolle vil boligmarkedet og finansiell stabilitet spille for pengepolitikken fremover?I dette opp...
2023-09-1946 min
OCaml Workshop 2022Multicoretests - Parallel Testing Libraries for OCaml 5.0Multicoretests - Parallel Testing Libraries for OCaml 5.0
Jan Midtgaard (Tarides)
Olivier Nicole (Tarides)
Nicolas Osborne (Tarides)
Parallel and concurrent code is notoriously hard to test because of the involved non-determinism, yet it is facing OCaml programmers with the coming OCaml 5.0 multicore release. We present two related testing libraries to improve upon the situation: - Lin – a library to test for linearizability - STM – a state-machine testing library
Both libraries build on QCheck, a black-box, property-based testing library in the style of QuickCheck. The two libraries represent different trade-offs between required user effort and...
2022-11-0900 min
OCaml Workshop 2022Multicoretests - Parallel Testing Libraries for OCaml 5.0Multicoretests - Parallel Testing Libraries for OCaml 5.0
Jan Midtgaard (Tarides)
Olivier Nicole (Tarides)
Nicolas Osborne (Tarides)
Parallel and concurrent code is notoriously hard to test because of the involved non-determinism, yet it is facing OCaml programmers with the coming OCaml 5.0 multicore release. We present two related testing libraries to improve upon the situation: - Lin – a library to test for linearizability - STM – a state-machine testing library
Both libraries build on QCheck, a black-box, property-based testing library in the style of QuickCheck. The two libraries represent different trade-offs between required user effort and...
2022-11-0900 min
WaxWarriorsWaxWarrior Show LIVE - w/guest Anders Midtgaard - Jan 22nd, '20As aired Jan 22nd, '20
Also available as videocast here: http://bit.ly/WWshowANMIvid
2020-01-232h 32
International Conference on Functional Programming 2017Effect-Driven QuickChecking of CompilersJan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark. How does one test a language implementation with QuickCheck (aka. property-based testing)? One approach is to generate programs following the grammar of the language. But in a statically-typed language such as OCaml too many of these candidate programs will be rejected as ill-typed by the type checker. As a refinement Pałka et al. propose to generate programs in a goal-directed, bottom-up reading up of the typing relation. We have written s...
2017-12-1818 min