喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

An Update on MDN Web Docs https://hacks.mozilla.org/2020/08/an-update-on-mdn-web-docs/

Mozilla announced some general changes in our investments and we would like to outline how they will impact our MDN platform efforts moving forward. It hurts to make these cuts, ...

75 viewsMeow-meow 🍓, 20:11

Score: 93+Comments: 31+

喵喵小喵喵

Hacker News

An Update on MDN Web Docs https://hacks.mozilla.org/2020/08/an-update-on-mdn-web-docs/

We recognize that our tech writing staff drive a great deal of value to MDN users, as do partner contributions to the content. So we are working on a plan to keep the content up to date. We are continuing our planned platform improvements, including a GitHub-based submission system for contributors.

74 viewsMeow-meow 🍓, 20:12

喵喵小喵喵

https://github.com/poteto/rustconf-2020

GitHub

GitHub - poteto/rustconf-2020: An aggregation of links that summarize RustConf 2020. Pull requests welcome!

An aggregation of links that summarize RustConf 2020. Pull requests welcome! - poteto/rustconf-2020

77 viewsMeow-meow 🍓, 20:24

喵喵小喵喵

http://hackage.haskell.org/package/base-4.14.0.0/docs/src/Unsafe.Coerce.html#unsafeCoerce

77 viewsMeow-meow 🍓, 20:54

喵喵小喵喵

The Dandelion Girl - Robert F. Young
https://infinitemirai.files.wordpress.com/2013/09/young-robert-f-the-dandelion-girl.pdf

总算读了

178 viewsMeow-meow 🍓, 21:41

喵喵小喵喵

https://github.com/microsoft/terminal/pull/6635

GitHub

Add support for the Command Palette by zadjii-msft · Pull Request #6635 · microsoft/terminal

Summary of the Pull Request

This adds a first iteration on the command palette. Notable missing features are:

Commandline mode: This will be a follow-up PR, following the merge of #6537
nested an...

89 viewsMeow-meow 🍓, 22:46

喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

Understanding Memory Fragmentation in Haskell https://www.well-typed.com/blog/2020/08/memory-fragmentation/

79 viewsMeow-meow 🍓, 12:00

Score: 50+Comments: 14+

喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

AutoCXX: Safely call C++ from Rust with auto generated bindings https://github.com/google/autocxx

GitHub

GitHub - google/autocxx: Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers

Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers - google/autocxx

88 viewsMeow-meow 🍓, 12:50

Score: 54+Comments: 6+

喵喵小喵喵

https://stackoverflow.com/questions/24711643/how-come-that-we-can-implement-call-cc-but-the-classical-logic-intuitionistic
今日学习编程（失败）

Stack Overflow

How come that we can implement call/cc, but the classical logic (intuitionistic + call/cc) is not constructive?

Intuitionistic logic, being constructive, is the basis for type systems in functional programming. The classical logic is not constructive, in particular the law of excluded middle A ∨ ¬A (or its

93 viewsMeow-meow 🍓, 23:01

喵喵小喵喵

新建频道群 @MeowFeeding
可自由投喂猫咪

228 viewsMeow-meow 🍓, 23:50

喵喵小喵喵

http://www.righto.com/2020/08/reverse-engineering-8086s.html

Righto

Reverse-engineering the 8086's Arithmetic/Logic Unit from die photos

The Intel 8086 processor was introduced in 1978, setting the course of modern computing. While the x86 processor family has supported 64-b...

177 viewsMeow-meow 🍓, 03:12

喵喵小喵喵

PureScript: Difference from Haskell
https://github.com/purescript/documentation/blob/master/language/Differences-from-Haskell.md

GitHub

documentation/language/Differences-from-Haskell.md at master · purescript/documentation

Documentation for the PureScript language, compiler, and tools. - purescript/documentation

110 viewsMeow-meow 🍓, edited 23:51

喵喵小喵喵

https://stackoverflow.com/questions/47317555/is-there-a-relationship-between-dollar-sign-and-id-function-in-haskell

Stack Overflow

Is there a relationship between dollar sign ($) and id function in Haskell?

One of these days I was reading comments on the Monad Challenge (which I highly recommend to any beginner in Haskell, like myself), and I ended up on this thread where I read that ($) = id.

...

113 viewsMeow-meow 🍓, 00:10

喵喵小喵喵

https://cryptopals.com/

Cryptopals

The Cryptopals Crypto Challenges

122 viewsMeow-meow 🍓, 00:15

喵喵小喵喵

https://cryptopals.com/

Together with
The Monad Challenges

http://mightybyte.github.io/monad-challenges/

130 viewsMeow-meow 🍓, edited 00:15

喵喵小喵喵

Google 什么时候加了侧边栏（

122 viewsMeow-meow 🍓, 18:46

喵喵小喵喵

https://www.youtube.com/watch?v=26xVVtkqw7A
拿到 WR 之后当场弹奏 Still Alive
我宣布 Can't Even 就是 YouTube 的钢琴 Cover 竞赛冠军

YouTube

Portal any% Speedrun in 6:37

NEW WR: https://youtu.be/fRVWIA8FdSQ

You might actually wanna stick around for the end of the entire video, it's pretty neat.
Watch runs like these live at https://www.twitch.tv/canteven
Watch my Twitter account and wait for it to tweet at https://www.t…

139 viewsMeow-meow 🍓, 21:04

喵喵小喵喵

From the preface of An Infinitely Large Napkin:
...However, in general I think this would be a good reference for anyone with some amount of mathematical maturity and curiosity. Examples include but certainly not limited to: [...], and unusually intelligent kittens fluent in English.

https://web.evanchen.cc/napkin.html

275 viewsMeow-meow 🍓, edited 14:13

喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

Cat vs. panel heater: which is better? https://www.oneroof.co.nz/news/38319

93 viewsMeow-meow 🍓, 00:38

Score: 74+Comments: 60+

喵喵小喵喵

Forwarded from ⛩-11

https://twitter.com/__32_0/status/1298204337668108289

Twitter

ハンバーグ⁷¹⁰🦦

いのちだ