[personal profile] posic
https://avva.dreamwidth.org/3646528.html

https://www.facebook.com/avorobey/posts/pfbid02yboXGxGxUaRqBuGD3i2XsdYENdeQab6x3Ajrh5RVpwWZv5yFLVraj1B4vroV83u5l

В задачнике спрашивается: зачем все это нужно? Что эти школьники делают в школе, зачем они туда ходят? Почему бы им не пойти работать уже сейчас? Не попробовать себя в роли "фрилансеров" или кого угодно?

Это для того, чтобы Министерству образования было куда совать свои модные идиотские якобы-педагогические концепции, да?
vit_r: default (Default)
[personal profile] vit_r
Agata 2026

Цена идеи


[ itSotWC::2026-02-02_05, itSotWC::2026-02-04_1 ]
Человек ищущий.

Но не то, не там и не так.



Не думаю, что кто-то поймёт стоящее ниже в полном объёме, но объяснять я не буду. Пусть остаётся на будущее для тех, кто освоит базовые технологии.

Итак.

Любую социальную структуру объединяет общий набор идей. Люди готовы бороться только за идеи. В высокопарном стиле это называется "жить и умирать", в психологии просто идёт под термином "мотивация".

Впрочем, большая часть психологической литературы по теме "мотивация" представляет из себя дичайший бред. (Да, чат-гопоту кормят именно этим. Потому что Наука.)

Рассмотрим простейший пример. (Термин, обозначающий идею, я буду писать с прописной буквы, чтобы ещё раз напомнить, что это немного не то, что подсказывает уровень таксистов и инфлюенсеров.)

Семья строится на идеях Любви и Ответственности.

Семья без Любви превращается в тюрьму, семья без Ответственности -- в катастрофу.

Но это идеи сложные, трудновыразимые и нетривиально передаваемые от поколения к поколению.

Кстати, украинский подсанкционный -- причём, российско-украинско-подсанкционный -- политик Игорь Владимирович Мосейчук любит объяснять культуру как связь между мёртвыми, живыми и нерождёнными. После чего добавляет гамлетовское про распавшуюся связь времён (и зелёных гнид).

Сложные идеи обычно деградируют при первом удобном случае. И с той же семьёй мы получаем разные виды дисфункциональности. (Кривое слово, но мне сейчас влом думать над терминами.)

Вместо нормальных идей семья может строится на Престиже, Долге (не путать с Обязанностью: речь о чём-то вроде "ошибки молодости"), Обмане (там, вообще, круть и драма с комедией), Удобстве, Привычке и так далее.

Да, деньги могут заменять идею.

Но идея Богатства мотивирует только нищих. Когда денег много, большинство не знает, что с ними делать. (Привет Билли Гейтсу! Жалко, что Эпштейн нам уже не расскажет.)

Дальше немного сложнее.
Read more... )

Statistician

Feb. 5th, 2026 05:28 pm
[syndicated profile] jobsacuk_math_feed
Queen Mary University of London - Wolfson Institute of Population Health<br />Salary: £38,419 to £51,755 per annum (pro-rata), inclusive of London Allowance.

Ribbon!

Feb. 5th, 2026 12:50 pm
[syndicated profile] hettie_feed

Posted by Hettie D.

Since McCorminc skating rink closes at the beginning of February for the second year in a row, I decided to try to go to the Ribbon when I am back from my trip, and yesterday, I went there for the first time; and not just this year, but actually for the first time to the Ribbon.

I absolutely loved the skating experience, it’s way more enjoyable than McCormick, but getting there takes more time, so there is absolutely no way to go there over the lunch break, even the extended one. The only option is to go after work, and you need to take both your backpack and your skates, and also take them home. Additionally, you have to rent a locker because there is no option to leave even your boots, let alone the backpack, in plain sight: it’s not a circle, it’s a ribbon :). Minor things: there is no free skating; even if you have your own, it’s $5, and a locker price is $3 for a small one, where you can fit nothing, as I realized yesterday, and $5 for a bigger one.

A travel time from my office, including renting a locker and putting my things there, was almost 40 minutes, so once again, I need to figure out how to fit it into my schedule and how often I can do it, but I am really glad I went and figured it out. It was a little bit pushing the boundaries 🙂

[syndicated profile] reddit_haskell_feed

Posted by /u/_query

This patch is looking for some more reviewers :)

Also for devs with a big haskell project that have the necessary infrastructure in place: It would be nice if you could test out the patch and report back what impact you are seeing

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

Long Live Federalism!

Feb. 5th, 2026 11:31 am
[syndicated profile] hettie_feed

Posted by Hettie D.

Somehow, it’s during Trump’s presidency (both last time and that time) that I especially appreciate the principles upon which our country is built. I already shared this with some of my friends, and now I want to share it with a broader circle: Illinois joined the WHO network after Trump left it. I never knew states could do this, and now I am wondering whether we can join the Paris Accord 🙂

The Tribune article text is below.

Illinois is joining a network of the World Health Organization in hopes of better positioning the state to handle potential health threats, following the U.S. withdrawal from the group last month.
It’s the state’s latest move into an area that was previously the domain of the federal government, before the administration of President Donald Trump began remaking public health policies and guidance.

The Illinois Department of Public Health this week officially joined the World Health Organization’s Global Outbreak Alert and Response Network (GOARN), which provides resources and information intended to help control outbreaks and public health emergencies around the world. California announced that it was the first state to join the network late last month.

Illinois’ decision to join GOARN follows the U.S. resigning from the World Health Organization late last month, citing the organization’s “mishandling of the COVID-19 pandemic,” a “failure to adopt urgently needed reforms” and “unfairly onerous payments” from the U.S., among other things, in an order signed by Trump a year ago initiating the withdrawal.

