ModernGadgets:为现代桌面量身定制的极简信息展示工具 ModernGadgets Sleek, minimalist, information-dense gadgets for the modern desktop. Inspired by the AddGadgets.com system monitoring gadgets. Built on the Rainmeter platform. 项目地址: https://…
Standardized Max Logits: A Simple yet Effective Approach for Identifying Unexpected Road Obstacles in Urban-Scene Segmentation 标准max logit:在城市场景分割中识别意外道路障碍的一种简单但有效的方法
论文翻译
Abstract
Identifying unexpected objects on road…
Windows10 Emacs-SML开发环境搭建
前言
SML是Standard ML的缩写,这里的ML就是Meta-Language,是一门比较古老的函数式编程语言,一般翻译为元语言(比什么牛马元宇宙资格老多了)。 最近对函数式编程感兴趣,正巧假期时间较多,准备阅读研究一下ML for the Working Programm…
文章目录 Building Compound TypesRecordsTuples as Syntactic SugarDatatype BindingsCase ExpressionsUseful DatatypesPattern Matching的总结Type SynonymsList and Options are DatatypesPolymophic DatatypesEach of Pattern Matching / Truth About FunctionsA Little T…
文章目录 Introduction to First-Class Functions 函数是一等公民Functions as ArgumentsPolymorphic Types and Functions as ArgumentsAnonymous FunctionsUnnecessary Function WrappingMap and FilterGeneralizing Prior TopicsLexical ScopeLexical Scope and Higher-Orde…