Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during compilation process.
Amber The Programming Language
Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during compilation process.
Loco - Translation Management System
Translation Management for Developers Loco takes the pain away from developing multi‑language apps and websites. FREE and Pro plans are available Get startedLearn more » Manage, Translate, Integrate. Loco covers the complete development process. Manage strings, collaborate with translators, export translation files for your platform. Get startedLearn more » Platform Agnostic API. Loco aids cross-p
buzz
Statically typedFind out bugs in your IDE rather than in production
Logstalgia - a website access log visualization tool
Introduction Requirements Log Formats Examples Related Software Donations Contact News Introduction Logstalgia is a website traffic visualization that replays or streams web-server access logs as a pong-like battle between the web server and an never ending torrent of requests. Requests appear as colored balls (the same color as the host) which travel across the screen to arrive at the requested l
graydon2 | Some notes on Rust, mutable aliasing and formal verification
frog hopSome notes on Rust, mutable aliasing and formal verification Recently Boats wrote a blog post about Rust, mutable aliasing, and the sad story of local reasoning over many decades of computer science. I recommend that post and agree with its main points! Go read it! But I also thought I'd add a little more detail to an area it's less acutely focused on: formal methods / formal verification.
The evolution of a Scheme programmer
;; Studying Scheme in university or reading The Little Schemer (define factorial (lambda (n) (cond ((= n 0) 1) (else (* (factorial (- n 1)) n))))) ;; Newbie programmer, enjoys recursion and simplicity in life (define (factorial n) (if (zero? n) 1 (* n (factorial (sub1 n))))) ;; Hates functional programming and resents being taught Scheme in university (define (return x) x) (define (factorial n) (d
Datomic - Overview
Datomic Pro The fully transactional, cloud-ready, distributed database. Build flexible, distributed systems that can leverage the entire history of your critical data, not just the most current state. Build them on your existing infrastructure or jump straight to the cloud. Never Forget Critical insights come from knowing the full story of your data, not just the most recent state. Datomic stores
Internationalization with Remix
Experts are constantly discussing how to make the web better. Accessibility, UI/UX, web performance, you name it. You might not hear about internationalization (i18n) as much as other topics, but it is still essential to making the web better. In this article, we'll gain an understanding of the impact of i18n, explore the fundamental logic, and learn how to implement i18n in a Remix app. I also ta
React Compiler – React
This page will give you an introduction to the new experimental React Compiler and how to try it out successfully. These docs are still a work in progress. More documentation is available in the React Compiler Working Group repo, and will be upstreamed into these docs when they are more stable. React Compiler is a new experimental compiler that we’ve open sourced to get early feedback from the com
Merging Remix and React Router
We've been building a bridge. You can hear Ryan talk about this announcement at React Conf 🎥 For nearly 4 years we've been working on Remix, a fullstack framework built on web standards to help you build better websites and applications. React Router has always been Remix's largest dependency after React itself. The two projects are so closely aligned that we updated React Router to include Remix
Rebuilding my homelab: Suffering as a service
I have a slight problem where I have too many computers in my office. These extra computers are my homelab, or a bunch of slack compute that I can use to run various workloads at home. I use my homelab to have a place to "just run things" like Plex and the whole host of other services that I either run or have written for my husband and I. <Cadey> I want to have my own platform so that I can run t
mandoc | UNIX manpage compiler
mandoc (formerly mdocml) — UNIX manpage compiler — current version 1.14.6 (September 23, 2021) The mandoc UNIX manpage compiler toolset mandoc is a suite of tools compiling mdoc, the roff macro language of choice for BSD manual pages, and man, the predominant historical language for UNIX manuals. It is small, ISO C, ISC-licensed, and quite fast. The main component of the toolset is the mandoc util
Google AI Principles – Google AI
RESPONSIBILITY: Our Principles While we are optimistic about the potential of AI, we recognize that advanced technologies can raise important challenges that must be addressed clearly, thoughtfully, and affirmatively. These AI Principles describe our commitment to developing technology responsibly and work to establish specific application areas we will not pursue. The expanded reach of new techn
Google Is Killing Retro Dodo & Other Independent Sites
It honestly breaks my heart to write this article, but I want to be as transparent as possible with our readers because you are the ones that have quite literally kept our lights on over the past five years, and you deserve to know the truth about what’s happening behind the scenes, so here it is. Retro Dodo is on the brink of collapse… because of Google. Back in 2019, I took the big risk of leavi
Tidyread - Application
Build Your Own RSS Digest With AIA Local-First AI-Powered tool that makes information reading more controllable, efficient, and organized. FeaturesTidyread focuses on the info digest scene, with Recipe as a first-class citizen, leveraging AI to establish a sense of order in info reading for you in the era of info explosion. Info DigestBased on the RSS feed you subscribed to, use customizable AI pr
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Hello from PinePods Docs | PinePods Docs
Farfalle
Attn: Data
GitHub - pragmatrix/tnt: Command line tool for organizing translation strings extracted from .NET assemblies. Supports Excel, XLIFF roundtrips and machine translations.
Music Versus Lyrics
Docker Desktop Alternative
Cloudflare R2 for Static storage
Anysphere
Near-Instant Full-File Edits
FIDO Alliance
Shodan 2000
Mozilla Foundation welcomes Nabiha Syed as executive director | The Mozilla Blog
Enhancing R: The Vision and Impact of Jan Vitek's MaintainR Initiative - R Consortium
hackernews
Codemap | the code visualization you wished for
ScammerInfo - List of all Scammers across the Globe.
Factorials in Racket
GitHub - glanceapp/glance: A self-hosted dashboard that puts all your feeds in one place
Quary
SSD death, tricky read-only filesystems, and systemd magic?
Create a super fast AI assistant with Groq (Without a database)
1minAI | Free All-in-one AI App for Text, Writing, Image, Audio, Video
Relentless
Welcome to Project IDX | Google for Developers
Empower your organization for an AI future with Stack Overflow for Teams - Stack Overflow
GitHub - google-gemini/cookbook: A collection of guides and examples for the Gemini API.
Jig - a dead simple deployment tool
HTMLElement: popover property - Web APIs | MDN
GitHub - Gorialis/jishaku: A debugging and testing cog for discord.py rewrite bots.
carbon/LICENSE at main · barbinbrad/carbon
Carbon | ERP for the builders
GitHub - zigalenarcic/mangl: An enhanced man page viewer for linux and BSD systems based on OpenGL and mandoc libraries
BFT