F* – новый язык с зависимыми типами для .Net

Дружище, а не перечислите ли названия этих учебников по Coq? Я пока что читаю Пирса, но не отказался бы от обзора альтернативных источников.

x86-compatible, часть 1: «Тёмная лошадка с Тайваня»

Автора всё же интересует интерес аудитории, то есть нас с вами :)

Tig — консольный GUI для Git

Через cygwin работает, проверял.

Башня Тесла: электротехнический расчет

Простите, не слежу за вашими постами, но в прошлый раз вы, вроде бы, закончили только МФТИ. Что-то с тех пор поменялось?

DARPA планирует исправлять уязвимости в критически важном ПО при помощи геймеров

Очень интересно, как именно они проводят соответствие между игровыми уровнями и участками программного кода (сетевыми протоколами? стейт-машинами? чем?)

Трудности округления в MS SQL Server

Ок, вы выиграли.

Трудности округления в MS SQL Server

А вы попробуйте модные ныне биткоины хранить в целых числах :)

Новый протез руки возвращает ощущение прикосновения

Но ведь и то, что я чувствовал ранее, я почувствовать не мог? Вообще, по-вашему, есть ли у человека ощущения? И откуда они изначально берутся, если он не может ничего нового почувствовать?

Новый протез руки возвращает ощущение прикосновения

А если я раньше никогда не пробовал лимон, и сегодня пробую его впервые — что ж я, ничего не почуствую?

Опросы про языки программирования (+ обновление)

Подождите, но в C++ и Java это всё есть (ну иногда с оговорками, но есть)!

Что быстрее while (true) или for (;;)?

Intercal же! Там даже от вежливости программиста зависит.

Язык программирования J. Взгляд любителя. Часть 4. Коробки и циклы. Заключение

Статьи хорошие, да и сам J — очень интересный язык программирования. Однако меня несколько удивило наличие всех этих цифровых глаголов: «1 :» и «4 :» ещё более-менее понятно (т.к., очевидно, эти константы связаны с представлением AST в трансляторе), но «6:!» — это уже что-то за гранью разумного. Есть какое-нибудь логичное объяснение, откуда такие названия?

God bless Dynamic SQL

Спасибо, между прочим, за ссылку на dbForge — инструмент интересный.

Пользователи системы Bitcoin, возможно, обнаружили личный кошелек Росса Ульбрихта

… только если вы при этом не являетесь общеизвестно одним из богатейших биткоиновладельцев.

Java Stored Procedure в субд Oracle на примере формирования PDF-файла

А там что, нету каких-нибудь специализированных способов доступа к данным, например, с использованием текущей транзакции? В чём тогда преимущества таких процедур? Мне всегда казалось, что их используют, когда хочется получить преимущества полноценного языка программирования, но не потерять преимуществ высокой скорости обработки данных, изоляции транзакций и выражений на сервере SQL. Я ошибался?

Супругов-«пиратов» Лопуховых признали виновными в причинении ущерба правообладателям в 38 миллиардов рублей

Ошибаетесь. Большинство прочитавших эту новость после прочтения помянули и маму, и песца.

Деобфускация бэкдора без единого буквенно-цифрового символа

А тут точно кодировка правильная? Что-то не сильно похоже на валидный код.

JavaFX — безыдейный HelloWorld

Вы ошибаетесь. Необходимость собрать проект без IDE в реальности появляется довольно часто — например, вам нужны прогоны тестов или в целом автоматизированная сборка проекта. Впрочем, для этого чаще всё-таки используют инструменты типа ant и maven, а не… батники.

В космосе обнаружили странную одинокую планету без звезды

20 лет назад он ещё не знал о том, что мы за ним наблюдаем. Узнает, собственно, в лучшем случае через 80.

Получение списка файлов в удалённом репозитории

Ну, теперь вам и не придётся писать 300 строк — автор топика за вас их уже написал. А если так рассуждать, то любое программирование покажется ненормальным.