https://www.youtube.com/watch?v=PPCfDe8TfJQ
A nice talk about applied mathematics and mathematicians, connections to reality, ways of thinking and how far they can take you (I was particularly pleased to find Kolmogorov among other prominent mathematicians mentioned).
A nice talk about applied mathematics and mathematicians, connections to reality, ways of thinking and how far they can take you (I was particularly pleased to find Kolmogorov among other prominent mathematicians mentioned).
YouTube
Four Ways of Thinking: Statistical, Interactive, Chaotic and Complex - David Sumpter
Mathematics is about finding better ways of reasoning. But for many applied mathematicians, the primary mission is to shape their minds in a way that gets them closer to the truth. The calculations are secondary, the real question is: how we can better understand…
https://drive.google.com/file/d/17e_jZ0WwBCeIt0p1ZBF80QAsnIrDpUv6/view
"Математическая составляющая"
Сборник популярных очерков/заметок/этюдов по прикладной математике. Третья часть состоит из более развёрнутых эссе в том числе по более фундаментальным вопросам математики. Возможно, наиболее полезным является аннотированный список литературы для дальнейшего изучения и погружения.
#free #book #pdf
"Математическая составляющая"
Сборник популярных очерков/заметок/этюдов по прикладной математике. Третья часть состоит из более развёрнутых эссе в том числе по более фундаментальным вопросам математики. Возможно, наиболее полезным является аннотированный список литературы для дальнейшего изучения и погружения.
#free #book #pdf
❤3
https://github.com/Strumenta/MPSServer
https://strumenta.com/ built an OSS app to run languages (models) built with the JetBrains MPS on a server and expose through an API. This opens up an option of building custom Web UI for the languages/functions instead of running MPS IDE on the client machine.
https://strumenta.com/ built an OSS app to run languages (models) built with the JetBrains MPS on a server and expose through an API. This opens up an option of building custom Web UI for the languages/functions instead of running MPS IDE on the client machine.
GitHub
GitHub - Strumenta/MPSServer
Contribute to Strumenta/MPSServer development by creating an account on GitHub.
https://adum.fr/as/ed/voirproposition.pl?matricule_prop=53822&site=adumR#version
A PhD position devoted to formal verification of distributed applications written in Go language in Isabelle/HOL.
Go is so bad they can't write sound distributed systems without formal verification! 🤣
A PhD position devoted to formal verification of distributed applications written in Go language in Isabelle/HOL.
Go is so bad they can't write sound distributed systems without formal verification! 🤣
😁7🔥1
https://www.youtube.com/watch?v=w-IiVeGAydE
WOW! Just WOW!
Apart from the antimemetics stuff (which is surprisingly close to the original), it's a really well-done short movie. The script is tight and to the point, acting is great, very cool lighting, cinematography and color-grading. Unbelievable production value for the money.
Can't wait for the rest! 😃
WOW! Just WOW!
Apart from the antimemetics stuff (which is surprisingly close to the original), it's a really well-done short movie. The script is tight and to the point, acting is great, very cool lighting, cinematography and color-grading. Unbelievable production value for the money.
Can't wait for the rest! 😃
YouTube
There Is No Antimemetics Division - Ep 1 - SCP Horror Short Series
Support more SCP short films by subscribing to our channel, liking and sharing this with your SCP friends!
If you enjoy my videos, you’ll love what I share behind the scenes.
I send out exclusive content, early sneak peeks, and project updates straight to…
If you enjoy my videos, you’ll love what I share behind the scenes.
I send out exclusive content, early sneak peeks, and project updates straight to…
🔥3
Пока верующие сидят на жопе, молятся, уповают на Б-га и ничего не делают, нам, атеистам, приходится как проклятым носиться у Него на побегушках!
😁4🤡3🥱2💩1💯1
Old news. Jeremy Howard (of the Fast AI fame) with a cofounder established and "applied AI" RnD lab:
https://www.fast.ai/posts/2023-12-12-launch.html
For now it seems the lab's output only consists of blog posts, but the posts look intriguing, like
You can now train a 70b language model at home
https://www.fast.ai/posts/2023-12-12-launch.html
For now it seems the lab's output only consists of blog posts, but the posts look intriguing, like
You can now train a 70b language model at home
www.fast.ai
fast.ai - A new old kind of R&D lab
Answer.AI is a new kind of AI R&D lab which creates practical end-user products based on foundational research breakthroughs.
👍1
https://www.cl.cam.ac.uk/events/syco/12/
Twelfth Symposium on Compositional Structures
Birmingham, UK, 15-16 April, 2024
They say the talks will be streamed online, but still require registration in advance.
Twelfth Symposium on Compositional Structures
Birmingham, UK, 15-16 April, 2024
They say the talks will be streamed online, but still require registration in advance.
https://sat-smt-ar-school.gitlab.io/www/2024/index.html
SAT, SMT and Automated Reasoning Summer School
June 26 - 29, 2024, Nancy, France
An in-person summer school for PhD and Master students in the field of Automated Reasoning. The list of lecturers includes some big-time contributors of major systems like CVC5, E and Vampire. Highly tempting.
SAT, SMT and Automated Reasoning Summer School
June 26 - 29, 2024, Nancy, France
An in-person summer school for PhD and Master students in the field of Automated Reasoning. The list of lecturers includes some big-time contributors of major systems like CVC5, E and Vampire. Highly tempting.
👍1🔥1
https://www.findaphd.com/phds/project/automated-verification-of-webassembly-programs/?p169824
Fully funded PhD scholarship with Graduate Teaching Assistantship in Automated Verification of WebAssembly Programs at University of Reading, England.
Fully funded PhD scholarship with Graduate Teaching Assistantship in Automated Verification of WebAssembly Programs at University of Reading, England.
www.FindAPhD.com
Automated Verification of WebAssembly Programs at University of Reading on FindAPhD.com
PhD Project - Automated Verification of WebAssembly Programs at University of Reading, listed on FindAPhD.com
Connecting to the message directly above:
https://www.tomshardware.com/tech-industry/floppy-disk-reliant-san-francisco-train-control-system-spurs-concerns-of-catastrophic-failure-and-it-wont-be-replaced-for-at-least-another-decade
San Francisco train control system was commissioned in the times before computers had hard drives and to this day runs from floppy disks. Now, what do you know about legacy? 😏
https://www.tomshardware.com/tech-industry/floppy-disk-reliant-san-francisco-train-control-system-spurs-concerns-of-catastrophic-failure-and-it-wont-be-replaced-for-at-least-another-decade
San Francisco train control system was commissioned in the times before computers had hard drives and to this day runs from floppy disks. Now, what do you know about legacy? 😏
Tom's Hardware
Floppy disk-reliant San Francisco train control system spurs concerns of 'catastrophic failure' — and it won't be replaced for…
We hope the SFMTA exec wasn't talking about a human catastrophe.
😁1
Если ты не убираешь говнище из кошачьего лотка, то убираешь лоток из говнища.
💩4👏3🤔1
https://cogniterra.org/course/38/promo
An official JetBrains MPS course from JetBrains themselves. It says "elementary" but it assumes a basic level of MPS understanding. The course focuses on implementing DSLs together with special editors and code generators for them. Offered for free.
An official JetBrains MPS course from JetBrains themselves. It says "elementary" but it assumes a basic level of MPS understanding. The course focuses on implementing DSLs together with special editors and code generators for them. Offered for free.
Cogniterra: online education
JetBrains MPS Elementary Course
The Elementary tutorial targets people that have already learnt some basics of MPS and want to try their skills on a simplified real-world problem. We will put to work the knowledge of structure, editor, text-get as well as a bit of the build language.
👍2
ACM SIGPLAN International Conference on Programming Languages Design and Implementation aka PLDI 2024 is coming:
https://pldi24.sigplan.org/
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Early bird tickets and all that...
https://pldi24.sigplan.org/
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Early bird tickets and all that...
pldi24.sigplan.org
PLDI 2024
Please find the schedule overview here.
👍1
https://www.cst.cam.ac.uk/conference/structure-meets-power-2024
"Structure Meets Power 2024"
Unfortunately (though very fortunately for a certain minority), it's about Math and Computer Science in particular:
The date is 7th July 2024, the event will be held in a hybrid mode, so we all'll be able to look at how well will Power meet Structure. 😁
"Structure Meets Power 2024"
Unfortunately (though very fortunately for a certain minority), it's about Math and Computer Science in particular:
There is a remarkable divide in the field of logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (“Structure”), the other on expressiveness and complexity (“Power”).
The date is 7th July 2024, the event will be held in a hybrid mode, so we all'll be able to look at how well will Power meet Structure. 😁
www.cst.cam.ac.uk
Structure Meets Power 2024 | Department of Computer Science and Technology
Aim There is a remarkable divide in the field of logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (“Structure”), the other on expressiveness and complexity (“Power”). These two traditions are studied by…
https://www.youtube.com/watch?v=QGOnUm5HBmo
Another (somewhat dated) talk on how Formal Verification can be fruitfully combined with Property-Based Testing. The authors have a language and a compiler for it that generates the bulk of required definitions and tests. The source is on the Github.
Another (somewhat dated) talk on how Formal Verification can be fruitfully combined with Property-Based Testing. The authors have a language and a compiler for it that generates the bulk of required definitions and tests. The source is on the Github.
YouTube
[SLE] Property-Based Testing: Climbing the Stairway to Verification
Property-based testing (PBT) is a powerful tool that is widely available in modern programming languages. It has been used to reduce formal software verification effort. We demonstrate how PBT can be used in conjunction with formal verification to incrementally…
👍2🔥1
https://theses.hal.science/tel-03987749/
"Formal verification of just-in-time compilation"
Aurèle Barrière (University of Rennes), PhD thesis
170 (sic!) pages including an overview of JIT compilers in general and CompCert AOT compiler used as a reference for a verified compiler architecture. The bulk of the work is devoted to verified JIT architecture, verification of speculative optimizations specifically and verification techniques for an imperative implementation of a JIT compiler. Really thorough work.
"Formal verification of just-in-time compilation"
Aurèle Barrière (University of Rennes), PhD thesis
170 (sic!) pages including an overview of JIT compilers in general and CompCert AOT compiler used as a reference for a verified compiler architecture. The bulk of the work is devoted to verified JIT architecture, verification of speculative optimizations specifically and verification techniques for an imperative implementation of a JIT compiler. Really thorough work.
theses.hal.science
Formal Verification of Just-in-Time Compilation
Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations. Just-in-Time compilers often produce fast executions, but are particularly complex. For instance, they reuse various existing techniques: some…
👍1
Быть или не быть, вот в чем вопрос. Достойно ль
Смиряться под ударами судьбы,
Иль надо оказать сопротивленье
И в смертной схватке с целым морем бед
Положить им конец?
Ложь!
Смиряться под ударами судьбы,
Иль надо оказать сопротивленье
И в смертной схватке с целым морем бед
Положить им конец?
Ложь!
👍3🔥1😁1
https://www.youtube.com/watch?v=xF-_goFLaFo
Elixir Livebooks are indeed mind-blowing. Meta-programmable in the sense you can totally introspect the environment, the code running inside, reprogram outputs, package into standard Elixir (Hex) packages and install in other Livebooks — all using Elixir code.
Erlang/Elixir is truly new and better Smalltalk. 😁
Elixir Livebooks are indeed mind-blowing. Meta-programmable in the sense you can totally introspect the environment, the code running inside, reprogram outputs, package into standard Elixir (Hex) packages and install in other Livebooks — all using Elixir code.
Erlang/Elixir is truly new and better Smalltalk. 😁
YouTube
[LIVE] Meta-programmable functional notebooks with Livebook
This talk introduces Livebook, an open source computational notebook platform written in the Elixir programming language.
The presentation will contain demos of several features in Livebook and discuss how they are implemented and their rationale. We will…
The presentation will contain demos of several features in Livebook and discuss how they are implemented and their rationale. We will…
👍1😁1
https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=12851&rmlang=SE
PhD position at Chalmers on neuro-symbolic AI for Mathematical Discovery with Assoc. Prof Moa Johansson as main supervisor and Prof. Thierry Coquand as co-supervisor.
The deadline is May 31st.
PhD position at Chalmers on neuro-symbolic AI for Mathematical Discovery with Assoc. Prof Moa Johansson as main supervisor and Prof. Thierry Coquand as co-supervisor.
The deadline is May 31st.
www.chalmers.se
Lediga tjänster