Сообщения kookoo
Как уменьшить высоту тайталбара в дефолтной Ubuntu 20.04?
Очень бесят жирные заголовки у окон, которые занимают слишком много места по вертикали. Почему до сих пор в гноме не впилили данную настройку? Ненависть.
Оказывается GNU/Linux на Марс полетел
https://twitter.com/0x30n/status/1362592846633705474?s=20
This the first time we’ll be flying Linux on Mars. We’re actually running on a Linux operating system. The software framework that we’re using is one that we developed at JPL for cubesats and instruments, and we open-sourced it a few years ago. So, you can get the software framework that’s flying on the Mars helicopter, and use it on your own project. It’s kind of an open-source victory, because we’re flying an open-source operating system and an open-source flight software framework and flying commercial parts that you can buy off the shelf if you wanted to do this yourself someday. This is a new thing for JPL because they tend to like what’s very safe and proven, but a lot of people are very excited about it, and we’re really looking forward to doing it.
Вышел новый релиз Idris 2 версии 0.3.0
https://www.idris-lang.org/idris-2-version-030-released.html
В новой версии
Library changes:
- Added
Data.HVect
incontrib
, for heterogeneous vectors. - Various other library functions added throughout
base
andcontrib
Command-line options changes:
- Added
--color
and--no-color
options for colored terminal output. Color is enabled by default. - Added
--console-width <auto|n>
option for printing margins. By default theauto
option is selected, the result is that the compiler detects the current terminal width and sets it as the option value, otherwise a user value can be provided. An explicit0
has the effect of simulating a terminal with unbounded width.
Language and compiler changes:
-
Removed multiplicity subtyping, as this is unsound and unfortunately causes more problems than it solves. This means you sometimes now need to write linear versions of functions as special cases. (Though note that the 1 multiplicity is still considered experimental, so hopefully this will change for the better in the future!)
-
Added new syntax for named applications of explicit arguments:
f {x [= t], x [= t], ...}
f {x [= t], x [= t], ..., _}
-
Added syntax for binding all explicit arguments (in the left hand side);
f {}
-
Added new syntax for record updates (without the need for the
record
keyword):{x := t, x $= t, ...}
-
Local implementations of interfaces (in
let
orwhere
blocks) now work, along with%hint
annotations on local definitions, meaning that local definitions can be searched in auto implicit search.- Note, though, that there are still some known limitations (with both local hints and local implementations) which will be resolved in the next version.
-
New experimental
refc
code generator, which generates C with reference counting. -
Added primitives to the parsing library used in the compiler to get more precise boundaries to the AST nodes
FC
.
REPL/IDE mode changes:
- Added
:color (on|off)
option for colored terminal output. - Added
:consolewidth (auto|n)
option for printing margins. Mirrors the command line option.
Idris 2 почти готов для интерпрайза
Features
-
Eliminate tail recursion using JVM’s GOTO
-
Trampoline non-self tail calls
-
Support file, directory, array, IORef and buffer primitives.
-
Analyse function dependencies to generate bytecode for only used functions from
main
-
Limited type inference on Idris IR to avoid boxing and typecasting in the generated bytecode
-
Static and instance Java FFI method calls.
-
Debug information (Idris source file and line numbers) in the bytecode from Idris IR
Кхм.
Тhe language that supports trans rights:
https://github.com/pontaoski/transrights
func main replies int {
// main: The entrypoint of the program.
logger := (Logger new)
(Logger print:`Trans rights!` withEndOfLine:`\n`)
reply 0
}
Ну, кто нибудь? ЯП для лоровцев запилите, а?
Как вам борщ²?
Сайт-блог, написанный на связке Идрис + Эликсир:
https://www.typedtext.io/posts/view?id=2
https://github.com/chrrasmussen/typedtext.io
Используется кодогенератор Идрис -> Эрланг:
https://github.com/chrrasmussen/Idris2-Erlang
Презенташка:
Ыкспэртное ревью Common Lisp
Анти-капиталистическая лицензия (ACSL)
The Anti-Capitalist Software License (ACSL) is a software license towards a world beyond capitalism. This license exists to release software that empowers individuals, collectives, worker-owned cooperatives, and nonprofits, while denying usage to those that exploit labor for profit.
Лицензия на антикапиталистическое программное обеспечение (ACSL) - это лицензия на программное обеспечение, предназначенное для мира за пределами капитализма. Эта лицензия существует для выпуска программного обеспечения, которое расширяет возможности отдельных лиц, коллективов, кооперативов, принадлежащих работникам, и некоммерческих организаций, при этом запрещая использование для тех, кто эксплуатирует труд для получения прибыли.
https://anticapitalist.software
Copyright © [year] [copyright holders]
This is anti-capitalist software, released for free use by individuals and organizations that do not operate by capitalist principles.
Permission is hereby granted, free of charge, to any person or organization (the "User") obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
1. The above copyright notice and this permission notice shall be included in all copies of the Software.
2. The User is one of the following:
a. An individual person
b. An organization of people that does not seek profit
c. An organization of people that seeks shared profit for all its members and does not exploit the labor of non-members
3. If the User is an organization with owners, then all owners are workers and all workers are owners with equal share.
4. If the User is an organization, then the User is not law enforcement or military, or working under either.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT EXPRESS OR IMPLIED WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
Будет ли жить Раст?
После того, как Мозила выкинула всю команду разработки Раст (и Серво) на мороз?
WTF? TDLib & telega.el
Пытаюсь собрать tdlib
из репы под OpenBSD 6.7:
Линкер падает с ошибкой:
/usr/bin/ar: libtdcore.a: Memory exhausted
Ок, могу подкрутить лимиты.
Но я глянул на уже собранные библиотеки, и что же я там увидел:
user@openbsd:~/work/build/td/build % ls -l
total 312880
-rw-r--r-- 1 user user 21645 Jul 29 13:22 CMakeCache.txt
drwxr-xr-x 17 user user 1024 Jul 29 13:39 CMakeFiles/
-rw-r--r-- 1 user user 434 Jul 29 13:22 CTestTestfile.cmake
-rw-r--r-- 1 user user 194803 Jul 29 13:22 Makefile
-rw-r--r-- 1 user user 1836 Jul 29 13:22 TdConfigVersion.cmake
drwxr-xr-x 3 user user 512 Jul 29 13:36 benchmark/
-rw-r--r-- 1 user user 6998 Jul 29 13:22 cmake_install.cmake
-rw-r--r-- 1 user user 323134 Jul 29 13:22 compile_commands.json
-rw-r--r-- 1 user user 91110 Jul 29 13:25 libmemprof.a
-rw-r--r-- 1 user user 9845310 Jul 29 13:25 libtdapi.a
-rw-r--r-- 1 user user 2031108 Jul 29 13:36 libtdclient.a
-rw-r--r-- 1 user user 307602038 Jul 29 13:36 libtdcore.a
drwxr-xr-x 3 user user 512 Jul 29 13:23 sqlite/
drwxr-xr-x 4 user user 512 Jul 29 13:22 td/
drwxr-xr-x 3 user user 512 Jul 29 13:25 tdactor/
drwxr-xr-x 3 user user 512 Jul 29 13:26 tddb/
drwxr-xr-x 3 user user 512 Jul 29 13:26 tdnet/
drwxr-xr-x 3 user user 512 Jul 29 13:23 tdtl/
drwxr-xr-x 5 user user 512 Jul 29 13:25 tdutils/
drwxr-xr-x 3 user user 512 Jul 29 13:22 test/
-rw-r--r-- 1 user user 307602038 Jul 29 13:36 libtdcore.a
WTF? я понимаю, что собрано статически, но весить столько для библиотеки чатика, это нормально?
Выкатили пятую демку лисп ОС Mezzano
https://github.com/froggey/Mezzano/releases/tag/demo5
Можно потыкать палочкой в VirtualBox, QEMU или даже на реальном железе (привет ReactOS!).
Последние изменения:
- USB stack by fittestbits
- Improved overall file system support by fittestbits
- EXT2/3/4 support has been implemented by Bruno Cichon (ebrasca)
- GMA950 modesetting display driver
- Hardware accelerated 3D support via qemu’s Virgl device
- Multicore/SMP support
- Improved atomic operations
- Async APIs: wait-for-objects, dispatch, and thread pools
- Networking improvements: Server support, DHCP, TCP retransmit
- Source locations are tracked for many kinds of definitions
- Weak hash tables and other weak objects
- Cleanup of object representation and unifcation of standard-object/structure-object
- Unboxed structure slots
- Short floats implemented using IEEE half floats
- Unboxed (unsigned-byte 64) arithmetic
- Stack overflows and memory faults are trapped and can be recovered from
- Support for building on Windows
- Major improvements to CLOS and MOP conformance
- Keymap picker
- More bug fixes, performance improvements and features
Еще в поставке есть из приложений:
- IRC
- Text Editor (Emacs-like)
- Telnet
- File manager
- DOOM
- Quake I
- REPL (с доступом ко всем кишкам ОС)
- Swank
В Идрис 2 завезли Жабаскрипт кодогенератор
https://github.com/idris-lang/Idris2/pull/415
https://github.com/idris-lang/Idris2/blob/master/CHANGELOG.md
Вот теперь, на ноде можно начать писать без рвотного рефлекса. Аминь!
Сегодня будет презентация Sony Playstation 5
Посмотреть можно будет здесь 11 июня в 13:00 (PDT):
А где можно купить железо на RISC-V
Погонять линукс например?
Что то вроде формата дешевой малинки, есть в продаже?
Вышел Idris 2 версия 0.2.0
Данный релиз примечателен тем, что теперь Idris 2 – self-hosted, то есть написан на самом себе и собирает сам себя.
В качестве бэкенда/рантайма пока используются реализации на языке Scheme: Chez Scheme – дефолтная реализация (одна из самых быстрых) и Racket.
Idris 2 работает на GNU/Linux, macOS, BSD* и MS Windows.
Подробности: https://www.idris-lang.org/idris-2-version-020-released.html
Вы этого зверька видели?
Idris 2 теперь стал self-hosted
https://github.com/edwinb/Idris2-SH
Ура товарищи!
Завтра, 19 мая, будет релиз OpenBSD 6.7
А пока на изменения можно посмотреть здесь:
ЛОЛ: mpv is not written in Rust
https://github.com/mpv-player/mpv/issues/7724
TL;DR:
Reproduction steps
In the mpv source directory, run find -name '*.c', followed by find -name '*.rs'.
Expected behavior
The first command (find -name '*.c') should produce no output. The second command (find -name '*.rs') should print a list of mpv's Rust source files.
следующие → |