131的小本本
http://howtocenterincss.com/ 太真实了（
#security #freedom #web #tools
https://browserleaks.com/
网络层地址
JavaScript
HTML5功能检测
广告过滤器,WebRTC
Font,Canvas,WebGL
浏览器位置获取
Java小程序,Silverlight
Flash 等技术特性
都可以用于浏览者身份一致性确定
https://browserleaks.com/
网络层地址
JavaScript
HTML5功能检测
广告过滤器,WebRTC
Font,Canvas,WebGL
浏览器位置获取
Java小程序,Silverlight
Flash 等技术特性
都可以用于浏览者身份一致性确定
BrowserLeaks
Browserleaks - Check your browser for privacy leaks
BrowserLeaks is a suite of tools that offers a range of tests to evaluate the security and privacy of your web browser. These tests focus on identifying ways in which websites may leak your real IP address, collect information about your device, and perform…
duangsuse::Echo
#Java #code UI.render(Application().title("table").width(1200).height(500)) { val colOpts = Column("Options").widgets(/*rendering widget instead of row-object property*/ Button(/*auto-id, must*/).text("OK").sameline(true).onClick { it.text((it.getData("rowData")…
#plt #types 下午走在路上就想着 IO 便利性函数该如何封装
说(o) 说点(s) (即 println/print)是既有的，增添 说报错(s) ，有点半通不通但意思准确
麻烦的是之前
于是就说可以（而且：...
搞得这有点高级了…… 像 C++ 的 template<> ，还打算搞 组<交集型<数4、数8>()“=断止”> 、 组<并集型<数1、数4>()“=值”> ，后来发现全身想太多， 可为<数、文> 这样的 Either<A,B> 还比较常见。
不过我终于明白 trait Bounded 可以怎么实现了，以及它不需要高端语言特性的事情了…… 以后可以试着实现下
但是还有个问题，就是如果仅对 thing T 1:1 定义的 compaion-insta 支持默认建立类型，依然需要“T 的 companion 必须实现某 trait”的类型约束，不可能隔离开T和其伴生类型，所以还是要 template 才能真的将 static/instance 的 type check 统一化😂
C 时代的类型系统还不如说是“sizeof 计算系统”，而 Java 则更高级些，现在如何区分编译期和运行期的职责和计算，保证灵活性，是一个问题了。
我希望这种系统的工作原理必须简单直观，当务之急是学习如何实现编译期计算，区分常/变量参数，相信有了易用的编译期计算，允许用户程序/表达式与编译器协作，类型运算符的问题就迎刃而解。
说(o) 说点(s) (即 println/print)是既有的，增添 说报错(s) ，有点半通不通但意思准确
麻烦的是之前
听去数一 (加动词 去 的显示无参调用可以不带括号) 这种头疼的 API 不好优化，或可变成 例『听』为 ……量 数 取者，待写()。 的这种形式但不太准确于是就说可以（而且：...
对何<真型> 恒事 听() 为
量读造器=伴生例<型、可读造>()
量参=建元组<提取自 参数型<读造器::去建>()>()
对读造器的参数里的，参去加(它)。
回读造器去建(提取自 参)“编不下去了……”
搞得这有点高级了…… 像 C++ 的 template<> ，还打算搞 组<交集型<数4、数8>()“=断止”> 、 组<并集型<数1、数4>()“=值”> ，后来发现全身想太多， 可为<数、文> 这样的 Either<A,B> 还比较常见。
不过我终于明白 trait Bounded 可以怎么实现了，以及它不需要高端语言特性的事情了…… 以后可以试着实现下
但是还有个问题，就是如果仅对 thing T 1:1 定义的 compaion-insta 支持默认建立类型，依然需要“T 的 companion 必须实现某 trait”的类型约束，不可能隔离开T和其伴生类型，所以还是要 template 才能真的将 static/instance 的 type check 统一化😂
对何<型、构型> 恒事 伴生例型()：构型 = 编译器实现()
对何<数型> (其中 伴生例型<数型>()：有界)
内联的恒事 取最小值() = 取伴生例<数型>()的底 C 时代的类型系统还不如说是“sizeof 计算系统”，而 Java 则更高级些，现在如何区分编译期和运行期的职责和计算，保证灵活性，是一个问题了。
我希望这种系统的工作原理必须简单直观，当务之急是学习如何实现编译期计算，区分常/变量参数，相信有了易用的编译期计算，允许用户程序/表达式与编译器协作，类型运算符的问题就迎刃而解。
Forwarded from IT之家 RSS
Forwarded from Soha 的日常 (Soha Jin)
“他解释道，微信不保存聊天记录，微信也规定谁看了用户的聊天记录会被开除的。”
不保存聊天记录的话，你员工又怎么会因为看了聊天记录被开除呢🌚？
https://www.ithome.com/0/530/992.htm
不保存聊天记录的话，你员工又怎么会因为看了聊天记录被开除呢🌚？
https://www.ithome.com/0/530/992.htm
Ithome
张小龙：为了保护隐私，微信不久后将推出属于自己的输入法 - IT之家
在今天的 2021 微信公开课 Pro 版的微信之夜上，腾讯高级副总裁，微信事业群总裁张小龙透露，微信即将有自己的输入法，会在不久之后灰度测试。此外，微信浮窗也会有所更新。
Forwarded from RSSBot
Kotlin Programming Language by JetBrains – Kotlin Blog | JetBrains
Results of the First Kotlin Multiplatform Survey
Results of the First Kotlin Multiplatform Survey
Forwarded from dnaugsuz
from subprocess import check_call
from os import path
from operator import gt
def ffmpeg(src, dst, *args):
if path.exists(dst) and gt(*map(path.getmtime, [dst,src])): return
check_call(["ffmpeg","-i",src,*args,dst])
return dst是阻塞的，这样可以再 open() 输出(之前Java写过)
Gist
Linux Terminal has the capability of displaying 8-bit colour, so why not play something on it?
Linux Terminal has the capability of displaying 8-bit colour, so why not play something on it? - JPlayer.java
Forwarded from VOT SWRING
这个问题可以加interface解决，但final的类和inline extension就无解了
Forwarded from VOT SWRING
其实在上一级class或者interface里面写extension fun已经达到了这种(A, B).(C)->D的效果，现在缺少正式的语法
Forwarded from dnaugsuz
fun (String|Int).getStringLength(): Int 即：
(A,B).() -> Int是啊，直接在共同超类定义就好
为什么要引入这种... 找不自在吗
Forwarded from dnaugsuz
fun (View, Float).dp() = this * resources.displayMetrics.density // explicitly:
fun (View, Float).dp() = this@Float * this@View.resources.displayMetrics.density class SomeView : View { val someDimension = 4f.dp() }感觉这个人有点不了解 Kotlin 的
super<A>.wtf 是尖括号而不是 label 语法…… 不止是有点 alien, 这是什么鬼概念啊resources.displayMetrics.density 在 Float 上不存在，是不是此 fun 在 Float 依然有效…… 还是说隐式 View 上下文？引入隐式性可不是一件小事情，那么确定没有其它解法吗？
Forwarded from dnaugsuz
with(dispatchReceiver) { extensionReceiver.doSomething(params) } 果然他们还是要搞隐式参数啊…… 但这个语法其实未必非要 ext-fun 接受“另一个 receiver(this)” ，写成 fun Float.dp(dim:Float) = this*dim 再 interface View { fun Float.dp()=/**/ } 也可以啊（不过要加的话这个用途还是窄，但也可以只加 class 内部 ext fun 的那个支持，但我很想喷他“为 logger 优化”的那个，是没学过面向对象吗）Forwarded from dnaugsuz
也算好吧， scoped extension 能加到 scope 的外面去，解决了语法只能指定 receiver 的缺陷
Forwarded from dnaugsuz
这个高级特性是，你
可以
等于有
它不解释我还以为有
语法可能最后还是会改下
interface XScope { val rate: Int; fun Int.wtf()=this*this@XScope.rate }
class X(override val rate: Int): XScope 可以
X(2).run { 1.wtf() } == 2等于有
fun (X/*下的*/,Int).wtf() = this*rate 它不解释我还以为有
fun X.wtf(): Int 呢语法可能最后还是会改下