This is a short, characterful, dead-end alley in Whitechapel with a very rich history. The alley used to be much longer than it is today though, as it shows up in the 1740s as a long passage running the full width between Whitechapel Road and Wentworth Street to the north. R Horwood Map 1799…
Prediction: AI will make formal verification go mainstream Published by Martin Kleppmann on 08 Dec 2025. Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for…
/그래픽=PADO 2025.12.26 14:15 Noema 11min 저널리스트로서 나는 기술을 연마하는 것뿐만 아니라 직업적 사명을 진전시키는 데 내 경력을 바쳐왔다. 미디어 종사자 다수는 폭정에 맞서는 방어벽이자 자유의 수호자, 민주주의의 옹호자가 되기를 열망한다. 국민의 이익을 대변하는 것이 우리의 직업이다. 그러나 우리는 실패하고 있다. 그것도 처참하게 실패하고 있다. 전세계적으로 미디어에 대한 신뢰가 하락하면서, 사람들은 선거 결과를 포함한 기본적인 사실에 대해서 합의를 갖는 데 어려움을 겪고 있다. 점점 더 많은 사람이…
내게 〈흑백요리사: 시즌2〉는 ‘요리’를 넘어 ‘언어와 태도’의 프로그램이다. 특히 격조있는 힐링을 선사하는 부분은 두 심사위원, 그중에서도 안성재 셰프의 경청과 독해, 해석, 의의 부여 능력. 안성재 셰프는 1. 경청: 맛을 경청한다. 맛은 음미하고, 경청은 귀로 하는 것이지만, 그는 한 입 가득 음식에 대한 예우를 다해서 맛의 이야기를 신중하게 듣는다. 2. 독해: 그리고 풍부한 경험을 바탕으로 어떤 희소한 재료와 조리법도 정확히 파악해서 읽어낸다. 3. 해석: 이 독해를 바탕으로 상대의 의도까지 깔끔하게…
• • Python, AI I recently released JustHTML, a python-based HTML5 parser. It passes 100% of the html5lib test suite, has zero dependencies, and includes a CSS selector query API. Writing it taught me a lot about how to work with coding agents effectively. I thought I knew HTML going into this…
In my previous post I explored solving a simple competitive programming problem in Haskell. The input of the problem just consisted of a bunch of lines containing specific data, so that we could parse it using lines and words. There is another common class of problems, however, which follow this…
After nearly 50 years in space, NASA’s Voyager 1 is about to hit a historic milestone. By November 15, 2026, it will be 16.1 billion miles (25.9 billion km) away, meaning a radio signal will take a full 24 hours—a full light-day—to reach it. For context, a light-year is the distance light travels in…
2025.09.28조회수 60 “인간은 자유롭도록 선고받았다.” - 장 폴 사르트르, 『실존주의는 휴머니즘이다』 --- 이 문장을 처음 만난 것은 스무 살 무렵이었다. 수업에서 사르트르를 다루던 날, 교수님이 칠판에 또박또박 써내려간 그 문장 앞에서 나는 묘한 전율을 느꼈다. “인간은 자유롭도록 선고받았다(L'homme est condamné à être libre).” 선고받았다는 표현이 참 생경했다. 자유라는 것이 선물이 아니라 선고라니. 마치 법정에서 유죄 판결을 받듯, 우리는 자유라는 무거운 짐을 떠안고 태어난다는 뜻일까.…
TLDR: I built a portable step-sequencer synthesizer for my daughter’s third birthday. It has four sliders that control four notes in a looping sequence. Slide up = higher pitch, slide down = lower. It includes: An onboard synth module + speaker Tempo, volume, scale, pitch, and instrument controls An…
“혁명에는 죄가 없고 반란에는 리가 있다(革命無罪 造反有理)” - 모택동 "우리가 값싼 멜론이나 위해 혁명을 일으킨 줄 아는가? 우리는 이슬람을 위해 혁명을 일으켰다!" - 아야톨라 호메이니 윤석열 대통령의 비상계엄 선언 이후, 아마 다른 많은 사람도 그랬겠지만, 내 일과에는 정치적 사건의 전개를 바삐 좇는 시간이 포함되었다. 이전까지 한국 정치를 둘러싼 모든 논의가 대통령 부부의 스캔들에 집중되면서 나는 한국 정치에는 관심을 거의 끊고, 우크라이나 전쟁과 이스라엘을 둘러싼 중동 지정학, 트럼프 당선 이후의 미국의 동향을 주로…
An example of how to compose free monads in F#. This article is an instalment in a series of articles about modelling long-running interactions with pure, functional code. In the previous article, you saw how to combine a pure command-line API with an HTTP-client API in Haskell. In this article,…
일론 머스크가 2025년 3월 30일(현지시간) 미국 위스콘신주 그린베이에서 4월 1일 선거에 출마하는 보수 성향 주 대법원 후보 지지 유세를 펼치고 있다. (사진은 기사 본문 내용과 무관합니다) /사진=로이터/뉴스1 2025.11.14 16:33 기타 14min 우익 포퓰리즘의 부상에 우려를 표하면서도 학자적 기질을 가진 사람이 이 현상을 더 잘 이해하기 위해 학계의 정치학 문헌을 찾는 것은 당연한 일이다. 하지만 이런 사람은 실망할 가능성이 높다. 정치학자들이 상당히 상반된 견해를 갖고 있다는 것을 발견하는 데는 많은 독서가…
Let’s begin with the fundamental problem: Bill Gates is a politics denier. Though he came to it late, he now accepts the realities of climate science. But he lives in flat, embarrassing denial about political realities. His latest essay on climate, published last week, treats the issue as if it…
It seems to me that social consensus accepts expression of strong feelings by women, just not by men. 8Ziaheart Crystal5yDepends on the culture, I suppose. I'm a Korean woman and I've always been scolded for being too extreme in my expressions of emotions growing up. Is it actually acceptance or…
First things first. I'm not going to make any assumptions on your background on unit testing. Hence, the safest way to start is by describing the "building blocks" for adding tests to your code and then we will write one of each type, step by step. There are three types of tests that we can write in…
12월 3일 윤석열 대통령의 계엄령 발표 이후 내게 들었던 직감은 ‘보수의 멸망’이었다. SNS에도 그런 관점으로 글을 올렸고, 몇몇 언론 기고문에도 그런 시각을 담았다. 사실 이것은 내가 6공화국 민주주의를 열렬히 사랑하는데 윤석열이 그것을 망쳤다는 데서 오는 분노는 전혀 아니었다. 2020년대를 거치며 완연한 보수주의자가 된 나는 6공화국 민주주의 체제에 거대한 환멸을 느끼고 있었다. 6공화국 민주주의는 이 체제를 바꾸자는 모든 변혁적인 언어를 허락하지 않으며, 정치인들과 그와 연관된 이해관계자들이 국가에 기생하기 좋은 판만을…
Image by Annie Ruygt Some concepts are easy to grasp in the abstract. Boiling water: apply heat and wait. Others you really need to try. You only think you understand how a bicycle works, until you learn to ride one. There are big ideas in computing that are easy to get your head around. The AWS S3…
One thing I notice when I talk to young people these days is that they don’t use social media very much — or at least, not the kind that we Millennials used a lot in the 2010s. Zoomers don’t want to connect on Twitter, or Facebook, or even Instagram. Instead, they just use phone numbers, like we did…
서론 - 'No Kings' 민주주의가 병들기 시작할 때, 가장 먼저 침묵하는 것은 제도이고, 가장 마지막에 깨어나는 것은 거리다. 지금 미국의 거리가 그렇다. 팬더와 공룡, 랍스터 복장을 한 시민들이 ‘No Kings, 왕은 없다’를 외치며 행진하고 있다. 누군가는 머리에 왕관 모양 풍선을 달고, 누군가는 트럼프 대통령의 얼굴을 그린 피켓에 “우리에겐 왕이 필요 없다”는 문장을 붙였다. 웃음과 해학이 분노를 성찰의 언어로 바꾸고 있다. ‘노 킹스(No Kings)’ 운동은 반트럼프 시위를 넘어선 헌정 질서에 대한 항의다. 최근의…
If you want to find the location of any London History Show episode for yourself, you can do that here: https://tinyurl.com/yc3ry3ku Images, film, music and sound licensed under Creative Commons: https://tinyurl.com/odbps7g **Sources and further reading** Two good primers on the transatlantic slave…
지난주, 본 변호사는 '불가사리의 법률 대모험'에서 캄보디아에서 벌어진 한국인 관련 범죄 사건을 이야기했다. 좋게 말하면 우화고, 나쁘게 말하면 밑도 끝도 없는 각색이었다. 아니나 다를까, 딴지 독자들께서는 즉각 "각색하지 말고, 의견을 밝히라"는 냉철한 피드백을 주셨다. 맞다. 그 지적이 정확하다. 사실 그 기괴한 모험담을 쓴 이유도, 그저 '이런 끔찍한 범죄가 있었다'를 넘어, '왜 이런 일이 벌어지는가'에 대한 본질적인 질문을 던지고 싶었기 때문이다. 그리고 그 질문의 답은, 캄보디아 정글이 아니라 여기, 서울의 파산 법정에…
[캡:콜드케이스] 소셜미디어가 만든 화려하지만 텅 빈 폐허, 왜 그 해법은 ‘지역’인가. (⏰15분) 여는 말: 다시 삶의 근거지로 때로 숏폼과 인스타로 대표되는 소셜미디어는 작은 삶의 공간을 무한에 가깝게 확장한다. 그건 일견 진실이고, 때론 거짓이며, 대체로 기만이다. 소셜미디어의 반짝거리는 일상과 톡톡 튀는 아이디어와 가슴 따뜻한 휴머니즘 그리고 결정적으로 온갖 종류의 ‘행복 경연대회’와 ‘이건 못 참지’ 식의 클릭 상업주의는 도파민을 무한 가속하는 방식으로 의미 유통을 구조화한다. 그 무한 유통하는 ‘월드 와이드…
2025.10.17 16:01 Noema 9min 1963년 11월, 햇살이 쏟아지는 댈러스의 어느 날, 존 F 케네디 대통령의 차량 행렬이 엘름가로 접어들 무렵, 환호하는 인파 속에서 유독 눈에 띄는 한 인물이 있었다. 구름 한 점 없는 하늘 아래, 검은 우산을 펼쳐 들고 서 있던 남자였다. 몇 초 뒤 총성이 울렸고, 세상은 영원히 바뀌었다. 그 충격적인 사건 이후, 미국이 설명할 수 없는 폭력의 현실과 씨름하는 동안 "우산 남자"의 이미지는 작가 존 업다이크가 훗날 표현했듯 역사의 목에 매달린 페티쉬(fetish)가 되었다.…
Jane Goodall, the trailblazing naturalist whose intimate observations of chimpanzees in the African wild produced powerful insights that transformed basic conceptions of humankind, has died. She was 91. A tireless advocate of preserving chimpanzees’ natural habitat, Goodall died on Wednesday morning…
This is part 10 of Categories for Programmers. Previously: Function Types. See the Table of Contents. We talked about functors as mappings between categories that preserve their structure. A functor “embeds” one category in another. It may collapse multiple things into one, but it never breaks…
After a summer of Britpop revival provoked by the Oasis concerts, nineties legends Suede are about to take over the Southbank Centre in London for a series of events. [Subscribe: https://bit.ly/C4_News_Subscribe] In this episode of Ways to Change the World, Suede frontman Brett Anderson speaks to…
경마장과 증권회사 영국에 오고 얼마 되지 않았던 작년 가을, 하루는 같이 입학하신 YS누님의 기숙사 방에 집뜰이 구경을 갔다. 이런 저런 구경을 하다가 책꽂이 위의 책 한 권에 눈길이 갔는데, 제목은 "월 스트리트의 포커페이스 (The Poker Face of Wall Street)"였고, 표지의 사진은 카지노 테이블 위에 놓여진 칩과 카드를 든 손이다. 사진에서 보다시피. 책의 저자는 Aaron Brown 이라는 남자다. 이 사람의 홈페이지는 여기이고 생긴 것은 위와 같다. 건달같이 생긴 외모와는 같이 브라운은 월스트릿 금융가에서…
A gentle introduction to modelling impure interactions with pure code. Dependency Injection is a well-described concept in object-oriented programming, but as I've explained earlier, its not functional, because it makes everything impure. In general, you should reject the notion of dependencies by…
2019년 대한민국 임시정부 수립 100주년을 계기로 독립운동가들에 대한 연구와 선양이 활발해지기 시작했습니다. 그러나 여전히 역사의 그림자로 남은 채, 우리의 기억 속에서 잊힌 인물들이 많습니다. 무강(武剛) 문일민(文一民 1894~1968)이 대표적인 인물입니다. 평남도청 투탄 의거·이승만 탄핵 주도·프랑스 영사 암살 시도·중앙청 할복 의거 등 독립운동의 최전선에서 치열하게 싸웠던 문일민의 삶을 들여다보고 있노라면, 우리가 잊지 말아야 할 독립운동가들이 여전히 많다는 사실을 깨닫습니다. 문일민이라는 또 한 명의 독립운동가를…
난 알코올이 두뇌를 파괴한다는 말을 믿지 않는다. 내 뇌는 이미 두 번 정도 파괴가 돼봤고(뇌출혈 두 번) 이미 여기저기 딱지가 앉아 있을 터다. 그럼에도 매일같이 술을 마실 수 있는 건 이 두뇌라는 게 전적으로 파괴되기 전까지는 그 기능을 열심히 수행하는 놈이기 때문 아닐까 싶다. 사람은 담배를 끊거나 혹은 거의 끊을 수 있지만 절대 못 끊는 것이 술이다, 라고 나는 생각한다. 죽기 직전에도 아마 시원한 생맥주 한잔 달라고 하지 않을까 싶다. 생맥주는 뭐니 뭐니 해도 일본 생맥주, 일명 나마비루가 최고일 것이다. 일본의 맥주는…
사파비 제국이 멸망한 뒤, 이란은 1780년대 카자르 왕조가 다시 이란을 통일하기까지 혼란기를 거쳤다. 이 시대의 가장 큰 특징은 국가 권력이 약화되고, 국가 이외 세력의 자율성과 힘이 커진 데 있었다. 사파비 황제는 튀르크와 루르, 쿠르드 등의 유목 부족들을 거느리고, 시아파 성직자들을 통해 자신의 통치를 정당화했다. 황제에 의해 직접 통솔되는 굴람(노예병) 부대는 최고의 엘리트들로서 제국 질서의 중심에 있었다. 그러나 사파비 제국이 사라지면서 이 모든 질서가 무너졌다. 유목 부족장들은 자신들의 영역에 따라 이란 영토를 분할했고,…
[캡:콜드케이스] 20년 전 우리는 웹2.0이라는 다소 촌스러운 유행어와 함께 개방과 참여, 공유의 이상적인 월드 와이드 웹을 꿈꿨다. 그리고 지금 우리가 목도하는 건 고립과 단절 그리고 증오로 들끓는 소셜미디어의 지옥이다. (⏰17분) 🎈 ‘폐허’ 3부작 🧨 소셜미디어의 폐허 그리고 그 다음 세계 🎃 매노스피어, 개방∙참여∙공유에서 고립∙단절∙증오로 🎠 결국 공론장 폐허의 해법도 ‘지역’이다 (가제) 같은 시간, 같은 공간, 다른 세계. 스마트폰. 이제 손바닥 안에 서로 다른 각자의 세계가 존재한다. 사춘기 자녀가 ‘집 안’에…
You probably know that you can search for a word or phrase with the vi command / (slash): If you have a file that uses the same word over and over again, you might want to find one particular place that the word is used. You can repeat the search with the n command until you find the place you want.…
This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I’ve been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It’s just a set of integers. Bool is a two element set. But a…
사진 Telegraph 코리아를 모르는 코리안 날씨가 좋았던 어느 초여름 저녁. 비즈니스 스쿨 뒷마당에 앉아, 기분좋은 저녁 햇살을 받으면서 학생 식당 밥을 먹고 있었다. 같은 테이블에는 네덜란드에서 온 시드 Sid 가 앉아있었는데, 서글서글하고 호기심이 많아서 서양인, 동양인과 모두 잘 어울리는 흔치 않은 친구다. 시드: 진서야. 너 한국에서 기자 했었지? 이번에 노스 코리아 넘어가다가 잡힌 미국 기자들 어떻게 될 것 같애? 나: 흠 글쎄. 내 생각엔 그 기자들 어쩌면 속으로는 좋아하고 있을지도 몰라." 시드: 좋아하다니? 노스…
Looe : A Finish TODAY'S ITINERARY Exploration: Monday, 21 October, 2019 lv London Paddington 0635 Great Western Railway ar Plymouth 0934 lv Plymouth ~1032 Great Western Railway ar Saltash 1041 lv Saltash 1057 Great Western Railway ar Liskeard 1116 lv Liskeard ~1214 Great Western Railway ar Looe…
Hard Reset - YouTubeAboutPressCopyrightContact usCreatorsAdvertiseDevelopersTermsPrivacyPolicy & SafetyHow YouTube worksTest new featuresNFL Sunday Ticket© 2025 Google LLC
This is part 8 of Categories for Programmers. Previously: . See the Table of Contents. Now that you know what a functor is, and have seen a few examples, let’s see how we can build larger functors from smaller ones. In particular it’s interesting to see which type constructors (which correspond to…
Video chats like Zoom and FaceTime are great ways to stay in touch with loved ones—so great, in fact, that parrots are catching on. A new study from researchers at Northeastern University, in collaboration with scientists from MIT and the University of Glasgow, investigated what happened when a…
Frightened of creepy-crawlies and devil-like things which come out at night? Then you're better off staying clear of Blue Town on the Isle of Sheppey. Scroll down for videos Scorpions on display at the Blue Town Heritage Centre It is home to a colony of sinister-looking scorpions which have been…
No articles.