Adolfo Neto adolfont

Unsafe Impedance: Safe Languages and Safe by Design Software, by Lee Barney and Adolfo Neto

Arxiv link for Unsafe Impedance: Safe Languages and Safe by Design Software, by Lee Barney and Adolfo Neto

Problem Statement

This paper addresses the insufficiency of merely declaring programming languages as "memory safe" for achieving secure software. The paper argues that while such declarations are necessary, they fail to address the ease with which unsafe code can be written and integrated, leading to vulnerabilities.

Summary of Capt. Grace Hopper on Future Possibilities: Data, Hardware, Software, and People (Part One, 1982) This is an AI generated summary. There may be inaccuracies.

00:00:00 - 00:45:00 In the first part of the YouTube video "Capt. Grace Hopper on Future Possibilities: Data, Hardware, Software, and People (1982)", Captain Grace Hopper reflects on the history of computing, particularly the importance of managing information flow and evaluating the value and cost of data. She shares anecdotes about her experiences in the Navy and her early career, emphasizing the importance of embracing new technologies and ideas, correct data, and problem-solving. Hopper also discusses the potential of computers to address societal challenges, such as agriculture and water management, and the need for small computers for administrative tasks. She shares a personal story about her determination to understand the fundamental concepts of computing technology a

Eventos de e para pessoas desenvovedoras, não ligados a uma tecnologia específica

No Brasil

TDC
GambiConf
Codecon
Orgulho tech
DevFest
The Developer's Life

É hora de parar de fazer pós-doutorandos se mudarem a cada dois anos, Brian McGill

Postado em 29 de janeiro de 2024 por Brian McGill - traduzido pelo ChatGPT

É amplamente reconhecido que, embora a academia possa ser um ótimo trabalho, uma das maiores desvantagens estruturais é o quão frequentemente você tem que se mudar para se estabelecer. Algumas dessas mudanças (como ir para a pós-graduação, conseguir um emprego em uma carreira acadêmica) são bastante difíceis de corrigir devido à escassez de universidades na paisagem (em comparação com escolas primárias, hospitais, corporações e até empregos no governo). Não estou dizendo que não devemos tentar abordar essas questões também, mas não estou tratando delas aqui.

O único requisito de mudança que acredito que podemos e agora devemos mudar é a mudança para um pós-doutorado. Isso normalmente envolve sair de onde você esteve na pós-graduação por cerc

Podcasts indicados

Uma Tatti @a_tattiane escreveu: Alguém aí conhece bons podcasts sobre Tecnologia para indicar?

Em português

Transcribing an audio file into a .srt file

Mix.install(
  [
    {:kino_bumblebee, "~> 0.4.0"},
    {:exla, ">= 0.0.0"}
  ],
  config: [nx: [default_backend: EXLA.Backend]]
)

Links

Perfil no Instagram https://www.instagram.com/professor.antonio.nicolodi/
Perfil no Suas Aulas Particulares https://www.suasaulasparticulares.com.br/professores-santa-catarina/professor-linguagem-logica-programacao-1582138
Perfil no SuperProf https://www.superprof.com.br/criador-portugol-aplicativo-visualg-aulas-logica-programacao-computadores.html
Canal no YouTube https://www.youtube.com/channel/UCnKEf-1QkrwSK6R64thveQw
Perfil no Facebook https://www.facebook.com/antoniocarlos.nicolodi/?locale=pt_BR
Currículo no Escavador https://www.escavador.com/sobre/6369496/antonio-carlos-nicolodi

	# --------------------------------------------------------------------------------------------
	# Mostly Erlang - episode 019 Elixir With José Valim / October 7, 2013
	#
	# guests:
	# - Joe Armstrong (@joeerl)
	# - Robert Virding (@rvirding)
	# - Jose Valim (@josevalim)
	# - Fred Hebert (@mononcqc)
	# - Eric Merit (@ericbmerritt)
	#

	Mix.install([
	{:req, "~> 0.4.0"}
	])

	Req.get!("https://germanvelasco.com")
	\|> IO.inspect()

	-- Exercises
	-- Functional Programming in Lean
	-- https://lean-lang.org/functional_programming_in_lean/getting-to-know/functions-and-definitions.html

	-- Define the function joinStringsWith with type String -> String -> String -> String that creates a new string by placing its first argument between its second and third arguments. joinStringsWith ", " "one" "and another" should evaluate to "one, and another".
	-- What is the type of joinStringsWith ": "? Check your answer with Lean.
	-- Define a function volume with type Nat → Nat → Nat → Nat that computes the volume of a rectangular prism with the given height, width, and depth.

	def maximum (n : Nat) (k : Nat) : Nat :=
	if n < k then