Many public health leaders, however, have decried the departure of the U.S. from the World Health Organization, saying it could leave the U.S. without critical information about health threats in other parts of the world.

Illinois decided to join GOARN partly to keep information flowing to the state, said Dr. Sameer Vohra, director of the Illinois Department of Public Health.

“We knew this created serious concerns, really in our effort as a big state in the United States to keep our awareness and (stay) alert about potential global outbreaks and how they could impact the residents here in the state of Illinois,” Vohra said. “Part of that was the fear that we would lose access to the WHO’s global surveillance system, which would really let us know about early warnings of outbreaks.”

He noted that the information is especially important given that Illinois is home to O’Hare International Airport, one of the busiest airports in the country and a hub for international travel.

Vohra said it’s important for Illinois to have quick, up-to-date, accurate information about emerging health threats, such as a recent outbreak of the dangerous Marburg virus in Ethiopia — an outbreak that just ended last week.

“This provides the real time information to us,” Vohra said of GOARN. “Instead of waiting for the federal government to relay that, if and when that might happen, we’ll get direct access to that network of information.”

GOARN is a way for organizations and entities, such as the states of Illinois and California, to connect with the World Health Organization, which otherwise typically has nations as members.

It didn’t cost Illinois money to be part of GOARN, but Illinois had to submit a statement, as part of its application to join the network, detailing how Illinois could contribute to the group’s efforts, Vohra said. Illinois cited its access to experts and global health institutes, among other things, he said.

The White House, meanwhile, criticized Illinois’ efforts this week to join GOARN.

“The World Health Organization knowingly and deliberately lied about COVID-19 at the outset of the pandemic, and is a key reason why many countries were caught off guard,” said Kush Desai, a spokesperson for the White House, in a statement. “Illinois state officials’ insistence on maintaining access to WHO resources and information despite this gross travesty is more proof that Illinois suffers from incompetent leadership.”

The U.S. Department of Health and Human Services said in a statement, “States do not set U.S. foreign policy, and unilateral actions by individual governors that failed their own people during the pandemic do not alter this administration’s assessment of WHO’s failures or our commitment to putting the health of the American people first.”

Gov. JB Pritzker has called the U.S. exit from WHO “another reckless move by the Trump Administration that puts lives at risk” and said Illinois “will continue to work with trusted partners to protect lives and follow the science.”

The World Health Organization said in a statement last month that the U.S. withdrawal “makes both the United States and the world less safe.” The organization said it stands by its response to the COVID-19 pandemic, though “no organization or government got everything right.”

It’s likely that more states will follow the lead of Illinois and California and also join GOARN, said Dr. Tyler Evans, CEO and founder of the Wellness Equity Alliance, an organization that works to advance health equity.

“I think you’re going to increasingly see states fill in the gaps where the federal government is now lacking,” Evans said.

States are increasingly seeing that it’s necessary to join GOARN and other public health groups because without WHO, “We are now on an island of emerging communicable disease surveillance and response from the rest of the world,” Evans said.

Still, Vohra acknowledges that Illinois’ involvement in GOARN can’t make up for the country’s absence as a whole from the World Health Organization.

“We’re trying to help mitigate these harms and close gaps, but we know gaps will still remain because we don’t have that overarching federal presence,” Vohra said. “There’s only so much one state can do when the federal government makes these decisions to withdraw from the global health community.”

The U.S. withdrawal from the WHO is concerning on both local and global levels, said Dr. Mai Tuyet Pho, an infectious disease physician at UChicago Medicine.

As a doctor, Pho said she relies on information from the World Health Organization about emerging health threats when she assesses patients and decides how to care for them, such as by choosing tests and treatments.

On a global level, the resignation from the World Health Organization could create problems worldwide, given that the U.S. was a major funder of the organization, Pho said.

“While it’s great that we’ll be able to have that connection with the World Health Organization through the state, I think the departure of the U.S. from the WHO really weakens their effectiveness,” Pho said. “I can’t really understate how critical cooperative efforts and collaboration around things like pandemic and climate change are essential, and it requires funding and investment from the world.

“Our leaving as a country will really, really impact their ability to provide that essential work and coordinate that work,” Pho said. “I think it will be devastating.”

Illinois’ decision to join GOARN is the latest effort by the state to fill in gaps that state leaders say have been created by the Trump administration’s public health policies.

Pritzker signed a bill into law last year formally establishing a process for the state to issue its own vaccine guidelines, after Robert F. Kennedy Jr., head of the U.S. Department of Health and Human Services and a longtime vaccine skeptic, fired and replaced all the members of a federal vaccine advisory committee. So far, the state has broken with federal recommendations for COVID-19 and hepatitis B shots, issuing its own guidance.
Illinois also joined the Governors Public Health Alliance in October, to ensure collaboration between states on public health preparedness, and Illinois has convened its own Global Health Advisory Committee, made up of experts from the state’s leading universities who are working on strategies to respond to global health threats.

[syndicated profile] reddit_haskell_feed

Posted by /u/Habito-Recruitment

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]

Research Fellow

Feb. 5th, 2026 09:51 am
[syndicated profile] jobsacuk_math_feed
University of Birmingham - College of Engineering and Physical Sciences - School of Physics and Astronomy<br />Salary: £36,636 to £46,049
[syndicated profile] mathoverflow_rg_feed

Posted by 35T41

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$.

vak: (Знайка)
[personal profile] 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: (Default)
[personal profile] 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... )

Profile

vanja_y: (Default)
vanja_y

October 2020

S M T W T F S
    123
45678910
11121314151617
1819202122 2324
25262728293031

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 7th, 2026 06:59 pm
Powered by Dreamwidth Studios