1. Aug 2024
    1. photographiés

      capturé à l'improviste

    2. lés qui semblaient suinter l'angoisse de ses rêves

      par l'horreur

    3. ses cauchemars

      terreurs nocturnes

    4. Les joues rouges et trempées d’un mélange de sueur et de larmes, Émilien s’éveilla dans un hurlement

      garder

    1. distribution

      a way to summarise quantitative data;

      describes what values are present in the data, and how often those values appear

    1. how long did it take you to understand the word brexit

      for - neuroscience - human abilities - example Brexit and variations

    2. we know from Lab studies that children understand the meaning of stuff at first or second or third site you

      for - neuroscience - children's understanding - 3 examples is enough to consolidate new concept

    3. this is the reason why I'm not afraid of artificial intelligence taking over

      for - question - AI - can AI learn to be intentionally distracted?

    4. human beings are good at getting distracted at mentally drifting away doing something else and thereby thereby understanding the world and give meaning to stuff

      for - neuroscience - human understanding - what makes us excel? - forgetting and getting distracted!

    5. usually it sticks you you know that moment you know that aha moment when you say ah I got it I understood it and suddenly from one second to the next your your way of thinking completely changes and this is the main difference in our world

      for - human learning - key feature - evolutionary nature - indyweb - key feature - evolutionary nature of learning

    6. human beings don't do that we understand that the chair is not a specifically shaped object but something you consider and once you understood that concept that principle you see chairs everywhere you can create completely new chairs

      for - comparison - human vs artificial intelligence

      question - comparison - human vs artificial intelligence - Can't an AI also consider things we sit on to then generalize their classifcation algorithm?

    7. the brain is Islam Islam is it is lousy and it is selfish and still it is working yeah look around you working brains wherever you look and the reason for this is that we totally think differently than any kind of digital and computer system you know of and many Engineers from the AI field haven't figured out that massive difference that massive difference yet

      for - comparison - brain vs machine intelligence

      comparison - brain vs machine intelligence - the brain is inferior to machine in many ways - many times slower - much less accurate - network of neurons is mostly isolated in its own local environment, not connected to a global network like the internet - Yet, it is able to perform extraordinary things in spite of that - It is able to create meaning out of sensory inputs - Can we really say that a machine can do this?

    8. this blue ball with three stumps a chair or this strange design object here because you can sit on it and what you see here is the difference the main difference between the computer world and the brainworld

      for - comparison - brain vs machine intelligence - comparison - human intelligence vs artificial intelligence

      comparison - human intelligence vs artificial intelligence - AI depends on feeding the AI system with huge datasets that it can - analyze and make correlations and - perform big data analysis - Humans don't operate the same way

    9. you can Google data if you're good you can Google information but you cannot Google an idea you cannot Google Knowledge because having an idea acquiring knowledge this is what is happening on your mind when you change the way you think and I'm going to prove that in the next yeah 20 or so minutes that this will stay analog in our closed future because this is what makes us human beings so unique and so Superior to any kind of algorithm

      for - key insight - claim - humans can generate new ideas by changing the way we think - AI cannot do this

    10. you can measure data but you cannot measure having an idea you cannot measure Innovation you cannot measure knowledge there's no metric there is no quantifiable scale for knowledge or having an idea you cannot say one meter of knowledge one kilogram of idea

      for - comparison - data vs ideas - no metric for ideas

    11. for - Henning Beck - neuroscientist - video - youtube - The Brain vs Artificial Intelligence

    1. “So wide open that I fear you may fall through it, and live all therest of your days as a wolf of the woods.”

      lmao

    2. He was the only one who liked Bran’s plan, though. Meera justsmiled at him and Jojen frowned. They never listened to what hewanted, even though Bran was a Stark and a prince besides, and theReeds of the Neck were Stark bannermen

      bran's a bit annoying

    3. wo crannogmen a thousand leagues fromthe Neck.

      why not ask your dad for help

    4. jen Reed was thirteen, only fouryears older than Bran.

      i thought he was like 9

    5. But his sister hadleft the wilds, to walk in the halls of man-rock where other huntersruled, and once within those halls it was hard to nd the path backout.

      yeah sansa

    6. .. all but the sister they had lost. His taildrooped when he remembered her. Four now, not ve. Four and onemore, the white who has no voice.

      :(( lady killed by lannisters and soon robb too

    7. Prince. The man-sound came into his head suddenly, yet he couldfeel the rightness of it. Prince of the green, prince of the wolfswood. He

      bloodraven?

    8. . And I tell youtruly, Daenerys, there is no man in all the world who will ever behalf so true to you as me.”

      YEAH NO

    9. “You ... you should not have ...”“I should not have waited so long,” he nished for her. “I shouldhave kissed you in Qarth, in Vaes Tolorru. I should have kissed youin the red waste, every night and every day. You were made to bekissed, often and well.” His eyes were on her breasts.

      ewww

    10. “And my vest—” shestarted to say, turning.Ser Jorah slid his arms around her.“Oh,” was all Dany had time to say as he pulled her close andpressed his lips down on hers. He smelled of sweat and salt andleather, and the iron studs on his jerkin dug into her naked breastsas he crushed her hard against him. One hand held her by theshoulder while the other slid down her spine to the small of her

      STOPPP

    11. but three living dragons, andthose were hers; they were a wonder, and a terror, and beyondprice.

      suprised no one in westeros has mentioned them yet

    12. Until one day Prince Rhaegar found something in hisscrolls that changed him.

      the prophecy

    13. Young Lord Connington was dear to the prince as well,

      oh im sure

    14. His name wasArstan,

      barristan selmy?

    15. ut the dragons the Seven Kingdoms knew best werethose of House Targaryen. They were bred for war, and in war theydied.

      the dance..

    16. ut when she told her brother, Viserys had twisted her hairuntil she cried. “You are blood of the dragon,” he had screamed ather. “A dragon, not some smelly sh.”

      :(

    17. DaenerysTargaryen was as happy as she could ever remember being.

      YESS

    18. dragons chase each other across a cloudless blue sky,

      omg they can fly now

    19. “And did you see where I was seated, Mance?” He leanedforward. “Did you see where they put the bastard?”Mance Rayder looked at Jon’s face for a long moment. “I think wehad best nd you a new cloak,” the king said, holding out his hand.

      there is some truth to this :(

    20. She was dead, as it happened, but her daughter saw to me.Cleaned my wounds, sewed me up, and fed me porridge and potionsuntil I was strong enough to ride again. And she sewed up the rentsin my cloak as well, with some scarlet silk from Asshai that hergrandmother had pulled from the wreck of a cog washed up on theFrozen Shore. It was the greatest treasure she had, and her gift tome.” He swept the cloak back over his shoulders. “But at theShadow Tower, I was given a new wool cloak from stores, black andblack, and trimmed with black, to go with my black breeches andblack boots, my black doublet and black mail. The new cloak had nofrays nor rips nor tears ... and most of all, no red. The men of theNight’s Watch dressed in black, Ser Denys Mallister reminded mesternly, as if I had forgotten. My old cloak was t for burning now,he said.“I left the next morning ... for a place where a kiss was not acrime, and a man could wear any cloak he chose.”

      the beginning kinda reminds me of robb and jeyne but red is such a specific color..

    21. “Bael the Bard,” said Jon, remembering the tale that Ygritte hadtold him in the Frostfangs, the night he’d almost killed her.“Would that I were. I will not deny that Bael’s exploit inspiredmine own ... but I did not steal either of your sisters that I recall.

      hmm interesting

    22. I was walking the wall around the yard when I came onyou and your brother Robb. It had snowed the night before, and thetwo of you had built a great mountain above the gate and werewaiting for someone likely to pass underneath.”“I remember,” said Jon with a startled laugh. A young blackbrother on the wallwalk, yes ... “You swore not to tell.”“And kept my vow. That one, at least.”

      oh sweet

    23. Mance Rayder laughed. “As you wish. Jon Snow, before youstands Tormund Giantsbane, Tall-talker, Horn-blower, and Breakerof Ice. And here also Tormund Thunderst, Husband to Bears, theMead-king of Ruddy Hall, Speaker to Gods and Father of Hosts.”

      oh he's a wildling? HOW DID BRAIME GET TO THE WALL WHAT

    24. his ragged black woolcloak,

      he still keeps the watch with him?

    25. The singer rose to his feet. “I’m Mance Rayder,” he said as he putaside the lute. “And you are Ned Stark’s bastard, the Snow ofWinterfell.”

      yup had a feeling

    26. Jon felt utterly alone as he stood there in hisblacks, awaiting the pleasure of the turncloak who called himselfKing-beyond-the-Wall. When his eyes had adjusted to the smoky redgloom, he saw six people, none of whom paid him any mind. A darkyoung man and a pretty blonde woman were sharing a horn ofmead. A pregnant woman stood over a brazier cooking a brace ofhens, while a grey-haired man in a tattered cloak of black and redsat crosslegged on a pillow, playing a lute and singing:

      kinda reminds me sansa meeting the tyrells like metting a king while she met a queen, a blonde women and a pregnant one

    27. to play the part of turncloak,

      yeah him and theon are polar opposites

    28. The wildlings had taken him foran oathbreaker, but in his heart he was still a man of the Night’sWatch, doing the last duty that Qhorin Halfhand had laid on him.Before I killed him.

      a dutiful traitor

    29. “Willas has a bad leg but a good heart,” said Margaery. “He usedto read to me when I was a little girl, and draw me pictures of thestars. You will love him as much as we do, Sansa.”

      a good man in westeros? now thats rare

    30. “I CALLED FOR A KNIGHT, BUT YOU’RE A BEAR! A BEAR! ABEAR! ALL BLACK AND BROWN AND COVERED WITH HAIR!”

      oo foreshadowing

    31. Oberyn Martell.

      interestingg

    32. We were speaking of my grandson Willas. He is a bit oldfor you, to be sure, but a dear boy for all that. Not the least bitoash, and heir to Highgarden besides.”

      ok but WHY

    33. rose. Ser Loras in white silk, so pure, innocent, beautiful. Thedimples at the corner of his mouth when he smiled. The sweetnessof his laugh, the warmth of his hand. She could only imagine whatit would be like to pull up his tunic and caress the smooth skinunderneath, to stand on her toes and kiss him, to run her ngersthrough those thick brown curls and drown in his deep brown eyes.A ush crept up her neck.

      FUCKK SHES SO IN LOVE :((

    34. “I want you to tell me the truth about this royal boy,” said LadyOlenna abruptly. “This Jorey.”

      ok so thats what she was after

    35. All these kings would do a dealbetter if they would put down their swords and listen to theirmothers.”

      YUP

    36. “That Varys creature seemed tothink we should be grateful for the information. I

      now what is he scheming...

    37. . She felt very like a pu shherself.

      aww lmao

    38. After LordPu Fish

      HIT AFTER HIT BRO

    39. As to your father, would that I’d been born a peasant woman with abig wooden spoon, I might have been able to beat some sense intohis fat head.”

      lmao

    40. The Baratheons have always had some queernotions, to be sure. It comes from their Targaryen blood, I shouldthink.” She snied. “They tried to marry me to a Targaryen once,but I soon put an end to that.”

      the way she was engaged to a gay targ and is now talking about another one now lmao

    41. The old woman smelled of rosewater. Why, she’s just the littlest bitof a thing. There was nothing the least bit thorny about her.

      sureee

    42. “Their mothernamed them Erryk and Arryk, but Grandmother can’t tell themapart, so she calls them Left and Right.”

      erryk and arryk lmao

    43. Maidenvault since King Baelor the Blessed had conned his sisterstherein, so the sight of them might not tempt him into carnalthoughts.

      ICK

    44. He took his hand from her arm. “I slew Robar at Storm’s End, mylady.” It was not a boast; he sounded sad.Him, and another of King Renly’s Rainbow Guard as well, yes. Sansahad heard the women talking of it round the well, but for a momentshe’d forgotten. “That was when Lord Renly was killed, wasn’t it?How terrible for your poor sister.”“For Margaery?” His voice was tight. “To be sure. She was atBitterbridge, though. She did not see.”“Even so, when she heard ...”Ser Loras brushed the hilt of his sword lightly with his hand. Itsgrip was white leather, its pommel a rose in alabaster. “Renly isdead. Robar as well. What use to speak of them?”The sharpness in his tone took her aback. “I ... my lord, I ... I didnot mean to give oense, ser.”“Nor could you, Lady Sansa,” Ser Loras replied, but all thewarmth had gone from his voice. Nor did he take her arm again.

      YES IVE BEEN WAITING FOR HIS GRIEF

    45. Ser Loras gave her a modest smile. “I spoke only a simple truth,that any man with eyes could see.”He doesn’t remember, Sansa realized, startled. He is only being kindto me, he doesn’t remember me or the rose or any of it. She had been socertain that it meant something, that it meant everything. A red rose,not a white. “It was after you unhorsed Ser Robar Royce,” she said,desperately.

      :( sorry girl not this guy

    46. Garlan

      oo yes more siblings

    47. I am talking to him, and he’s touching me, he’sholding my arm and touching me.

      can't even blame her cuz he sounds so good

    48. The sight of Ser Loras Tyrell standing on herthreshold made Sansa’s heart beat a little faster.

      wait yess

    49. if there was one thing that Sansa Stark had learnedhere, it was mistrust

      a lesson she learned painfully :(

    50. Hermother and grandmother followed close behin

      yess

    51. She was sixteen

      THE WAY NOT LIKE US STARTED PLAYING

    52. the heart-shaped face, the red eyes, the long coppery hair, herred gowns moving like ames as she walked

      like the burning heart of azhor ahai

    53. My luck. His shortened ngers patted at his chest,groping, nding nothing. The pouch was gone, and the ngerboneswith them. S

      noo

    54. Instead he sucked in a great gulp of air and dove

      deez nutz

    55. Why should I live? he thought as tears blurred his vision. Gods begood, why? My sons are dead, Dale and Allard, Maric and Matthos,perhaps Devan as well. How can a father outlive so many strong youngsons? How would I go on? I am a hollow shell, the crab’s died, there’snothing left inside. Don’t they know that?

      catelyn core

    56. You, who killed your mother to come into theworld?

      blmaing an infant is crazy

    57. “Jorey and Margaery shall marry on the rst day of the newyear, which as it happens is also the rst day of the new century.The ceremony will herald the dawn of a new era.”

      WHATTT

    Annotators

    1. curiosity trap

      for - new term - curiosity trap - When distractions take us out of the concentration and focusing zone

    2. the more stuff happened I'm going to think retrospectively oh this was a very long time because there were so so many new things and so much experience in retrospectively

      for - time sense - more new events gives a longer sense of time

    3. this is one reason why we forget stuff it is not a like like something that that is telling us that our brains bad but on the other hand the brain is using active forgetting in order to make the most important information the more precise and more pronounced

      for - neuroscience - why brains forget - active forgetting

      neuroscience -active forgetting - leaves behind a small set of salient ideas

    4. we forget stuff yeah and it is even more it is not precise and accurate we invent stuff retrospectively

      for - neuroscience - memories - reconstructed in the present - with new information - Indyweb - talking to our old selves - memories

    5. Avram Lincoln said I don't like this man I have to get to know him better because getting other people into your perspective

      for - neuroscience - perspectival knowing - why it's important to know other perspectives - perspectival knowing - Abraham Lincoln quote - I don't know that man - I better get to know his perspective

    6. a very good advice in order to calculate or estimate the duration of the project is that you ask non-experts

      for - neuroscience - time estimation - non-experts are better at providing time budgets - neuroscience - non-experts give better time estimates than consultants

    7. for - Henning Beck - neuroscience

    8. the best way to have a very long life is that you have a lot of new stuff around you

      for - neuroscience - how to - create perception of a long life - increase new activities

    1. 好みであれば、この手法を好むと思います

      好み~好む の重複が気になりました。

      代案

      好みであれば、この手法が気に入るかもしれません

    2. コマンド

      ちなみに command と入力しても同じ画面になります

    3. Click New to add a new path to the current list of paths. の訳が抜けてます。

      訳案

      続いて新規ボタンを押して現在のパスに新しいパスを追加します。

    4. XAMPPインストーラーを実行したときのデフォルト設定のままだと仮定し、表示されるボックスに C:\xampp\php を追加して OK をクリックします。

      わかりにくいです。

      代案

      XAMPPインストーラーを実行したときにデフォルト設定のままにしていたのであれば、表示されるボックスにC:\xamp\phpを追加してOKをクリックします。

    5. 変数

      typo 編集

    6. セットアップはここで説明する以上の情報があります

      訳が違うかも。

      代案

      WSL環境のセットアップについてはここでは説明しきれません。

    7. 好きなOSで開発でき、好きなホストにプッシュできます。 プロジェクトをプッシュするためのツールは十分に開発されており、リモートシステムで正確に実行できるように必要に応じてプロジェクトを修正します。

      訳は合っていると思うのですがややぶつ切り感があります。

      代案

      好きなOSで開発でき、好きなホストにプッシュできます。また、プロジェクトをプッシュするツールは十分に開発されており、リモートシステムで正しく稼働するように必要に応じてプロジェクトを修正してくれます。

    8. typo? を

    9. リソース

      リソースにはいろんな意味があるので、ここでは日本語に訳したほうがよいのでは

      代案

      情報源

    10. Platform.shの

      Platform.sh上の としたほうがPaaSの一種なんだな、と伝わりやすいと思います

    11. アプリケーションのデプロイがうまくいくと非常に満足します。一度もデプロイしたことがない場合はなおさらです。

      日本語としてやや不自然に感じました。

      代案

      アプリケーションのデプロイがうまくいくというのはとても満足感が高いものです。一度もデプロイしたことがなければなおさらです。

    12. typo:トル

    13. ログアウトプット

      「ログのアウトプット」が良いかなと思いましたが

      「の」が3連続するので、いっそ

      「以下ログの抜粋を読み、」とアウトプットを削るのはどうでしょうか

    14. typo: 「リモート接続を」

    15. しれません

      最後句点がないのが今までの文と比較して違和感がありました。

    16. デベロパ

      デベロッパー?

    17. トル?

    18. かかが

      「か」が一つ多いのでトル

      「なにが発生しているかが」

    19. typo トル

    20. ローカシステム

      typo: ローカルシステム

    21. この付録にある追加情報ではデプロイメントのプロセス全体が成功しない場合は、

      助詞「は」が連続しているので、どちらかをとったほうが良いと思います。

      Ex1) この付録にある追加情報でデプロイメントのプロセス全体が成功しない場合は、

      Ex2) この付録にある追加情報ではデプロイメントのプロセス全体が成功しない場合、

    1. Pict. 11: Additional functionsFrom top to bottom: The meanings of the five icons are▪ Information on your unit (model, current software version running, serial number)▪ Font selection – only for writing and naming cooking programmes▪ Left: ESG = Empty steam generator | Right: Service menu▪ Return

      *See Video Library "Additional Functions screen functions"

    2. ▪ Network settings (but not active in this screenshot)▪ Left: Change from Celsius to Fahrenheit and back | Right: Date and time settings▪ Left: Additional Functions | Right: Return

      See Video Library "iCombi Classic Settings screen functions"

    3. From top to bottom: The meanings of the six icons are▪ Data up-/and download

      See Video Library "iCombi Classic Settings screen functions"

    4. Pict. 9: First screenFrom top to bottom: The meanings of the four icons are▪ Programming mode▪ Automatic cleaning▪ Settings▪ Return

      See Video Library "iCombi Classic Initial screen functions"

    5. Pict. 8: First screen after pressing menu: Six buttons for operat-ing the iCombi Classic. See highlighted difference between but-tons 3 and 5.The screen is not a touch screen. Instead you operate with the four buttons to the left and two buttons on the right ofthe display. Only if an icon has a small white vertical bar on the outside, the corresponding button can be pressed.In the example above you can see that buttons 1, 2, 3 and 6 have a content and lead to an action, buttons 4 and 5 donot.With the return key (button 6) you go back one level and with a green tick you confirm a setting made.

      See Video Library "iCombi Classic First Screen after pressing "menu" button demo"

    6. Pict. 6: iCombi Classic: start screen with button “menu”

      See Video Library "iCombi Classic "Start Screen with Menu Button"

    7. To switch on the unit, press the on/off button for about three seconds. The unit will start. The start screen will appear

      See Video Libray "iCombi Classic On/Off switching procedure"

    8. To switch off the unit, press and hold the on/off button until the blue progress bar at the top of the display is com-pletely filled. A “goodbye” message is displayed

      See Video Libray "iCombi Classic On/Off switching procedure"

    9. The password to enter the service menu for technicians is “TECLEVEL”

      It is no longer possible to enter the iCombi Pro Service menu unless you have downloaded the Rational PIN Creator App and have a valid log in and password.

      Attempts to enter the Service Menu will generate a QR code on the screen.

      Scanning the QR code with the Rational PIN Creator app will generate a PIN which if used on the screen will enable entry to the Service Menu for technicians.

      See Video Library "Access to Service menu for Technicians"

      If you have undergone technical training by Rational UK or its approved training partners you can obtain a log in and password from Rational UK.

    10. You can operate the iCombi Pro with a few simple moves on the touch panel and/or turning and – for confirmation -pressing the central dial.

      See Video Library " iCombi Pro Start screen function"

    11. To switch off the unit, press and hold the on/off button until the LED lights orange. You will be asked whether youreally want to switch off the unit or not. Pressing “yes” will trigger the switch off process

      Please note: When the on/off switch LED illuminates amber, immediately release the on/off switch.

      Failure to do so will result in the LED blinking amber/green/amber/green continuously and the machine will not switch off.

      See Video Library "iComb Pro switch off procedure"

    12. To switch on the unit, press and hold the on/off button until the LED lights green. If all starting conditions are met thestart screen will appear

      Please note: When the on/off switch LED illuminates green, immediately release the on/off switch.

      Failure to do so will result in the LED blinking green/amber/green/amber continuously and the machine will not switch on.

      See Video Library "iCombi Pro switch on precedure"

    13. The unit features an integrated p-trap (syphon). In case the drain connec-ted to the unit is also having a p-trap (this might be invisible in the floor), theconnected drain must be vented via a T-piece. Failing to do so will result in anoverflow from the emergency drain

      See video Library "Drain Connection iCombi"

    14. Inhaltsverzeichnis

      Table of Contents.

    15. X51: 12 pol connector: 5 V stand-by voltage to A12, 12 V to A12 if unit is on and bus signal from A12

      X51 is a 12 pole female connector from which a 12 core cable carries data to and from A10 and the CPU (A12).

      The 12 wire cable also caries a 5V "stand by" voltage from I/O board A10 to on/off switch on CPU (A12) .

      The "stand by" voltage enables operation of the on/off switch and the CPU as soon as power is supplied to the oven (as the isolator is switched on).

      When the on/off switch is operated, ESTL completes its safety checks and providing no high temperature errors or component errors exist, contactor K1 energises and a 12 V supply is also sent to the CPU via this connector and its associated cable.

    16. X2: B3 thermocouple core probe

      Core probe with single thermocouple situated at the end of the probe. It is important when using the probe to ensure the end of the probe is in the centre of the procduct to be cooked.

    17. X19: A31 Water distribution block

      Connection X19 has 6 pin terminals but only 1, 2, & 5 are used to supply 3 solenoid valves in the water distruibution block as required by the process selected. Each valve operates at 240V ac.

      Terminal Pin no 1 (White cable) drives solenoid valve Y2 (Control nozzle) and is ndicated with a small triangle printed onto the pcb.

      Terminal Pin no 2 (Yellow cable) drives solenoid valve Y1 (Water box / steam generator filling).

      Terminal Pin no 5 (Black cable) drives solenoid valve Y4 (Care box fill).

      Terminal Pin no 6 (Blue cable) is the Neutral to all solenoid valves in the block.

      As all connections to the pcb this connection is also coded (poke yoke principal) However during covid, some Combi Steamers were issued with uncoded connectors for X19.

      This raisese the possibility of the connector becoming out of algnment!, resulting in no solenoid valve functions or incorrect solenoid valve functions.

      Always check for the correct the alignment of this connector

    18. X24: Control signals to SSR (12 V)

      X24 has 8 terminal connections (4 x 12V dc outputs).

      Terminals 1, 3, 5, and 7 are +ve whilst terminals 2, 4, 6, and 8 are -ve.

      Therefore the 4 x 12 V dc output pairs are: 1 & 2 - 3 & 4 - 5 & 6 - 7 & 8.

      Where a single 4 pole SSR is installed (Some 6 tray machines) only the positive outputs 1,3,5,and 7 are used and terminal 2 is used as a common negative.

      Where muliple 2 pole SSR's are used (Most other Rational ovens) all 8 terminals are utilsed as 4 indivdual 12v dc outputs.

      Please go to trainin manual page 140 Chapter 18 for technical details and testing procedures of SSR relays.

    19. X29: Extension pcbs (A22 (4fold relays), A23 (energy optimization), A32 (SSR module for US/CAN) or A18 with iCPro XS

      X29 is an 8 pin terminal for the addition of optional pcb's.

      Icombi Pro and iCombi Classic can accomodate up to three Optional pcb's, whilst iCombiXS can accomodate only two additional pcb's.

      Please go to Training manual page 85 Chapter 8.3 for details of available options and how to install.

    1. 次図は、基準価額の推移である。

      過去データの期間を変更できるようにする * 1年 * 3年 * 5年 * 10年

    1. for - climate crisis - psychology - wrong approach

      summary - Climate scientist professor Mojib Latif explores why our best efforts at rapid intervention to deal with the climate crisis are failing - Near the end of the program, he interviews professor Henning Beck, a neuroscientist who suggests that human brains have evolved to be rewarded for securing more. - Dopamine is released when we get more and we have not designed our intervention strategies aligned with this basic property of our brains

    1. ( ~19:15 )

      Johannes Schmidt calls Luhmann: "Without a doubt the most important German sociologist of the 20th century."

    1. Welfare capitalism 11 languages العربيةবাংলাDeutschEestiEsperanto한국어PortuguêsSvenskaTürkçeTiếng Việt中文 Edit links
    1. behaviors

      what each object can do

    2. attributes

      the properties or what each object knows about itself

    3. nstances of that class

      objestcs

    4. classes

      provide a blueprint for creating objects of a certain kind

    5. objects

      kind of value that combines data and the code that operates on that data into a single unit.

    1. The lecture "Propositions as Types" by Philip Wadler covers several significant concepts linking logic to computation, influencing the design of theorem provers and programming languages. Here are the key points:

      1. Concept Overview: The principle of "Propositions as Types" connects logical propositions with computational types, an idea that initially seems coincidental but is fundamentally robust and impactful.

      2. Historical Context: Various historical figures and concepts are touched upon, including:

        • David Hilbert: His contributions to formalizing mathematics.
        • Kurt Godel's Incompleteness Theorems.
        • Alonzo Church: Known for his work on Lambda Calculus.
        • Alan Turing: Contributions to the theory of computation and Turing Machines.
      3. Lambda Calculus: Introduced by Alonzo Church, this is essential for understanding function abstraction and application in programming languages.

      4. Natural Deduction and Formal Proofs: These concepts illustrate how logical reasoning can be systematically formalized, which is integral to both mathematics and computer science.

      5. Type Theory: A framework in which every "term" has a "type," which is analogous to a logical proposition. This theory underpins many modern programming languages, especially functional ones.

      6. Evaluation of Programs: Discusses how computational processes can be seen as logical deductions, further solidifying the Propositions as Types link.

      7. Influence on Programming Languages: The principle has heavily inspired the design and development of various languages and theorem provers, stressing its importance in computational theory.

      8. Philosophical and Practical Implications: The theory’s depth extends into philosophical debates about the nature of mathematics and computation, questioning whether mathematics is discovered or invented.

      9. Polymorphic Lambda Calculus: Examines how types can be generalized, adding flexibility and power to programming languages.

      10. Multiverses and Logic: Explores the implications of type theory and Propositions as Types in broader logical systems and multiple contexts.

      These points together underscore the significance of Propositions as Types in both theoretical and practical realms of computer science.

    2. Summary of Computability Theory and Historical Development

      Introduction to Algorithms

      • "An algorithm is a sequence of instructions followed by a computer."
      • Historical context: Originally, "computer" referred to a person executing algorithms, not machines.

      Historical Context of Algorithms

      • Ancient origins: Algorithms date back to "Euclid's elements in classical Greece and to eponymously al-khwarizmi in 9th century Persia."
      • Formal definition: "A formal mathematical definition doesn't appear until the 20th century with proposals by Alonzo Church, Kurt Gödel, and Alan Turing."

      The Entscheidungsproblem and David Hilbert

      • Hilbert's goal: Create "an algorithm that given a statement in formal logic would determine if that statement was true or false."
      • Gödel's Incompleteness Theorem: Published in 1930, "any logic powerful enough to represent arithmetic could encode the following statement: this statement is not provable," undermining Hilbert's goal.

      Development of Computability Concepts

      • Need for formal definition: Essential to show that the Entscheidungsproblem is undecidable.
      • Church's lambda calculus (1932): "By 1936, he used it to show the Entscheidungsproblem is undecidable."
      • Gödel's general recursive functions: "Gödel proposed this as an alternative definition of computability."

      Alan Turing's Contribution

      • Turing machines: "Turing showed that if Turing machine was your definition of algorithm, the Entscheidungsproblem was undecidable."
      • Equivalence of definitions: Turing proved that "his definition was equivalent to Church's and Gödel's," establishing a comprehensive concept of computability.

      Propositions as Types

      • Genson's natural deduction: "Jensen in his PhD thesis wrote...natural deduction, the main form of logic we use today."
      • Introduction and elimination rules: Rules are presented in pairs; "the pairs cancel out," leading to simplified proofs.

      Church's Simply Typed Lambda Calculus

      • Definition: Introduced in 1940, combining functions and pairs.
      • Simplification: Proofs and evaluations are simplified, ensuring termination for well-typed programs.

      Curry-Howard Isomorphism

      • Core idea: "Propositions in logic correspond to types in a programming language," demonstrating a deep structural correspondence.
      • Extension to other logics: The idea applies broadly, including "dependent types," "polymorphic lambda calculus," and others.

      Practical Implications and Industry Adoption

      • Slow adoption: "Good ideas often take a very long time, 25 or 30 years to be adopted."
      • Practical applications: "Pretty much every functional language you can name has as its core the lambda calculus."

      Philosophical Implications

      • Discovery vs. invention: The equivalence of different definitions suggests that "you've discovered something."
      • Potential universality: "Lambda calculus would be more like the thing on the Left that's easy to decipher than the squiggles on the right."

      Conclusion

      • Deep insights: "Lambda calculus is not invented, it's discovered."
      • Broader implications: The structuring of information through computer science concepts "has to have implications everywhere."

      This summary captures the main points and significant details of the talk on computability theory, historical development, and the implications of these concepts.

    1. ( ~8:00 )

      This explanation of why to read books in a certain order in dependency of each other is analogous to why a Zettelkasten (in Luhmannian sense) cannot be used collaboratively.

      In order for someone else to understand your notes (not meant to be published), they would have to understand both the source text you are referencing and the implicit references you make. Things you understand instinctively and do not need to write down.

      Because others do not have your experiences and worldview, it is more difficult for them, perhaps impossible, to completely comprehend your Zettels, your notes.

    2. ( ~5:00 ) Reading Aids should be used after initial interpretation. This is to prevent framing bias.

    3. ( ~1:40)

      Suggested to train analytical reading in high school.

    1. Big Blue Gets Renewed by [[Joe Van Cleave]]

      I like the aftermarket upgrades you've made.

      The Cheers reference reminds me that I've been trying to pair drinks with machines as I write. I had a blue cocktail on a cruise to Alaska last year that used glacier ice (which is blue), but since that's not easy to source in ABQ, maybe try an "Electric Iced Tea" which is a variation on the Long Island iced tea but which swaps blue curaçao for the triple sec and a clear lemon-lime based soda for the cola.

    1. Eyewitness Misidentification

      This is a surprising fact because with TV shows they make it seem like eye witnesses know for sure who they see so these statistics for eyewitness misidentification is very surprising information

    2. Suggestibility describes the effects of misinformation from external sources that leads to the creation of false memories

      This is a tricky fact because that can make it very difficult for the police to make sure they are getting the correct details. I know from peoples stories that my memories can alter in my brain so it is very tricky with suggestibility.

    1. A flashbulb memory

      This is a very interesting fact. I never knew this was what it was called or why momentous events can be so easily memorized because everyone talks about when a moment big enough like 9/11 happens people will forget specific details.

    1. . Students need to know the lesson’s learning goals and what they need to do to achieve them.

      Students cannot succeed it is critical that a teacher establishes a clear learning goal for students to strive for. They also need to understand the steps to get there. If a teacher does this successfully, students will be set up for success in all they do.

    2. Embedded in formative assessment, is the need for students to be DOING something—talking about something, creating something—so that we can collect evidence of their learning. Learning through arts integration provides that opportunity

      I believe that students will do much better in a class when they are DOING something, as said in the article. When students are actively using their hands, brains, and all other senses, they will learn better. Arts integration is a great way to get kids moving.

    1. Serbian uses the latin alphabet (most of the time on typewriters) and letters unique to it are "žčćšđ" while Czech adds "" but upsidedown on other letters. Finally Polish can be identified by the 'Ł ł"

      Distinguishing some European keyboards on typewriters.

      via u/Cevkica at https://www.reddit.com/r/typewriters/comments/1eih25t/finally_got_a_letera_32/lg70tm0/

    1. attach(target = PocketCastsStarsExport, modules)

      Derp. This is the wrong way to do default parameters.

    2. PocketCastsStarsExport.UPDATE_ENDPOINT = ( `https://api.pocketcasts.com/sync/update_episode_star` )
    1. Smith-Corona Series 5 and 6 typewriters had a small piece of rubber around a portion of the escapement which can wear out or become damaged. This in turn causes the escapement to not work properly and cause the dogs to get jammed resulting in large movements of the carriage while typing or spacing.

      Joe Van Cleave calls it the "return silencer" and replaced his by tracing out the damaged piece on a sheet of 1/32" rubber and cutting it out as a replacement.

      Duane at Phoenix typewriter describes replacing it with rubber tubing (possibly something like heat shrink?) instead. See: https://hypothes.is/a/tG4BWk77Ee-jczsjoM8SzA

    2. I love that Joe is helping out with a local school's analog typewriter club.

    3. Typewriter Escapement Repair by [[Joe Van Cleave]]

      • Presenter discusses improvements in PowerPoint skills and the development of a new implementation of Idris.

        • "I've been working very hard on my PowerPoint skills recently this is a this is a kind of a show-and-tell session so I've been hiding away in my cupboard over the last few months working on a new implementation of address."
      • Curious about attendees' experience with dependently typed programming languages.

        • "Has anyone played with any dependently type of programming languages before just by way of show of hands?"
      • Overview of Idris improvements, focusing on type system advancements.

        • "Firstly definitely faster type checking...I don't get out much you know so them so I'm gonna show you a bit about the new interactive additive feature."
      • Emphasis on interactive editing and user-friendly type-driven development.

        • "It's all about the interactive editing it's all about the condo that the machine and the program of being in a conversation."
      • Introduction of quantitative type theory and its significance in Idris.

        • "The key new feature of the language though is that it's based on quantitative type theory."
      • Explanation of quantities in types: 0, 1, and many, and their runtime implications.

        • "0 means this is going to be a race at runtime and the type checker has told me that it's going to be raised at runtime 1 means I can use this exactly once at runtime and many is just back in the old world where we always used to be."
      • Demonstration of the use of quantities in practical examples like vectors.

        • "The basic idea is the lengths are encoded in the type...so if I'm writing an append function and I say the effector has n things and another vector has n things then the resulting vector has n plus M States."
      • Exploration of automated programming with interactive editing, including a magic trick analogy.

        • "Wouldn't it be nice if we get abstract away in the acts of programming so if we could just say you know keep case splitting and searching until you find an answer and hilariously that works quite well."
      • Advantages of having more information in types for program synthesis.

        • "The linearity gives more information to the type prototype directed synthesis."
      • Implementation of session types using linear and dependent types.

        • "With linearity and dependent types, you absolutely can do that and I think it's quite a nice way of writing concurrent programs."
      • Encouragement to contribute to Idris development on GitHub.

        • "Please come along I'd love to have your funky issues right so this isn't dependent type stock so by law I have to show you the vexes there's a reason I'm going to show you the vectors."
      • Final thoughts on interactive editing, efficiency, and community contribution.

        • "Interactive editing there's a lot more we can do with interactive editing really important that it's responsive so this is I want this to be the default mode in which people interact with the system if that's going to be the case it has to come back with the answer very quickly."
    1. problem-based learning (PBL)

      PBL can be used in special education by presenting students with real-world challenges that require them to collaborate, think critically, and apply their knowledge to develop practical solutions, thereby catering to diverse learning needs and fostering inclusive learning experiences.

    2. Examples of such tools are semantic and conceptual maps (Hwang et al. 2011, visualization tools (Huang, 2020), microworlds and simulations (Warren & Wakefield, 2013), and even emerging technologies such as robotics (Mikropoulos & Bellou, 2013).

      Semantic and conceptual maps, visualization tools, microworlds and simulations, and robotics are diverse educational technologies that enhance learning by offering visual, interactive, and immersive experiences. These tools aid in developing a deeper understanding of complex concepts and foster engagement through interactive simulations and emerging technologies​

    1. Was erwartet man auch wenn man Leute aus der dritten Welt herholt und ihnen unsere Kultur nicht vermittelt weil das ja diskriminierend wäre, natürlich leben die genau so weiter wie vorher

      ihnen unsere Kultur nicht vermittelt

      das war nie das ziel. das sind parasiten, die den sozialstaat kaputt machen, und die das volk mehr "sicherheit" fordern lassen. "integriert" (in die arbeitswelt) werden höchstens die kinder der migranten in 20 jahren.