Apple introduces M4 chip
M4 enables the breakthrough design and stunning display of the new iPad Pro, while delivering a giant leap in performance M4 is a system on a chip (SoC) that advances the industry-leading power-efficient performance of Apple silicon. CUPERTINO, CALIFORNIA Apple today announced M4, the latest chip delivering phenomenal performance to the all-new iPad Pro. Built using second-generation 3-nanometer t
Crystal 1.6.0 is released!
We are delivering a new release with several bugfixes and improvements. Below we list the most important or interesting changes, without mentioning several bugfixes and smaller enhancements. For more details, visit the changelog. Breaking changes are marked with ⚠️. Pre-built packages are available on GitHub Releases and our official distribution channels. See crystal-lang.org/install for installa
Treemaps are awesome!An alternative to pprint for generically visualizing heterogeneous, hierarchical data Why treemaps?Treemaps are an underutilized visualization that are capable of generically summarizing data of many shapes and sizes. To date, they've mostly been used for displaying the files consuming all of your disk space, but with a few tweaks, treemaps can be a flexible tool for exploring
GitHub - leanprover/lean4: Lean 4 programming language and theorem prover
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Have you ever tried to compile a helloworld Rust program in --release mode? If yes, have you seen its binary size? Suffice to say, it’s not exactly small. Or at least it wasn’t small until recently. This post details how I found about the issue and my attempt to fix it in Cargo. Binary size analysis I’m a member of the (relatively recently established) #wg-binary-size working group, which is tryin
RAWRLAB Games - Announcement of free Godot™ engine port for Nintendo Switch™
Announcement of a free Godot™ engine port for Nintendo Switch™ We are pleased to announce the availability of a free Godot Engine port for authorised Nintendo Switch developers, supporting projects made with versions 3.5.x and 4.1.x. This port represents a collaborative effort, co-authored by multiple members of the forums on the Nintendo Developer Portal. It underscores our commitment to make God
Let’s Write a Tree-Sitter Major Mode Creating a standard programming major mode presents significant challenges, with the intricate tasks of establishing proper indentation and font highlighting being among the two hardest things to get right. It's painstaking work, and it'll quickly descend into a brawl between the font lock engine and your desire for correctness. Tree-sitter makes writing many m
MINIATURE CALENDAR
Archive 2011 1 2 3 4 5 6 7 8 9 10 11 12 2012 1 2 3 4 5 6 7 8 9 10 11 12 2013 1 2 3 4 5 6 7 8 9 10 11 12 2014 1 2 3 4 5 6 7 8 9 10 11 12 2015 1 2 3 4 5 6 7 8 9 10 11 12 2016 1 2 3 4 5 6 7 8 9 10 11 12 2017 1 2 3 4 5 6 7 8 9 10 11 12 2018 1 2 3 4 5 6 7 8 9 10 11 12 2019 1 2 3 4 5 6 7 8 9 10 11 12 2020 1 2 3 4 5 6 7 8 9 10 11 12 2021 1 2 3 4 5 6 7 8 9 10 11 12 2022 1 2 3 4 5 6 7 8 9 10 11 12 2023 1 2
Hello Ridgeliners! I don’t aspire to write “Japan travel tip” notes here on Ridgeline, but this is such an easy trick, and one seemingly rarely known, that I can’t help it. As Japan has seen a resurgence of tourism, I’ve noticed more and more slightly-confused looking folks hauling their colossal suitcases around like traumatized barbarians. If you’re one of these suitcase luggers, there’s an easy
Why is Prettier rock solid?I've always wondered why Prettier is so good. Yes, it learnt from gofmt what to do (note that gofmt doesn't indent, which is the hard part). Yes, it was announced in a real life conference, which helped get the initial momentum behind it. All that is fine, but what was a bit inexplicable to me is its quality. You might disagree with the defaults (I like them. The only on
Zig is a new, independently developed low-level programming language. It’s a modern reimagining of C that attempts to retain C’s performance while embracing improvements from the last 30 years of tooling and language design. Zig makes calling into C code easier than any other language I’ve used. Zig also treats unit testing as a first-class feature, which the C language certainly does not. These t
Berry is a ultra-lightweight dynamically typed embedded scripting language. It is designed for lower-performance embedded devices. The Berry interpreter-core's code size is less than 40KiB and can run on less than 4KiB heap (on ARM Cortex M4 CPU, Thumb ISA and ARMCC compiler). The interpreter of Berry include a one-pass compiler and register-based VM, all the code is written in ANSI C99. In Berry
Building a Linux Container using Namespaces :: Part - 1
Ever wondered how Linux Containers worked ??? Currently, Docker is one of the most popular and prevalent container implementations. Containers run on top of the same Operating System kernel, but isolate the application processes running inside them from one another. One of the secret sauces behind containers is Namespaces. A Namespace abstracts global system resources, such as, host names, user ID
Pkl, a Programming Language for Configuration | Hacker News
Ah sorry - that was an unintended side-effect of re-upping the original submission. I must have done some of the steps in the wrong order. You mean you don’t have a distributed merge post microservice that emits post migration events, which are then consumed by a post owner conversion service using your existing event-driven architecture to facilitate seamless data synchronization and user notific
GitHub - beringresearch/macpine: Lightweight Linux VMs on MacOS
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
I’ve written a lot about containers on this blog. Why do I love containers so much? They start quicklyThey make your workloads portableThey disconnect your application stack from the OS that runs underneathYou can send your application through CI as a single container imageYou can isolate workloads on the network and limit their resource usage much like a VMHowever, I’m still addicted to docker-co
GitHub - cli-guidelines/cli-guidelines: A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
How Netflix Really Uses Java
Transcript Bakker: I'm going to talk about how Netflix is really using Java. You probably know that Netflix is really just about RxJava microservices, with Hystrix and Spring Cloud. Really, Chaos Monkeys are just running the show. I'm only half getting here because a few years ago, this was actually mostly true, maybe except the Chaos Monkeys. This stack was something that we were building on in t
GitHub - wouterken/crystalruby: Embed Crystal code directly in Ruby
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
This is a followup to my previous post on the stack monoid, but is intended to be self-contained. Motivation: tree structured data GPUs are well known for being efficient on array-structured data, where it is possible to operate on the elements of the array in parallel. That last restriction doesn’t mean that the operations have to be completely independent; it’s also well known that GPUs are good
TypeScript is terrible for library developers | Hacker News
This is a matter of opinion.I wrote a set of React components that gets 46,000 npm downloads a month and typescript is a godsend. My library is a bridge between two heavily popular projects, so my dependency tree is fairly intertwined. The library solves a real user problem and does it efficiently. It isn't totally perfect, but it covers 98% of the use cases. I wrote comprehensive tests as I devel
Turing Complete
About this game Turing Complete is a game about computer science. If you enjoy the thrill of figuring things out and those moments where a deeper perspective is revealed about something you thought you understood, this game is for you. Play Turing Complete What you learn LOGIC GATES Logic gates are the fundamental building blocks of computation. Given only a nand gate you create the rest. COMPONEN
URL Snake A little experiment with seeing how complex of an app I can store entirely within a url. The basic idea revolves around the fact that a data urls can define their encoding as text/html. i.e data:text/html;charset=utf-8,hello%20world is a valid url (try pasting it in your url bar). So is data:text/html;charset=utf-8,%3Cstyle%3E%20*%20%7B%20color%3A%20red%3B%20%7D%3C%2Fstyle%3EHello%20worl
Back In Time: Vintage Maps of Akihabara (1976–2001) ⌘I Get Info
I often browse old Japanese console and computer magazines. I’m mainly searching for old Hanafuda Koi-Koi video games, but sometimes I stumble across something else that is interesting in a totally different way. In May 2019, whilst browsing an old issue of POPCOM over at the wonderful Internet Archive, I found a period map of the Akihabara 秋葉原 district — famous for its multitude of stores selling
Software Gems: The Computer History Museum Historical Source Code Series The Apple Macintosh combined brilliant design in hardware and in software. The drawing program MacPaint, which was released with the computer in January of 1984, was an example of that brilliance both in what it did, and in how it was implemented. For those who want to see how it worked “under the hood”, we are pleased, with
A new F# compiler feature: graph-based type-checking - .NET Blog
This is a guest blog post by Florian Verdonck. Florian is a freelance software craftsman. He does consultancy, training and open-source development. Currently, he is very active in the F# community, working on the compiler and tooling, improving the overall state of the F# ecosystem according to the needs of his customers. Florian is a member of the open-source division at G-Research and a maintai
Apple apologizes for iPad “Crush” ad that “missed the mark”
Apple/Tech/iPadApple apologizes for iPad ‘Crush’ ad that ‘missed the mark’ Apple apologizes for iPad ‘Crush’ ad that ‘missed the mark’ / The company says ‘we’re sorry’ after its ad was seen as dismissive by the creatives Apple typically tries to court. By Emma Roth, a news writer who covers the streaming wars, consumer tech, crypto, social media, and much more. Previously, she was a writer and edi
GitHub - rerun-io/rerun: Visualize streams of multimodal data. Fast, easy to use, and simple to integrate. Built in Rust using egui.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Internals of async / await in JavaScript | Akash Hamirwasia
Internals of async / await in JavaScriptJuly 2, 2023 •11 min read If you have ever used JavaScript in the past, there is a high chance you have encountered the async / await syntax. async / await makes it easy to define asynchronous logic in a synchronous way that our brains can comprehend better. Some of you JavaScript veterans might know that async / await is merely a syntactic sugar over the ex
NixOS & Flakes BookAn unofficial book for beginners Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place!
Victor MARTIN ~ Understanding Automatic Differentiation in 30 lines of Python
---> For French version of this article, click here I'm a Machine Learning engineer and I use libraries like Tensorflow and Pytorch in my work to train my neural networks. And it's been a while since I wanted to write the simplest piece of code to perform what is called automatic differentiation which is at the heart of neural network training. In this article, I will try to iteratively build the
Stract
Search Explore search Customise your search with an optic: Terms & PrivacyAPI
Radicle Interface
Interact with Radicle
Collection of handy online tools for developers, with great UX. IT Tools is a free and open-source collection of handy online tools for developers & people working in IT.
GitHub - Stellarium/stellarium: Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a s
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - CloudCannon/pagefind: Static low-bandwidth search at scale
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Chrultrabook Docs
# What is a chrultrabook and who is this documentation for?A chrultrabook is a modified Chromebook that is able to run Windows, Linux, and sometimes macOS by using MrChromebox’s coreboot firmware. The purpose of this site is to provide documentation that is detailed, user-friendly, and has up-to-date information about the hardware, software, and firmware on Chromebooks. # These docs focus on two m
Strada: Create high fidelity native interactions driven by your web app.
Create fully native controls, driven by your web app. Current version: 1.0.0-beta1 — released Sep 19, 2023 Strada enables you to create fully native controls in your hybrid mobile apps, driven by the web. Build web components and native components that work together in WebView screens to elevate your Turbo Native apps to the next level. Strada Web enables you to use your existing HTML to create we
Pixar, Adobe, Apple, Autodesk, and NVIDIA form Alliance for OpenUSD
Pixar, Adobe, Apple, Autodesk, and NVIDIA form Alliance for OpenUSD to drive open standards for 3D content SAN FRANCISCO Pixar, Adobe, Apple, Autodesk, and NVIDIA, together with the Joint Development Foundation (JDF), an affiliate of the Linux Foundation, today announced the Alliance for OpenUSD (AOUSD) to promote the standardization, development, evolution, and growth of Pixar’s Universal Scene D
When I tell people around the world that I've been living in Japan for over a decade, many look both impressed and mystified at once. The place has a good reputation. Some folks are in awe at the temples and the gardens, others at the nature or the food. The extreme tidiness and civility of the local culture are the target of universal admiration. But many of those same people see the local langua
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Treemaps are awesome!
Making Rust binaries smaller by default
Let's Write a Tree-Sitter Major Mode
The Magical Japanese Art of Luggage Forwarding
Why is Prettier rock solid?
Using Zig to Unit Test a C Application
The Berry Script Language
Quadlets might make me finally stop using docker-compose
The stack monoid revisited
GitHub - lukebatchelor/url-snake
MacPaint and QuickDraw Source Code
NixOS & Flakes Book | Home Page
IT Tools - Handy online tools for developers
The Beautiful Dissociation of the Japanese Language
hareno-urakata.com
m-dojo.hatenadiary.com
togetter.com
tomowo.hatenablog.jp
diamond.jp
b.hatena.ne.jp