home.social

#cmu — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #cmu, aggregated by home.social.

  1. RE: fosstodon.org/@tarsius/1166431

    In 1990 Dr. Peter Lee's 15-212 course at #CarnegieMellon introduced me to Scheme. It's also when I first came to comprehend the power of #Emacs and #EmacsLisp.

    In the first hour, Professor Lee demonstrated elegantly that everything is a list: data are lists and programs are lists. Every list returns a value, and functions are just lists that do calculations! Functions can return lists, of course, and so you can write functions that return functions!

    I ran to the lab to hack Lisp: it wasn't in your pocket, it was in a room worth more than your parents' house. Nothing had ever seemed more natural: write, evaluate, repeat. Hack a nugget, nest lists, add parentheses, hack bigger things. But the magic thing where you write code that returns code remained a mystery: we did lots of cool stuff in that course, but we never got to macros.

    Until 2026.

    The surprise? The surprise is that as each decade passes, I grow to cherish lifelong learning as more and more precious.

    #lisp #scheme #repl #macro #cmu

  2. RE: fosstodon.org/@tarsius/1166431

    In 1990 Dr. Peter Lee's 15-212 course at #CarnegieMellon introduced me to Scheme. It's also when I first came to comprehend the power of #Emacs and #EmacsLisp.

    In the first hour, Professor Lee demonstrated elegantly that everything is a list: data are lists and programs are lists. Every list returns a value, and functions are just lists that do calculations! Functions can return lists, of course, and so you can write functions that return functions!

    I ran to the lab to hack Lisp: it wasn't in your pocket, it was in a room worth more than your parents' house. Nothing had ever seemed more natural: write, evaluate, repeat. Hack a nugget, nest lists, add parentheses, hack bigger things. But the magic thing where you write code that returns code remained a mystery: we did lots of cool stuff in that course, but we never got to macros.

    Until 2026.

    The surprise? The surprise is that as each decade passes, I grow to cherish lifelong learning as more and more precious.

    #lisp #scheme #repl #macro #cmu

  3. RE: fosstodon.org/@tarsius/1166431

    In 1990 Dr. Peter Lee's 15-212 course at #CarnegieMellon introduced me to Scheme. It's also when I first came to comprehend the power of #Emacs and #EmacsLisp.

    In the first hour, Professor Lee demonstrated elegantly that everything is a list: data are lists and programs are lists. Every list returns a value, and functions are just lists that do calculations! Functions can return lists, of course, and so you can write functions that return functions!

    I ran to the lab to hack Lisp: it wasn't in your pocket, it was in a room worth more than your parents' house. Nothing had ever seemed more natural: write, evaluate, repeat. Hack a nugget, nest lists, add parentheses, hack bigger things. But the magic thing where you write code that returns code remained a mystery: we did lots of cool stuff in that course, but we never got to macros.

    Until 2026.

    The surprise? The surprise is that as each decade passes, I grow to cherish lifelong learning as more and more precious.

    #lisp #scheme #repl #macro #cmu

  4. RE: fosstodon.org/@tarsius/1166431

    In 1990 Dr. Peter Lee's 15-212 course at #CarnegieMellon introduced me to Scheme. It's also when I first came to comprehend the power of #Emacs and #EmacsLisp.

    In the first hour, Professor Lee demonstrated elegantly that everything is a list: data are lists and programs are lists. Every list returns a value, and functions are just lists that do calculations! Functions can return lists, of course, and so you can write functions that return functions!

    I ran to the lab to hack Lisp: it wasn't in your pocket, it was in a room worth more than your parents' house. Nothing had ever seemed more natural: write, evaluate, repeat. Hack a nugget, nest lists, add parentheses, hack bigger things. But the magic thing where you write code that returns code remained a mystery: we did lots of cool stuff in that course, but we never got to macros.

    Until 2026.

    The surprise? The surprise is that as each decade passes, I grow to cherish lifelong learning as more and more precious.

    #lisp #scheme #repl #macro #cmu

  5. RE: fosstodon.org/@tarsius/1166431

    In 1990 Dr. Peter Lee's 15-212 course at #CarnegieMellon introduced me to Scheme. It's also when I first came to comprehend the power of #Emacs and #EmacsLisp.

    In the first hour, Professor Lee demonstrated elegantly that everything is a list: data are lists and programs are lists. Every list returns a value, and functions are just lists that do calculations! Functions can return lists, of course, and so you can write functions that return functions!

    I ran to the lab to hack Lisp: it wasn't in your pocket, it was in a room worth more than your parents' house. Nothing had ever seemed more natural: write, evaluate, repeat. Hack a nugget, nest lists, add parentheses, hack bigger things. But the magic thing where you write code that returns code remained a mystery: we did lots of cool stuff in that course, but we never got to macros.

    Until 2026.

    The surprise? The surprise is that as each decade passes, I grow to cherish lifelong learning as more and more precious.

    #lisp #scheme #repl #macro #cmu

  6. Not that i know anything about #rust but they are really proud of it i guess.

    Found at #cmu robotics

  7. The second summer GIS internship posting is now live. One of the two positions has already been filled, so I encourage interested students to apply as soon as possible. Currently, these two positions are open to on and off campus students. cmu.wd5.myworkdayjobs.com/en-U
    #cmu #pittsburgh #internship #GIS #job

  8. «Künstliche Intelligenz — KI-Assistenten verringern menschliche Problemlösungskompetenz:
    Eine Studie von CMU, Oxford und MIT belegt - Wer KI für direkte Lösungen nutzt, verliert an Ausdauer und scheitert öfter an Aufgaben.»

    Das KI nicht intelligent ist, hatte ich schon mehrfach kritisiert aber ja der überhobene Selbstglaube ist mal wider deren Verkaufsargument.

    😵‍💫 golem.de/news/kuenstliche-inte

    #ki #intelligenz #kompetenz #cmu #mit #oxford #aufgabe #losung #ai #aislop #scheitert

  9. «Künstliche Intelligenz — KI-Assistenten verringern menschliche Problemlösungskompetenz:
    Eine Studie von CMU, Oxford und MIT belegt - Wer KI für direkte Lösungen nutzt, verliert an Ausdauer und scheitert öfter an Aufgaben.»

    Das KI nicht intelligent ist, hatte ich schon mehrfach kritisiert aber ja der überhobene Selbstglaube ist mal wider deren Verkaufsargument.

    😵‍💫 golem.de/news/kuenstliche-inte

    #ki #intelligenz #kompetenz #cmu #mit #oxford #aufgabe #losung #ai #aislop #scheitert

  10. «Künstliche Intelligenz — KI-Assistenten verringern menschliche Problemlösungskompetenz:
    Eine Studie von CMU, Oxford und MIT belegt - Wer KI für direkte Lösungen nutzt, verliert an Ausdauer und scheitert öfter an Aufgaben.»

    Das KI nicht intelligent ist, hatte ich schon mehrfach kritisiert aber ja der überhobene Selbstglaube ist mal wider deren Verkaufsargument.

    😵‍💫 golem.de/news/kuenstliche-inte

    #ki #intelligenz #kompetenz #cmu #mit #oxford #aufgabe #losung #ai #aislop #scheitert

  11. «Künstliche Intelligenz — KI-Assistenten verringern menschliche Problemlösungskompetenz:
    Eine Studie von CMU, Oxford und MIT belegt - Wer KI für direkte Lösungen nutzt, verliert an Ausdauer und scheitert öfter an Aufgaben.»

    Das KI nicht intelligent ist, hatte ich schon mehrfach kritisiert aber ja der überhobene Selbstglaube ist mal wider deren Verkaufsargument.

    😵‍💫 golem.de/news/kuenstliche-inte

    #ki #intelligenz #kompetenz #cmu #mit #oxford #aufgabe #losung #ai #aislop #scheitert

  12. «Künstliche Intelligenz — KI-Assistenten verringern menschliche Problemlösungskompetenz:
    Eine Studie von CMU, Oxford und MIT belegt - Wer KI für direkte Lösungen nutzt, verliert an Ausdauer und scheitert öfter an Aufgaben.»

    Das KI nicht intelligent ist, hatte ich schon mehrfach kritisiert aber ja der überhobene Selbstglaube ist mal wider deren Verkaufsargument.

    😵‍💫 golem.de/news/kuenstliche-inte

    #ki #intelligenz #kompetenz #cmu #mit #oxford #aufgabe #losung #ai #aislop #scheitert

  13. Supervising Ralph Wiggum: pairing a design agent with a separate metacognitive critic beats a plain retry loop AND a self-monitoring agent on battery-pack design.

    Metacognitive prompts alone don't help; moving them to a different agent does. Converges with ReMA's math-reasoning result: a separately parameterized head for meta-level work outperforms one model doing both.

    benjaminhan.net/posts/20260430

    #LLMs #AI #AgenticSystems #CMU

  14. Supervising Ralph Wiggum: pairing a design agent with a separate metacognitive critic beats a plain retry loop AND a self-monitoring agent on battery-pack design.

    Metacognitive prompts alone don't help; moving them to a different agent does. Converges with ReMA's math-reasoning result: a separately parameterized head for meta-level work outperforms one model doing both.

    benjaminhan.net/posts/20260430

    #LLMs #AI #AgenticSystems #CMU

  15. Supervising Ralph Wiggum: pairing a design agent with a separate metacognitive critic beats a plain retry loop AND a self-monitoring agent on battery-pack design.

    Metacognitive prompts alone don't help; moving them to a different agent does. Converges with ReMA's math-reasoning result: a separately parameterized head for meta-level work outperforms one model doing both.

    benjaminhan.net/posts/20260430

    #LLMs #AI #AgenticSystems #CMU

  16. Supervising Ralph Wiggum: pairing a design agent with a separate metacognitive critic beats a plain retry loop AND a self-monitoring agent on battery-pack design.

    Metacognitive prompts alone don't help; moving them to a different agent does. Converges with ReMA's math-reasoning result: a separately parameterized head for meta-level work outperforms one model doing both.

    benjaminhan.net/posts/20260430

    #LLMs #AI #AgenticSystems #CMU

  17. Supervising Ralph Wiggum: pairing a design agent with a separate metacognitive critic beats a plain retry loop AND a self-monitoring agent on battery-pack design.

    Metacognitive prompts alone don't help; moving them to a different agent does. Converges with ReMA's math-reasoning result: a separately parameterized head for meta-level work outperforms one model doing both.

    benjaminhan.net/posts/20260430

    #LLMs #AI #AgenticSystems #CMU

  18. My food source is now #cmu event emails.

  19. Based on a part of our recent study #LPI at night moves pedestrians out of the dark curb zone and help pedestrians get peak semi-cylindrical #illuminance for incoming traffic occurs around 2–3 seconds into crossing. At a #walking speed of 1.4 m/s, our #SALUSLux simulation indicates an ideal LPI of 3–7 seconds. For pedestrians facing turning conflicts (and I personally experience this a lot even near #CMU campus -*-), peak visibility on the far side occurs around 7 sec

  20. New #openaccess publication #SciPost #Physics

    Spin-orbital magnetism in moiré Wigner molecules

    Ahmed Khalifa, Rokas Veitas, Francisco Machado, Shubhayu Chatterjee
    SciPost Phys. 20, 090 (2026)
    scipost.org/SciPostPhys.20.3.0

    #CMU #TUDelft #Harvard #CfA

  21. New #openaccess publication #SciPost #Physics

    Spin-orbital magnetism in moiré Wigner molecules

    Ahmed Khalifa, Rokas Veitas, Francisco Machado, Shubhayu Chatterjee
    SciPost Phys. 20, 090 (2026)
    scipost.org/SciPostPhys.20.3.0

    #CMU #TUDelft #Harvard #CfA

  22. New #openaccess publication #SciPost #Physics

    Spin-orbital magnetism in moiré Wigner molecules

    Ahmed Khalifa, Rokas Veitas, Francisco Machado, Shubhayu Chatterjee
    SciPost Phys. 20, 090 (2026)
    scipost.org/SciPostPhys.20.3.0

    #CMU #TUDelft #Harvard #CfA

  23. New #openaccess publication #SciPost #Physics

    Spin-orbital magnetism in moiré Wigner molecules

    Ahmed Khalifa, Rokas Veitas, Francisco Machado, Shubhayu Chatterjee
    SciPost Phys. 20, 090 (2026)
    scipost.org/SciPostPhys.20.3.0

    #CMU #TUDelft #Harvard #CfA

  24. New #openaccess publication #SciPost #Physics

    Spin-orbital magnetism in moiré Wigner molecules

    Ahmed Khalifa, Rokas Veitas, Francisco Machado, Shubhayu Chatterjee
    SciPost Phys. 20, 090 (2026)
    scipost.org/SciPostPhys.20.3.0

    #CMU #TUDelft #Harvard #CfA

  25. Catalyst member Kathryn Mazaitis will be at CMU Energy Week this week to connect with students and other potential PUDL data users. If you're attending too come say hello!

    energy.cmu.edu/energy-week/ind

    #Energy #Electricity #PGH #CMU #OpenData

  26. Catalyst member Kathryn Mazaitis will be at CMU Energy Week this week to connect with students and other potential PUDL data users. If you're attending too come say hello!

    energy.cmu.edu/energy-week/ind

    #Energy #Electricity #PGH #CMU #OpenData

  27. Catalyst member Kathryn Mazaitis will be at CMU Energy Week this week to connect with students and other potential PUDL data users. If you're attending too come say hello!

    energy.cmu.edu/energy-week/ind

    #Energy #Electricity #PGH #CMU #OpenData

  28. Catalyst member Kathryn Mazaitis will be at CMU Energy Week this week to connect with students and other potential PUDL data users. If you're attending too come say hello!

    energy.cmu.edu/energy-week/ind

    #Energy #Electricity #PGH #CMU #OpenData

  29. Catalyst member Kathryn Mazaitis will be at CMU Energy Week this week to connect with students and other potential PUDL data users. If you're attending too come say hello!

    energy.cmu.edu/energy-week/ind

    #Energy #Electricity #PGH #CMU #OpenData

  30. Hive mind: Do I know anyone from the #CarnegieMellon class of 1996 who's coming to Pittsburgh for their reunion next month?

    #CMU #Pittsburgh

  31. 🇪🇺🚀 The proposal for an "EU-Inc" is being worked on here and is looking for feedback.

    The EU-Inc is a proposed pan-European company structure. It aims to streamline incorporation, management processes, and fundraising for innovative businesses across Europe.

    The handover date to the EU Commission is on January 15th

    proposal.eu-inc.org/14d076fd79

    #AccelerateEurope #EUInc #CMU #CapitalMarketsUnion #28thRegime

  32. CW: uspol carnegie mellon

    CMU blotting out "No Rapists On Campus" isn't only about Trump. The message is about Trump, but not directed at Trump. It's a note about school policy. It's the open admission that the administration knows who and what Trump is and worked with him anyway because he has power. It's highlighting the hypocrisy.

    Highlighted this way, the message isn't criticism of Trump alone; it's criticism of the school President, Farnam Jahanian. Which means he responded to criticism of his decisions by blotting it out.

    He should be held accountable for his demonstrated position of "supporting free speech, unless it is critical of my decisions and actions as President of this university." If he doesn't square that circle, CMU should find another President.

    #CMU #CarnegieMellon

  33. It seems like CMU president Farnam Jahanian has painted himself into a corner.

    (As a former editorial cartoonist for The Tartan, I thought I should do something.)

    #CarnegieMellon #Pittsburgh #cartoon #CMU

  34. Check out our SALUS Lab github

    #CarnegieMellon #CMU Sustainable and Livable Urban Systems (SALUS) Laboratory studies how the built and natural environments shape the human experience

    github.com/CMU-SALUS-Lab

  35. Yesterday early (7:30ish) morning and today before noon - 2 views of "Cathy" - #CathedralOfLearning #Pittsburgh (from nearby #CMU #CarnegieMellon campus)

  36. #Eurostack plans talks about #federation and open source a lot. Yes. It can play a role in parts of the stack (particularly back end).

    But centralised propriety European champions would most probably have to be part of the mix, also for capital markets to do their part.

    #capitalmarkets #CMU #opensource

  37. Part a lack of vision by European leaders. On that score #Eurostack plans help, but it is barebones and missing much.

    It does not take account of two major drivers of US digital power. Network effects/ economies of scale, capital markets and how they create an ecosystem.

    #CMU #capitalmarkets #venturecapital #industrialpolicy