Lindsey Kuper@dev can you do Dunkin‘ next?
PhD from UC Berkeley
| Website | https://kevinlaeufer.com/ |
Kevin Laeufer
- 93 Followers
- 151 Following
- 243 Posts
Research Associate at Cornell University
PhD from UC Berkeley
PhD from UC Berkeley
@jbigham @yacc143 "professors need people to implement their ideas" doesn't describe how it works in my group at all. Most of the good ideas come from my students. My job is to provide the kind of environment in which those ideas can develop; to push back on the flaws; to point out relationships between their ideas and other work I know about; to help them figure out how to explain their work in various fora; and to convince funding sources that all this is worthwhile.
@steve I used to live in a rental with a window that was right next to the shower head. I guarantee you that there is mold under the window sill and the blinds the landlord put in had completely rusted.
@steve do you have a wood window in your shower?
@thezoq2 I only made a gitlab account because of surfer
@rygorous „German Shower“
TheZoq2🏄 Today we released Surfer 0.6.0 🎉 This release contains a bunch of improvements including configurable key bindings, mapping translators, new commands and much more! Oh, and we have a new icon!
Also, some students will work on better annotations in Surfer soon. They asked for opinions here: https://forms.gle/CKqtgemjrNsfE7XY7
You can read the full change-log for the new release over at https://gitlab.com/surfer-project/surfer/-/releases/v0.6.0
Oh, and we have a new logo!
Finally, we have a proper journal paper about Spade 🎉!
It is a pretty complete description of the current state of the language, but I'm honestly more excited about the way we managed to argue for having a new HDL at Spade's abstraction level, roughly RTL but with zero cost abstractions on top
@dev obviously, the bay bridge is the only bridge that counts.
Niklas HauserI'm giving this agentic coding another try. I can give Claude Sonnet 4.5 the HTML versions of the reference manuals and the CMSIS headers and it'll actually use them. And it understands Jinja2 templates. And it's actually fairly accurate. This is getting uncomfortably useful?
