vanja_y | Reading

reddit_haskell_feed

Posted by /u/Habito-Recruitment

https://www.reddit.com/r/haskell/comments/1qvo1aa/habito_are_looking_for_a_haskell_experienced/

Software Engineer

Habito

We’re looking for an enthusiastic full time Software Engineer to join our full stack team at

Habito. We champion principled pragmatism, marrying practical solutions with high

standards. We believe in the power of collaborative learning and iterative delivery, ensuring

that every team member grows and every project shines. Here, you’ll wear many hats-

from dev, to security, to design-giving you a holistic view of our tech landscape. We

equally value the integrity of data and the elegance of code, empowering our solutions to

be as robust as they are innovative. Join us to shape technology with creativity and

precision!

About the team

The team you’d be joining is made up of 4 highly skilled, enthusiastic, full stack developers

with a wealth of experience. You’ll be working with and learning from them closely every

day! We strive to continually improve our approaches and processes, and you’ll be

encouraged to identify areas that slow us down and proactively solve them. We believe in

inclusivity, with all members of the team, no matter the level or experience, contributing

ideas and knowledge.

The Tech

Haskell for our backend.
PostgreSQL for data persistence.
Docker and Kubernetes hosted in AWS for our infrastructure.
React and TypeScript for our front end.
Bazel & BuildKite for our builds and automated deployments.
Nix for provisioning tooling and Terraform for managing our infrastructure.
GitHub for our code repository.
Event sourcing.

More about what you’ll do:

You’ll be contributing to making the UK mortgage brokering market a better place! This

means building and maintaining our website and internal facing systems. It also involves a

lot of critical work integrating lenders, insurers, conveyancers, and other players in the

space as we seek to introduce robust automation and streamline the whole process. You’ll

work in a multi-functional team, taking on business critical projects as well as the day-to-

day work keeping the lights on.

You’ll need:

Multiple years of commercial experience writing and deploying Haskell in a production backend.
Multiple years working with relational databases using SQL, ideally Postgres.
Experience working on a React/Typescript frontend.
Experience with at least one cloud infrastructure provider, ideally AWS.
To have worked on or want to learn to work on distributed systems.
To take the initiative to turn business requirements into working software.
To have a pragmatic mindset – perfect is the enemy of good!
To not be afraid to ask questions or jump on a call to unblock yourself.
To be happy working in a remote first role.

The benefits:

Salary - £50,000-£85,000
Discretionary bonus (company performance dependent)
Remote-first working
Flexible holiday - 25 days holiday and more if you need it! (this is team dependent)
Enhanced maternity & paternity leave - for when you plan to start a family
Life assurance - 4 x your annual salary
Career progression - we help you build your career
Contributory pension scheme - We have an ethical pension fund, but you can decide
where you put your money
International remote working for up to 20 days a year
Volunteering - 2 days paid volunteering each year for charity of your choice
Sick pay - up to 5 days sick covered each year
Casual dress
GAYE - Give As You Earn - donate to a charity of your choice via payroll.

More about Habito

Obtaining a mortgage shouldn’t be stressful. That’s why we built Habito.

We use breakthrough technology and top tier experts to deliver the most personalised, fast

and convenient way to get a mortgage today. All for free.

We don’t stop at mortgages, either. Together we’re building whole new ways of buying and

owning your home. At Habito, you’ll be a vital part of that future.

TO APPLY: PLEASE EMAIL YOUR CV to [People@Habito.com](mailto:People@Habito.com)

submitted by /u/Habito-Recruitment
[link] [comments]

https://www.reddit.com/r/haskell/comments/1qvo1aa/habito_are_looking_for_a_haskell_experienced/

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQK128/research-fellow/

University of Birmingham - College of Engineering and Physical Sciences - School of Physics and Astronomy Salary: £36,636 to £46,049

https://www.jobs.ac.uk/job/DQK128/research-fellow/

reddit_haskell_feed

Posted by /u/maerwald

https://www.reddit.com/r/haskell/comments/1qwad28/switch_to_github_26824_issues_glasgow_haskell/

submitted by /u/maerwald
[link] [comments]

https://www.reddit.com/r/haskell/comments/1qwad28/switch_to_github_26824_issues_glasgow_haskell/

mathoverflow_rg_feed

Posted by 35T41

https://mathoverflow.net/questions/507807/ways-in-which-minimal-surfaces-locally-minimize-area

https://mathoverflow.net/q/507807

Let $(M,g)$ be an $n$-dimensional Riemannian manifold.

For a $k$-dimensional submanifold $\Sigma\subseteq M$, say that it is minimal if it is a critical point of the $k$-dimensional area functional in $M$; equivalently, if its mean curvature vector is identically $0$.
For a $k$-dimensional submanifold with boundary $\Sigma_0 \subseteq M$ and an open set $U_0\subseteq M$ containing $\Sigma_0$, say that $\Sigma_0$ is area-minimizing in $U_0$ if it has the least $k$-dimensional area among every $\Sigma_0'\subseteq U_0$ with $\partial \Sigma_0'=\partial\Sigma_0$.

