Search
175 results for “nilesh”
-
LeanDetective: a Lean Library that can assist with deductive reasoning in crime investigations such as murder mysteries. ~ Nilesh https://github.com/nileshtrivedi/lean-detective #LeanProver #ITP
-
LeanDetective: a Lean Library that can assist with deductive reasoning in crime investigations such as murder mysteries. ~ Nilesh https://github.com/nileshtrivedi/lean-detective #LeanProver #ITP
-
LeanDetective: a Lean Library that can assist with deductive reasoning in crime investigations such as murder mysteries. ~ Nilesh https://github.com/nileshtrivedi/lean-detective #LeanProver #ITP
-
LeanDetective: a Lean Library that can assist with deductive reasoning in crime investigations such as murder mysteries. ~ Nilesh https://github.com/nileshtrivedi/lean-detective #LeanProver #ITP
-
LeanDetective: a Lean Library that can assist with deductive reasoning in crime investigations such as murder mysteries. ~ Nilesh https://github.com/nileshtrivedi/lean-detective #LeanProver #ITP
-
Is someone, maybe in the @socialcg, already thinking about using DIDs and a HTTP- and #RDF-backed #DHT?
-
What the hell!
How many mastodon contributors has #gargron driven away!
-
Need ideas for #programming projects? Here are a few that would make a big difference.
- Add "Featured hashtags" (instance-level, not account) to #Mastodon or #hometown . This would enable Slack/Discord like user interface.
- Invent a way to link to highlighted specific sections of webpages (like text fragments but with pixel coordinates).
- Add text search for #tldraw canvases
-
A quality of life improvement I have been enjoying since #AI got better at writing #Code : Making a number of nifty #userscript to be used with the #violentmonkey extension to improve the experience on certain websites.
These scripts can themselves call a free #llm (via #openrouter).
Fascinating dynamic this is though: I as an expert, am willing to trust AI that I control, rather than other expert humans because of the harms they can cause because of #anonymity.
-
Gitter is going fully native Matrix in Feb 2023: https://blog.gitter.im/2023/01/16/gitter-is-going-fully-native-matrix-in-feb-2023/
Can we please stop using Discord and Telegram now for open-source communities?
-
#NILES #COMMUNITY #SCHOOLS semantic-search.headlines-world.com/advanced-sea... Semantic SEO: The Bridge between Humans and Artificial Intelligence. AÉPIOT: INDEPENDENT SEMANTIC WEB 4.0 INFRASTRUCTURE (EST. 2009): aepiot.com
MultiSearch Tag Explorer -
#NILES #COMMUNITY #SCHOOLS semantic-search.headlines-world.com/advanced-sea... Semantic SEO: The Bridge between Humans and Artificial Intelligence. AÉPIOT: INDEPENDENT SEMANTIC WEB 4.0 INFRASTRUCTURE (EST. 2009): aepiot.com
MultiSearch Tag Explorer -
Nile Street, approximately 1962
Photograph showing state houses along Nile Street.
Hutt City Libraries via DigitalNZ -
Just 10 more days 'til Chaplin Days!
Our Modern-Times-inspired #KineticSculpture is up and running.
https://nilesfilmmuseum.org/#RecordPlace:record:5288605147987968
#CharlieChaplin #SilentFilm -
Sehr schöner Abend gestern bei der #JUG Frankfurt zu "Sprign Modulith" mit vielen Diskussionen und nettem Ausklang im der Apfelweinwirtschaft 😍.
Slides + Code findet ihr hier: https://nilshartmann.net/t/modularisierung-pragmatisch-ein-deep-dive-in-spring-modulith-java-user-group-frankfurt.
Meine heise developer-Artikel zu "Spring Modulith" habe ich hier verlinkt: https://nilshartmann.net/a/spring-modulith-deep-dive-heise-developer
-
Sehr schöner Abend gestern bei der #JUG Frankfurt zu "Sprign Modulith" mit vielen Diskussionen und nettem Ausklang im der Apfelweinwirtschaft 😍.
Slides + Code findet ihr hier: https://nilshartmann.net/t/modularisierung-pragmatisch-ein-deep-dive-in-spring-modulith-java-user-group-frankfurt.
Meine heise developer-Artikel zu "Spring Modulith" habe ich hier verlinkt: https://nilshartmann.net/a/spring-modulith-deep-dive-heise-developer
-
Sehr schöner Abend gestern bei der #JUG Frankfurt zu "Sprign Modulith" mit vielen Diskussionen und nettem Ausklang im der Apfelweinwirtschaft 😍.
Slides + Code findet ihr hier: https://nilshartmann.net/t/modularisierung-pragmatisch-ein-deep-dive-in-spring-modulith-java-user-group-frankfurt.
Meine heise developer-Artikel zu "Spring Modulith" habe ich hier verlinkt: https://nilshartmann.net/a/spring-modulith-deep-dive-heise-developer
-
Sehr schöner Abend gestern bei der #JUG Frankfurt zu "Sprign Modulith" mit vielen Diskussionen und nettem Ausklang im der Apfelweinwirtschaft 😍.
Slides + Code findet ihr hier: https://nilshartmann.net/t/modularisierung-pragmatisch-ein-deep-dive-in-spring-modulith-java-user-group-frankfurt.
Meine heise developer-Artikel zu "Spring Modulith" habe ich hier verlinkt: https://nilshartmann.net/a/spring-modulith-deep-dive-heise-developer
-
Sehr schöner Abend gestern bei der #JUG Frankfurt zu "Sprign Modulith" mit vielen Diskussionen und nettem Ausklang im der Apfelweinwirtschaft 😍.
Slides + Code findet ihr hier: https://nilshartmann.net/t/modularisierung-pragmatisch-ein-deep-dive-in-spring-modulith-java-user-group-frankfurt.
Meine heise developer-Artikel zu "Spring Modulith" habe ich hier verlinkt: https://nilshartmann.net/a/spring-modulith-deep-dive-heise-developer
-
Hallo #JavaLand! Slides und Code zu meinem #NextJS Vortrag gestern findet ihr hier: https://nilshartmann.net/t/das-frontend-im-backend-next-js-fuer-java-entwickler-innen-java-land
Vielen Dank für eure Teilnahme! Ich wünsche euch noch viel Spaß auf der Konferenz und hoffe, dass wir uns beim nächsten Mal wiedersehen ☺️
-
Ende der Woche gibt's auf der #iJS von mir zu #React und #TanStack:
...Talk "SSR with React - Deep Dive into TanStack" https://nilshartmann.net/t/ssr-with-react-a-hands-on-deep-dive-into-tan-stack-i-js
...Workshop "React with TanStack: A Practical Deep Dive" https://nilshartmann.net/t/react-spas-with-tan-stack-a-practical-deep-dive-i-js
Freue mich, mit euch über React und vieles mehr zu sprechen! 👋
-
Tonight! At our Edison Theater, in historic downtown Niles (part of Fremont, CA):
Yeeee-haw! We're showing a western!
Gary Cooper with Thelma Todd? Count me in!
Saturday, April 26th, 7:30pm
Greg Pane, Piano Accompaniment
NEVADA (1927, Paramount) A gunslinger looking for a quiet place to settle down becomes entangled in a romantic triangle and the hunt for a gang of cattle rustlers. Gary Cooper was in his first year as a leading actor when he made this film with William Powell and Thelma Todd.
Preceded by shorts:
THE NARROW ROAD (1912, Biograph)
Mary Pickford, Elmer BoothMANY SCRAPPY RETURNS (1927, Hal Roach) Charley Chase
#SilentFilm #Fremont #FremontCA #NilesCA #ZaneGrey #CharleyChase #GaryCooper #ThelmaTodd
-
Taking my mind off my film misadventures by editing some shots from earlier this week. Gotta love a midwestern high school.
📷 Fujifilm X-E2S
🔍 TTArtisan AF27mm f/2.7 -
New paper 🎉🎉
About coherence 🥱💤⁉️joint work with Nick Gurski
https://arxiv.org/abs/2312.11261The title is:
Universal pseudomorphisms, [*deep breath*]
with applications to diagrammatic coherence for braided and symmetric monoidal functors 🙃😸I've always thought coherence theorems sound boring, but actually they're good! In this paper we take a problem that is hard (coherence for structured functors), do a *bunch* of really abstract stuff (2-monad theory), and come out with a solution that makes your life* significantly better.
[*Here, "your life" means the part of your life you spend checking diagrams of braided monoidal functors. Or, more generally, pseudomorphisms for algebras over a 2-monad.]
Almost 1/5 of this paper is dedicated to real, genuine examples, and that's what I want to focus on below. I'll say just a bit about the more abstract machinery on which the examples are based. If you've been following along, this is the culmination of my series "weird facts about monoidal functors and coherence" [1,2,3,4].
[1] https://mathstodon.xyz/@nilesjohnson/110741323263984146
[2] https://mathstodon.xyz/@nilesjohnson/110876487813747736
[3] https://mathstodon.xyz/@nilesjohnson/110979458364785667
[4] https://mathstodon.xyz/@nilesjohnson/111070640771166081#CategoryTheory #MonoidalFunctor #Coherence #Braided #Symmetric #PseudomorphismClassifier
(1/14)
-
Niles has been happily munching on the bark of this stick all evening now. Meanwhile his snibling (snail sibling) is enjoying a dish full of fresh green beans and mint. :blobmeltsoblove: #snails #petsnails #photography #Macrophotography #monochrome #snailposting
-
Niles has been happily munching on the bark of this stick all evening now. Meanwhile his snibling (snail sibling) is enjoying a dish full of fresh green beans and mint. :blobmeltsoblove: #snails #petsnails #photography #Macrophotography #monochrome #snailposting
-
Niles has been happily munching on the bark of this stick all evening now. Meanwhile his snibling (snail sibling) is enjoying a dish full of fresh green beans and mint. :blobmeltsoblove: #snails #petsnails #photography #Macrophotography #monochrome #snailposting
-
Niles has been happily munching on the bark of this stick all evening now. Meanwhile his snibling (snail sibling) is enjoying a dish full of fresh green beans and mint. :blobmeltsoblove: #snails #petsnails #photography #Macrophotography #monochrome #snailposting
-
Niles has been happily munching on the bark of this stick all evening now. Meanwhile his snibling (snail sibling) is enjoying a dish full of fresh green beans and mint. :blobmeltsoblove: #snails #petsnails #photography #Macrophotography #monochrome #snailposting