It is known that if $\Sigma$ is a minimal submanifold in $M$, then it is locally area-minimizing in the following sense: for every $p_0\in\Sigma$ there exists a neighborhood $U_0$ of $p_0$ in $M$ such that $\Sigma_0 = \Sigma \cap U_0$ is area-minimizing in $U_0$. This was asked on this site in 2017; the best reference I know is Theorem 2.1 in a paper by Lawlor and Morgan.

I am interested to know if the last statement remains true if we replace "area-minimizing in $U_0$" with "area-minimizing in $M$". It seems intuitive that when $\Sigma_0$ is sufficiently small, one cannot get decrease the area of a filling by letting it escape the neighborhood $U_0$.

https://mathoverflow.net/questions/507807/ways-in-which-minimal-surfaces-locally-minimize-area

https://mathoverflow.net/q/507807

vak

Один крутой чувак взял процессор 8088 и стал гонять его потактово, на каждом шаге считывая состояние. Для каждой машинной команды нагенерил десять тысяч ~~вёдер~~ вариантов. В сумме получилось 300700 тестов для всей системы команд i86. Каждый тест выглядит так:

==== Test #0 (671 bytes) ====
Name: "add byte [ss:bp+di-64h], cl"
Initial CPU State:
  Registers:
    ax    = 52A1 (21153)
    bx    = E724 (59172)
    cx    = 81C8 (33224)
    dx    = F0F7 (61687)
    cs    = 31ED (12781)
    ss    = 1D03 (7427)
    ds    = 0258 (600)
    es    = CCC3 (52419)
    sp    = BF76 (49014)
    bp    = 2608 (9736)
    si    = CB21 (52001)
    di    = 2729 (10025)
    ip    = 02B6 (694)
    flags = F452 (62546)
  RAM entries: 5
    32186 = 00 (0)
    32187 = 4B (75)
    32188 = 9C (156)
    32189 = 90 (144)
    21CFD = 14 (20)
Final CPU State:
  Registers:
    ip    = 02B9 (697)
    flags = F482 (62594)
  RAM entries: 1
    21CFD = DC (220)

Попробовал я эти тесты на моём новом симуляторе PC i86, и тут же наткнулся на ошибки в реализации процессора. Ценнейший инструмент получается. Поглядим, что выйдет от всех трёхсот тысяч тестов. Как говорится, тестов много не бывает.

chaource

https://www.wionews.com/world/epstein-files-robert-maxwell-mossad-allegations-1770127431656
https://aetherczar.substack.com/p/tinker-tailor-publisher-spy-how-robert

Утверждается, что систему peer review создалъ Робертъ Максвеллъ въ корыстныхъ цѣляхъ. Онъ, молъ, основалъ издательство научныхъ журналовъ Pergamon Press, которое потомъ стало Elsevier. Если раньше ученые внимательно читали статьи, то сегодняшнiе рецензенты просто якобы служатъ златому тѣльцу. Я считаю, это не просто преувеличенiе, а ошибочное приписыванiе причинныхъ связей. Если какимъ-то образомъ ликвидировать издательство Elsevier, проблемы сегодняшней академической науки никуда не исчезнутъ.

Вотъ мой взглядъ на эти вещи:
( Read more... )

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ951/professor-associate-professor-assistant-professor-in-computing-and-data-science/

The University of Hong Kong - School of Computing and Data Science Salary: Not specified

https://www.jobs.ac.uk/job/DQJ951/professor-associate-professor-assistant-professor-in-computing-and-data-science/

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ985/postdoctoral-research-assistant-in-ai-security-early-career-fellowship/

University of Oxford - Department of Engineering Science (Central Oxford) Salary: £39,424 to £47,779 per annum: Grade 7

https://www.jobs.ac.uk/job/DQJ985/postdoctoral-research-assistant-in-ai-security-early-career-fellowship/

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ996/research-and-innovation-associate/

Nottingham Trent University - Psychology - School of Social Sciences Salary: £28,608 to £32,089 p.a. pro rata / Grade F

https://www.jobs.ac.uk/job/DQJ996/research-and-innovation-associate/

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ965/postdoctoral-research-assistant-in-ai-security/

University of Oxford - Department of Engineering Science (Central Oxford) Salary: £39,424 to £47,779 per annum; Grade 7

https://www.jobs.ac.uk/job/DQJ965/postdoctoral-research-assistant-in-ai-security/

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ943/postdoctoral-research-associate-in-phylogenomics/

University of Oxford - Life and Mind Building Salary: £39,424 to £47,779 per annum, inclusive of a pensionable Oxford University Weighting: Researcher Grade 7

https://www.jobs.ac.uk/job/DQJ943/postdoctoral-research-associate-in-phylogenomics/

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ908/postdoctoral-researcher-in-human-ai/

University of Oxford - Department of Experimental Psychology Salary: £39,424 to £47,779 per annum: Grade 7

https://www.jobs.ac.uk/job/DQJ908/postdoctoral-researcher-in-human-ai/

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ870/epidemiologist-health-data-scientist-on-opensafely-in-the-bennett-institute/

University of Oxford - Nuffield Department of Primary Care Health Sciences Salary: £49,119 to £58,265 per annum with a discretionary range to £65,336 per annum (pro-rata). Grade 8

https://www.jobs.ac.uk/job/DQJ870/epidemiologist-health-data-scientist-on-opensafely-in-the-bennett-institute/

hettie_feed

Posted by Hettie D.

https://hettie.family/2026/02/04/magellan/

http://hettie.family/?p=24553

Magellan is the Philippines’ Entry For Best International Feature at the Oscars, and the reviews were raving. I decided it’s a must-see, even though the movie is almost three hours long. Judging by the description, I expected more or less a traditional, colorful historical movie with a pronounced social message:

At the dawn of the modern era, Portuguese explorer Ferdinand Magellan (Gael García Bernal) navigated a fleet of ships to Southeast Asia, attempting the first voyage across the vast Pacific Ocean. On reaching the Malay Archipelago, the crew pushed to the brink of madness in the harshness of the high seas and overwhelming natural beauty of the islands, Magellan’s obsession leads to a rebellion and reckoning with the consequences of power. A vast, globe-spanning epic from Filipino filmmaker Lav Diaz (NORTE, THE END OF HISTORY), MAGELLAN presents the colonization of the Philippines as a primal, shocking encounter with the unknown and a radical retelling of European narratives of discovery and exploration.

My first reaction was disappointment: it felt more like a Tarkovsky movie, just with prettier landscapes. Iwas even thinking of quietly leaving the screening. But gradually, my perception changed, and I kept watching. If you watch the trailer, it does not give a good impression of the movie. The trailer is more dynamic and less picturesque. And doesn’t show even a percent of violence.

Maybe three hours is too much to say “colonialism is bad.” You decide.

Watch on YouTube

https://hettie.family/2026/02/04/magellan/

http://hettie.family/?p=24553

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ830/research-associate/

University of Leicester - School/Division: Global, Lifestyle and Metabolic Health Salary: £39,906 to £46,049 per annum, pro-rata if part-time. Grade 7

https://www.jobs.ac.uk/job/DQJ830/research-associate/

mathoverflow_at_feed

Posted by Startswithone

https://mathoverflow.net/questions/507788/what-is-prismatic-stable-homotopy-theory-even-about

https://mathoverflow.net/q/507788

I've been wondering about what this conjecture is even about and the potential applications of it and so far I can't find any notes/papers on this topic. It'd be appreciated if you can give me some insights into this thing.

https://mathoverflow.net/questions/507788/what-is-prismatic-stable-homotopy-theory-even-about

https://mathoverflow.net/q/507788

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ789/phd-studentship-advanced-coarse-grid-cfd-for-nuclear-thermal-hydraulics-modelling/

University of Sheffield - School of Mechanical, Aerospace and Civil Engineering Salary: please refer to advert.

https://www.jobs.ac.uk/job/DQJ789/phd-studentship-advanced-coarse-grid-cfd-for-nuclear-thermal-hydraulics-modelling/

jobsacuk_math_feed

https://www.jobs.ac.uk/job/DQJ794/bioinformatician/

John Innes Centre, Norwich - Informatics Platform Salary: £37,500 to £40,600 per annum depending on qualifications and experience

https://www.jobs.ac.uk/job/DQJ794/bioinformatician/

mathoverflow_at_feed

Posted by melwei

https://mathoverflow.net/questions/507786/gluing-recollement-in-six-functor-formalisms

https://mathoverflow.net/q/507786

According to this question about Mayer-Vietoris in six-functor formalisms, 'all of the "constructible" six-functor formalisms' admit a gluing sequence:

Let $i:Z\hookrightarrow X$ be a closed immersion, $j:U\hookrightarrow X$ the complementary open immersion, and $A\in D(X)$. Then $$ i_*i^!A\to A\to j_*j^*A $$ is a fiber sequence in $D(X)$.

Furthermore, note that such sequences arise whenever $i_*:D(Z)\to D(X)$ and $j_*:D(U)\to D(X)$ are a recollement for $D(X)$ (in the sense of Jacob Lurie's HA A.8.1).

For sheaves on topological spaces, I was able to find references stating that a closed immersion and the complementary open immersion yield a recollement in this sense (e.g. Marco Volpe's thesis, Chapter 4).

For equivariant motivic homotopy theory, Marc Hoyois paper on six functors in that setting states the gluing sequence (Theorem 1.1.4).

For étale sheaves and D-modules, Scholze's lecture notes state the gluing sequences (Proof of Theorem 7.15, Proposition 8.32/Remark 8.34).

Can you recommend any further references for gluing sequences in six-functor formalisms, preferably ones stating the recollement from which they arise?

https://mathoverflow.net/questions/507786/gluing-recollement-in-six-functor-formalisms

https://mathoverflow.net/q/507786